Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 6 Jul 2019 14:00:55 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 6 Jul 2019 16:22:33 +0000
SHA1 of .buildinfo
d02a705bb42cf5684d2ff10c862dcacd93d3ba6e

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: e06b67c2a048cad1dea1cb0b9ed97270ca2c2090
SHA256: 2ddfd53dd4ce4449573e9e930462b766a07103cc1fe16e32b5376300f363a9e6

Size: 142,436 bytes
libcvc4-5 (libcvc4-5_1.6-2_i386.deb)
SHA1: 5a7465c00d1510cc43fb2a56707d0b79d115913b
SHA256: dd64e53e56cbbc74f49c3894cd42a7f75b39ee9e47e81f29c45dbdd65befd48c

Size: 4,642,904 bytes
libcvc4-dev (libcvc4-dev_1.6-2_i386.deb)
SHA1: 0c327c86e435a09640c06f3091aca7a71c182722
SHA256: b2aba8125839fddfd62067c9eff236375da2710dd1987970b44434da6a81fb4b

Size: 7,342,460 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_i386.deb)
SHA1: 8be8a72c97530def679f01b1e327c32058c2534a
SHA256: e31028fd721d9b7a8ec973a9662512424897409a6c6920b708d34bdac6bf2a4d

Size: 390,472 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_i386.deb
SHA1: 0d4096d953a7d0c286ef272acc43eab041905d92
Size: 6,017,324 bytes
libcvc4-5-dbgsym_1.6-2_i386.deb
SHA1: 66a403c082a47f6adf68efe1b3ab20951c4f202a
Size: 148,962,548 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: 8de2aa87ca882f721963ceef014d232c4d736eae
Size: 3,521,808 bytes

Submissions

Submitted
Sat, 6 Jul 2019 16:22:33 +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"