cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 12 Mar 2020 13:30:10 +0000
Build-Path
/build/cvc4-1.6/2nd

First submitted
Fri, 8 Feb 2019 08:06:08 +0000
SHA1 of .buildinfo
1607504cafa904b7b7cd13ee8dd82f98ef1a1311

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 3e5c17ca1967eef55887e123c691c168e5aa2153
SHA256: 085b2d347ee0937f13624d64d4558c1d2aa5d1b22e61c726f5a71ff07bb2be42

Size: 135,596 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 8d704acdc10e56edf5cc067125915884da61d896
SHA256: 033700922688886544ac03f5fe33b8a1b6e7268305f6569271bd08291cfb5d58

Size: 4,059,436 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 4c9affa6f35f081c94e24f92987cfe28668e1f1a
SHA256: fc1e3602909adc49e88d89d35ee350f66de66f116ae29a169a5fba4b50580047

Size: 6,719,916 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: c31c3013a19bd50bc65c642e3f2e73a0ee3b9cec
SHA256: 4a9a991f816d09ddaa1baa8dddad8afed63fc269458421e25fd4ebe96f74f229

Size: 362,492 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 7e74ed6c31a862f5f444e9d6fcfbf663e64ab022
Size: 6,267,104 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 4a5718c961763d20165ebd8357dc5c52ab8d3943
Size: 152,446,728 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 9edf0644ea691de3bc5a9b27a130af3946b76cf6
Size: 3,578,472 bytes

Submissions

ohntrtuf
Submitted
Fri, 8 Feb 2019 08:06:08 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1534078846"