cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 17 Apr 2020 10:20:09 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 16 Mar 2019 07:48:45 +0000
SHA1 of .buildinfo
7e4b21e4b8045fe69fd2f5034a371299bdd0dbaf

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 33ceb9be3dd59d98321c6e4009a84681717280be
SHA256: 22ddd66bb1728e43a8c863ebcc34f576b73f88ab065ecdcbf0ae5d6fe9f0ab93

Size: 137,688 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 99dac6f8b05a9f52813ba981d7c496da0e562bcd
SHA256: d2c7299c8baf9a627ca9ecfa1359f5a3ebba24f2c977f8b1252a09ab5640c8ec

Size: 4,167,600 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: d0eb46a8fc31923fc61079458efd9a821175b663
SHA256: 424f70c10a380e11a63cef33ce45ec272204a5bf5e4296ee55ec694b7c5155cc

Size: 6,822,464 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 18cfd151d126be8e77b59ed533da170dd3e19f63
SHA256: 9e65f99121bdff6663527c5edcb9ce7023c7a6932da57cc05a068a8ea0b05f8a

Size: 362,252 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: ebe134da6f8c8098c9dcf41aed1b1dcf6348acf6
Size: 6,262,072 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: fe30d56e6bbdf2f4f83b6e0457eaa139c2a2693a
Size: 152,761,336 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: bcbe8f6f67f6ac5676d30cd6d61134ee07547521
Size: 3,601,840 bytes

Submissions

mnqz79gb
Submitted
Sat, 16 Mar 2019 07:48:46 +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"