cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 6 May 2019 06:23:14 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Mon, 6 May 2019 08:57:48 +0000
SHA1 of .buildinfo
4ebe1c959ba0950af3d8220ddd8a959df66d79b9

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: c2b0434ac6384ae5c02645d1b9583bc532cbb2d8
SHA256: 7b50a60982daa794f2e5c8182f3f287c4c6543ce48b09d0b5da02bcd969cfa8c

Size: 137,764 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 42b58508056a36d4ef443402334d9599bc4cfc8e
SHA256: 3330e551f7ef7f5651e6b8966e1533ede73834f1c7b4318dcf9b85a76f1a97ab

Size: 4,164,736 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 1ed8ef5de7a06fa94f4340a66cddee1cb1308bb0
SHA256: 49bba848b7e0be976a899950f82b7515ebf9814620321522a85563901d480e48

Size: 6,817,276 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: ef91ed237690c50022c954c7cce1375960d91794
Size: 152,735,336 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 233d975c517bf33e89561c77b0bd9714075a07fd
Size: 3,601,096 bytes

Submissions

xdvjht7y
Submitted
Mon, 6 May 2019 08:57:49 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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