cvc4_1.6-2_i386.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 20 Dec 2019 21:07:21 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 17 Nov 2018 16:44:36 +0000
SHA1 of .buildinfo
2deaf27bb1b921a2af77eb58bd0b17009aafd7e6

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: dc812b31ff28d5d34ef245e5cd69b5fc30949417
SHA256: fa1789b32c80a8d146fa3fae8d944ce68c874847e0cb55055f78be10ae06d02e

Size: 143,744 bytes
libcvc4-5 (libcvc4-5_1.6-2_i386.deb)
SHA1: 2c0580e1c57493edf3437a04f79569a57f99436f
SHA256: 90193fb81b914bcd9988afebcefa05ec4c5dc302d73e452ee109e0df7236a8b0

Size: 4,506,600 bytes
libcvc4-dev (libcvc4-dev_1.6-2_i386.deb)
SHA1: 44971937e8d0971b554b6a205160d6bb98552a39
SHA256: 59289bc4f5f5bdbc4d76fee3dc4361555d1a68cfea1f457b4565047020cabcf4

Size: 7,214,540 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_i386.deb)
SHA1: 0096f7b8a32ce5de8ce00cb56dc6532943f5ce6e
SHA256: 0335fe3bd4c619f64a88762d3c95fc590ff07cc8ee76e3e6d9bfb78b595911b7

Size: 389,316 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_i386.deb
SHA1: a71c6c2d0735ee9f1cb06715aadc89ab30b991e2
Size: 5,975,156 bytes
libcvc4-5-dbgsym_1.6-2_i386.deb
SHA1: 9d4504e30c189a1b9a9cae689571db385bf52b0c
Size: 147,771,188 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: 43f56002fc0abc45ee05bf1b31d4897bb7c85817
Size: 3,480,620 bytes

Submissions

jktpjvxt
Submitted
Sat, 17 Nov 2018 16:44:37 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1534078846"