cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 4 May 2021 08:23:49 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Thu, 28 Feb 2019 00:25:42 +0000
SHA1 of .buildinfo
ee7d991ac0c7105ecbd069dc07de85a966444185

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 88251e3d3b9ee5f0f1e266aa6703b118bf6c557a
SHA256: 2a85abd6a6d160251ae760105db31f93b00d7694299c9aac3e5ab25351fa615c

Size: 137,676 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

bqdgkg9w
Submitted
Thu, 28 Feb 2019 00:25:42 +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"