Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 10 May 2020 12:47:07 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Sun, 10 May 2020 15:03:20 +0000
SHA1 of .buildinfo
b7beb311b4aeffad65d8640d3cf45cd8a763e340

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: 8c2da8aa13a0801bbdb26735d03eb9e9a372f3fe
SHA256: b8fafcba984b7bc3ac3917a233cb7f18a98c733389dab53764cd3dce55f0c287

Size: 141,868 bytes
libcvc4-5 (libcvc4-5_1.6-2_i386.deb)
SHA1: 91f22af129a8c25806b8892ed9673ff68e685d8e
SHA256: bdc66da6fc5c22d807bcf6b0596a3dbbad96a9af815fdf28c9671212a36b1641

Size: 4,845,704 bytes
libcvc4-dev (libcvc4-dev_1.6-2_i386.deb)
SHA1: f1d9eda55a26c4590cf77b79a713350e77d87861
SHA256: 4e7380c4a88c5e587f88fc3e1bd291e703c4307703643f3c9106c429dfbba291

Size: 7,669,772 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_i386.deb)
SHA1: f99639232d552d020be35408cc21fe33815ca19f
SHA256: fd1ee39d320f0ea13ba868039d5f736a562d245a0069c3f6e8ff2ee2577c33df

Size: 389,800 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_i386.deb
SHA1: febd7d75b5f643be31ed0538608d55f3249fd1c6
Size: 6,329,044 bytes
libcvc4-5-dbgsym_1.6-2_i386.deb
SHA1: 222c562161f9236429b4542d23163e100139308a
Size: 157,737,040 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: 5da455d2c2ed14a05f029469ef506c5dbb41282f
Size: 3,636,392 bytes

Submissions

Submitted
Sun, 10 May 2020 15:03:21 +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"