cvc4_1.6-2_i386.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 14 Aug 2018 05:34:44 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Tue, 14 Aug 2018 07:51:59 +0000
SHA1 of .buildinfo
dc521309bcedfa11c1e292114c20a01416dd98fa

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: 43e9faa3ee59d6ccbf731875e2e0b13b309ea167
SHA256: 69b3c3b6850c6a6dd97823796ba92bfb5936f3376966d4a22b5252ca221fbc62

Size: 143,176 bytes
libcvc4-5 (libcvc4-5_1.6-2_i386.deb)
SHA1: 3739c6ff1ac21c1405a9e0a481837e792a7cf22d
SHA256: c061925c5a4954c792a7c6ba007ada2a419ea7411bb4bcc661e627cc14d3bf98

Size: 4,506,608 bytes
libcvc4-dev (libcvc4-dev_1.6-2_i386.deb)
SHA1: 3789c90ef93108ba28467e38a24653eba1a52aaf
SHA256: db730115eea917f67376c7cea37be0999bdc70a430cf835b9083a84e0ad254d9

Size: 7,208,664 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_i386.deb)
SHA1: 8304553a80ac43366d035473a92f1ce85a72a387
SHA256: fffc60e581aa61729155c13f726316115538024d59e86f384d6f9188c3a9df46

Size: 390,780 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_i386.deb
SHA1: f0d98f881fb568ae49b4d0b7a02c03b592e81e86
Size: 5,968,048 bytes
libcvc4-5-dbgsym_1.6-2_i386.deb
SHA1: c23348781540467b2936c43b26a79d247ea018e2
Size: 147,844,776 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: 1bd115a27ca7bd3e80024d6f44b4e1fee07e43d0
Size: 3,480,308 bytes

Submissions

q9hayzd9
Submitted
Tue, 14 Aug 2018 07:52:00 +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="1534078846"