cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 18 Oct 2019 15:54:46 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 15 Sep 2018 13:29:33 +0000
SHA1 of .buildinfo
3cffa2033ebd9bfc9509046904c77cd012121d61

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 39d9bdea7209f4cbaf4914a7d6f66382e785ff12
SHA256: 9106103d646a41024a4e7a2e869ddaa336a46ce277e196301b9b26801ecb391f

Size: 139,976 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 372eb718ed025718375307440f724b64d25cdbae
SHA256: 5ec95d7174d1d60eb5ae3adf6f7ec2e65ef2b4e6932a83af035274eb0733a75b

Size: 4,055,136 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 23ea423482498274013e26c89ab5fd84b8eb4f9e
SHA256: f04aa7616dc0838efea91a3871636fc4ebf81d18d6752123242b705d6cebd405

Size: 6,713,480 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: dde88db7b9474f2085a9d84ec92a3f0bd4a50b6e
SHA256: af0b8851a534147a554c778e9c8bb1df41408f5dcd379150056a213326763199

Size: 362,224 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 17c2be96faed310909a39903d8c2b136fd080601
Size: 6,230,652 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: e859e2da0cff4472ca51f567eddf09110057123c
Size: 151,566,380 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 6586d3050cac826f5d0cddda8699eadcd7de2f63
Size: 3,556,356 bytes

Submissions

m4odpiny
Submitted
Sat, 15 Sep 2018 13:29:33 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1534078846"