cvc4_1.5-1_i386.buildinfo (view)

Source
cvc4
Version
1.5-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 11 Apr 2018 11:57:07 +0000
Build-Path
/build/cvc4-1.5

First submitted
Wed, 11 Apr 2018 13:58:25 +0000
SHA1 of .buildinfo
dc58fc71c67b668b211ffd80f1e458bd91c5f9a7

Binaries

cvc4 (cvc4_1.5-1_i386.deb)
SHA1: f04acbfe7ba27ed610eb96b84c3146151676c964
SHA256: c53b9d3b3dbd508fea4e5dac71d324402b98593c9138703a8cdb01b14a4d0964

Size: 139,984 bytes
libcvc4-4 (libcvc4-4_1.5-1_i386.deb)
SHA1: b04f36e06c1f0a6daffa556afeb2988cf4548b1f
SHA256: 0c8b69c061526b9f84db41b62312972c3f87884fa66ccef0432422ca4ec9d846

Size: 3,638,364 bytes
libcvc4-dev (libcvc4-dev_1.5-1_i386.deb)
SHA1: 33f8f075b4c795395dd7874166860d3b133f00bc
SHA256: bb4d39ec12dd9f8e8b0106c08b7fdc5b75d8b8dad8a79bc5b9ddc35f4734d128

Size: 6,410,020 bytes
libcvc4parser4 (libcvc4parser4_1.5-1_i386.deb)
SHA1: f0a6a873075717df37fa5b7370249c98fdd3434c
SHA256: 20342cf4c82671ca1d419e72a439fa462ceec6672b58abd796140cc28e153155

Size: 390,028 bytes

Other checksums

libcvc4parser4-dbgsym_1.5-1_i386.deb
SHA1: 3c9aec784899aa046e2d92f733cbba0c33a8e816
Size: 4,320,848 bytes
libcvc4-4-dbgsym_1.5-1_i386.deb
SHA1: d98cf2d0e601d363455125061663e1aa3f7546cf
Size: 94,025,200 bytes
cvc4-dbgsym_1.5-1_i386.deb
SHA1: 5a9708551c8cf0b539f0a1f3ade8eb7bd0a315b9
Size: 3,130,868 bytes

Submissions

kdsvevpn
Submitted
Wed, 11 Apr 2018 13:58:26 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1501281085"