cvc4_1.8-2_amd64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 30 Mar 2022 17:09:09 +0000
Build-Path
/build/1st/cvc4-1.8

First submitted
Wed, 30 Mar 2022 19:57:22 +0000
SHA1 of .buildinfo
629bd95f95500c4a60fd89b0bc9bdc7df7ffd3c6

Binaries

cvc4 (cvc4_1.8-2_amd64.deb)
SHA1: fb72d4b1b15962edd917ea10ba4df0c0b61d7c4a
SHA256: 82b3bd215b237620148989c151702fe7bf89d1cbf45e1a782bfc39b31d19d3e8

Size: 81,424 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_amd64.deb)
SHA1: ec5d649f446ed29380035159194b26da0ccecd81
SHA256: 385618981eb7fc8242557b4ec002f7c5e34cf7d54c7bf23e874ffab69bf3d78c

Size: 1,014,700 bytes
libcvc4-7 (libcvc4-7_1.8-2_amd64.deb)
SHA1: 922cb2e02a9af178a0ff4179e7a4536ecb89fa08
SHA256: 0c2706121e6e9bfc9078e39d70671c2ad62941fe99bdf3f404aae50e2dc6071b

Size: 5,840,100 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_amd64.deb)
SHA1: 351b6db0cd40bdc0cf4affbc6d02293c3306b112
SHA256: ff9ee767d7a6ecf89b021a813cb17a352b9c808a46070d1497e7e05cec20f9ea

Size: 191,666,288 bytes
libcvc4-dev (libcvc4-dev_1.8-2_amd64.deb)
SHA1: bb3347e65ab694c2419db3b04f7cc35f114e3fce
SHA256: 336a71d9e102ea2299200413899ad81d7dd5d038f6671652fd88ae1c4771b870

Size: 131,264 bytes
libcvc4parser7 (libcvc4parser7_1.8-2_amd64.deb)
SHA1: cfb612f5c8997d20c90ec00e0d439bd489c0e718
SHA256: c704237c681f392cafb19b8c976beb6e941ddc2d31a9138a51b2701287a6cca1

Size: 364,096 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_amd64.deb)
SHA1: 19d788c98af5573402eb96f06fa1f28531bd5f58
SHA256: cd9bae192eb63ce9b42a9e1aadd6f4684381720f7a4996e67b1cd42663e8ddff

Size: 5,384,032 bytes

Other checksums

Submissions

xshwrsmt
Submitted
Wed, 30 Mar 2022 19:57:23 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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="1600360149"