cvc4_1.8-2_amd64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 27 Jan 2023 13:49:55 +0000
Build-Path
/build/cvc4-1.8

First submitted
Sat, 25 Dec 2021 10:26:11 +0000
SHA1 of .buildinfo
d71f3eecedd3a284cafc5b9fd2031c7b68ecf528

Binaries

cvc4 (cvc4_1.8-2_amd64.deb)
SHA1: 24e567cb759b9a54fa343df035d0adca71d7fa29
SHA256: 5b5c647b446f8b04d06d84c17c4214c153cb0edc9ce9a9b7da6c7771eb791c3e

Size: 81,412 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_amd64.deb)
SHA1: 3e87bce39e3c5f2b9bbf7fe95c41633ef3e53c93
SHA256: 13952b5d983a60e810b3de0fbd44d2502df5c86d3f3c7a71363c2d07dce51a7b

Size: 1,014,948 bytes
libcvc4-7 (libcvc4-7_1.8-2_amd64.deb)
SHA1: aae7c57a5d0922218882feb9ecbc87af39b02d2a
SHA256: ea2a31404f3f22e7e53f75d01485caaeeded6d8b3d546b8b84b8878cefe96af5

Size: 5,848,092 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_amd64.deb)
SHA1: f6b48260cd35396b0aeb64bd3db6d836e63904ff
SHA256: 3f5847f5fb19957f620035134fc5ad288db9296e274dda207ffa41b948879848

Size: 191,679,972 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: 14704dc82370b6a87ea73225fba230ea2cf4cb12
SHA256: 5e24857fa433599f965f5eae7ac6a0d222aaa0ba097a90cac35488618c8f158f

Size: 364,256 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_amd64.deb)
SHA1: 669e9288b2a8f7fb549670a25078c3a52072300e
SHA256: 613adf93146b3adbf58719b87d26af7679f171186f251fbf5b2d14321861967c

Size: 5,383,012 bytes

Other checksums

Submissions

r3gu7ikp
Submitted
Sat, 25 Dec 2021 10:26:12 +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="1600360149"