cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 9 Jul 2021 17:31:49 +0000
Build-Path
/build/2/cvc4-1.6/2nd

First submitted
Sat, 6 Jun 2020 13:53:21 +0000
SHA1 of .buildinfo
33d401601b8783cde5a4c36adc7b9ba25721686c

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 6f335b95d313303740c393403f600085d785f380
SHA256: 2a68a1f5102ce5576736a34a03d2cc6774dca584cbf3cd62df1ac514e3eb183c

Size: 140,656 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: c03f7db8547e2db3cb050299c8debbe88a8a0d85
SHA256: daea09c6424628202ff95c96facb04598c0488090916f57432f1b2c3b06bf3ec

Size: 4,511,032 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 8baf069990efc75ec5829a043129c410d3df9192
SHA256: 023b1f4bbcc58f1a646a3768d3ba4a0f29c42aa0aa65dafe0f279e11f7640010

Size: 7,273,060 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 7e3250bbfcdc83daa35b3fc952f16ce6f43b5e4e
SHA256: 062a9a1417b205b74bdaf2ae0b362688e52640fa5dc86e0f680a19aa3eecab41

Size: 367,812 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: c76a2fc85d01e2f1b94b4ca8b8cd28f783fa152b
Size: 6,585,036 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: cb7f944349c105298c0d55e5f3c162032cbeb086
Size: 156,933,508 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 393d09abd0c9f1c0deb0e02abb8eda4e0bd15983
Size: 3,835,200 bytes

Submissions

pxksgkdc
Submitted
Sat, 6 Jun 2020 13:53:23 +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"