cvc4_1.6-2_i386.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 11 Feb 2020 10:50:20 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Wed, 9 Jan 2019 08:19:54 +0000
SHA1 of .buildinfo
2848cb4dd458a93e7d9500422a82127d23fb9281

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: 8958a6f5ff124d17301a2115c99e17d6006747cf
SHA256: b6382f056f807bb0fda9ca89a6e01edd287b6061b75f5bed3336e41b23630ea7

Size: 139,288 bytes
libcvc4-5 (libcvc4-5_1.6-2_i386.deb)
SHA1: 7744233f2ba15248a7443696ccfeae9d43b52e4a
SHA256: b1e58b8cbd35887d471baef36e1952ea11e9fb507f10334badbd04b350ae3633

Size: 4,506,928 bytes
libcvc4-dev (libcvc4-dev_1.6-2_i386.deb)
SHA1: 08ce680c57836c7f663f8fd058a0889f0564ba48
SHA256: 162a79a95c5d02b3a57c7dd8995b6c8f33e43de08da9eb2a0441402f38c4c3fe

Size: 7,215,028 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: c3aa3c1845b8094340d77466808e8b752da6dd8d
Size: 148,712,316 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: d8b951838633b5e1ca632d308cac523f2b52c988
Size: 3,508,540 bytes

Submissions

c9dfyutj
Submitted
Wed, 9 Jan 2019 08:19:55 +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"