cvc4_1.8-2_amd64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 26 Mar 2022 14:26:38 +0000
Build-Path
/build/cvc4-1.8

First submitted
Sat, 26 Mar 2022 17:36:12 +0000
SHA1 of .buildinfo
1efbf4ecac83a72fd7db8e2d6e8e0754ecea1aa9

Binaries

cvc4 (cvc4_1.8-2_amd64.deb)
SHA1: 6392b812dbd22a4f0139f0ee266732e87baf6de5
SHA256: 41ac18d0f8fbf9b3f33ecb69b03a844955a91ff1819b70cd8bb1b6889c5a68a0

Size: 81,384 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_amd64.deb)
SHA1: df5aa2042dbd57ca696a6ddbe5e6260ac1264947
SHA256: b5cafb73fe264463736fb1ab7bcd5c357292c545bf1bc217eeba3ad44507e4d9

Size: 1,014,832 bytes
libcvc4-7 (libcvc4-7_1.8-2_amd64.deb)
SHA1: a43c23b8e96433917315fdd0d00324b1b3a8c954
SHA256: 8e43b446e053f61cb4b3a73da6031f775cbfc12a364775b3e5df48dabbbd67fe

Size: 5,847,804 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_amd64.deb)
SHA1: 149133664376056b2b624b225f14d7db7c068b27
SHA256: 981af683659e58f5d1997141a7fc41d10a7a640c9d639a706d60ba2beef2d4ff

Size: 191,661,872 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: afb6c5f7d19b294535f9ea6868c45dd434f88d16
SHA256: 3369a0e13cd3363d3ca203149b3dc3bbe8df47a8f615b4e2fb817b2959a03cb4

Size: 364,576 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_amd64.deb)
SHA1: 0df8aaca9f64722de07ac75406d8f60c0b6860fb
SHA256: 805df3340c573a36cb621045955fcdda7f722f642d9ac24ee21bef15de2aebc6

Size: 5,383,952 bytes

Other checksums

Submissions

yt7bcwse
Submitted
Sat, 26 Mar 2022 17:36:13 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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"