cvc4_1.8-2_amd64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 27 Mar 2021 11:52:25 +0000
Build-Path
/build/cvc4-1.8

First submitted
Sat, 27 Mar 2021 14:45:22 +0000
SHA1 of .buildinfo
48f392e9a3bc64d35fc186f325d50dc94b30a79b

Binaries

cvc4 (cvc4_1.8-2_amd64.deb)
SHA1: 8575d537501e96b797d811d8ac30d9775f960f6a
SHA256: 12f475f33c99ddb13ffc26909e679b94bf4072c5f46708bdc2cf29d250f6e0b8

Size: 81,564 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_amd64.deb)
SHA1: 9e54945b3b7ba705cdf77696a7005183b772fbc4
SHA256: 27316d1ea55c4fa24f27835afa915b653d7ade1a118b8672a54b3f2639d28fd0

Size: 992,792 bytes
libcvc4-7 (libcvc4-7_1.8-2_amd64.deb)
SHA1: 764ef8a99971abcf4a2fec034f9716c691377c0b
SHA256: 9e1a161080532a6be33e7abc014df9bdf1eb1003540d7396c6ae928513edcf9a

Size: 5,647,816 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_amd64.deb)
SHA1: 8bba758b3f696451aa5735a12e0f97e476e6984e
SHA256: d3cf4731b9c7f71ba5311cad9564dafc744a5dbcdd728675433aec2df303f491

Size: 186,525,772 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: fdd8f8ad1e3cf4b1123d12392632f72bf49dfbdd
SHA256: d0cdec11ceb85aa85ea7726c158725bef91453c37cc7f855a9fbc61fcbb6f68a

Size: 365,636 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_amd64.deb)
SHA1: fc3b3de6837089978b8c1d32d12747fdff8efbc6
SHA256: 874805bf8173c6e941f79e74f7dce3cd4b17502b2384781647d582db02857e46

Size: 5,162,132 bytes

Other checksums

Submissions

zgpktvyc
Submitted
Sat, 27 Mar 2021 14:45:22 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1600360149"