cvc4_1.6-2_i386.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 9 Jan 2019 06:18:21 +0000
Build-Path
/build/cvc4-1.6/2nd

First submitted
Wed, 9 Jan 2019 08:19:55 +0000
SHA1 of .buildinfo
b8d66f05a5f7a2110580568dab30a03e74fba458

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: c84cd88202f5593841ceb3ef35b1ae005b91d5b5
SHA256: 60ec969a118b6f2f2e40e441bb46b27bf4d8211de7c148323259e54b20c947aa

Size: 139,284 bytes
libcvc4-5 (libcvc4-5_1.6-2_i386.deb)
SHA1: e4fb20a3baa34dadfd7b11c0dd2e38e72444c7c4
SHA256: aefb1fd946650be4385016b7750f2f21b30b16f834f65fec2f9b44e7ea4699c7

Size: 4,506,348 bytes
libcvc4-dev (libcvc4-dev_1.6-2_i386.deb)
SHA1: c837458e560d4fdf5e38e46184bc61b91d31a7b9
SHA256: 82e66affb2c1cdc408c8e49ae5aa02ffbd6b85cef338a6bae6209faf62910182

Size: 7,211,804 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_i386.deb)
SHA1: e1bd1c3b37804ea2ac31d40883a563a4f0812074
SHA256: a0aea3307304f4ba981f8b9f49a8ac6b5402f56eda35496aafeaff9007413715

Size: 389,584 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_i386.deb
SHA1: 0e632078c0171078d34b7321ac8daf8999ed81bd
Size: 6,011,172 bytes
libcvc4-5-dbgsym_1.6-2_i386.deb
SHA1: 0a376814f2828076e05e8895a65d836d667f476f
Size: 148,717,972 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: d8b951838633b5e1ca632d308cac523f2b52c988
Size: 3,508,540 bytes

Submissions

bywb4vq7
Submitted
Wed, 9 Jan 2019 08:19:56 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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