cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 7 Jun 2020 13:19:57 +0000
Build-Path
/build/cvc4-1.6/2nd

First submitted
Mon, 6 May 2019 08:57:52 +0000
SHA1 of .buildinfo
95a116f672adc1f26c0bbe90a50e2c94aa10d739

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 2c26d80915dda5e3853ab368ecc652a5920990fa
SHA256: ebfbae4c0ab33526701b6cd430bf429188ba3f6a444d3ac1b63c9d747e60c5e2

Size: 137,768 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: d2a871a776e2a2881691056c4461ac54bafa1485
SHA256: 926cb08a59565db6a88dc88e8245e55bbbd5e70e93dfc1143379127abf95d1eb

Size: 4,165,324 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: abaa12b21f34cab869cc3b3f9a11db22992729f7
SHA256: 5e929b36b80e48f0483608f8f17ed02a3af9bd41e6fb0c89ece8a7783f82cd74

Size: 6,817,208 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 4e35a1e202d31727aab6cb2be4b134a2bb4356c5
SHA256: bb7fa96725722da084a4b44be6f93f167c5e8d8f3ccaf2bb3aa42d07b59315a0

Size: 362,260 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: e7ca6ea3f9c0abaf5a8174d919dee2bf8948d34f
Size: 6,261,004 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 7ace5001ce10cb8f2f39749a2a16880d084deb6a
Size: 152,735,676 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 233d975c517bf33e89561c77b0bd9714075a07fd
Size: 3,601,096 bytes

Submissions

yw4tmkaa
Submitted
Mon, 6 May 2019 08:57:52 +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"