cvc4_1.6-2_i386.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 9 Sep 2018 16:16:16 +0000
Build-Path
/build/cvc4-1.6/2nd

First submitted
Sun, 9 Sep 2018 18:18:36 +0000
SHA1 of .buildinfo
f869d022165393656befaafe14ac4f98ea2b02cb

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: b87b54d777eee34d6b953fbb55ee1dacb56fd285
SHA256: 1c83b2b4a5bd4a6871ae2724227b5d0f2d46a71600f760d0e136cab6a08c5b21

Size: 143,176 bytes
libcvc4-5 (libcvc4-5_1.6-2_i386.deb)
SHA1: 9d0b7622f2b6b82dd2739cf9d67bff1f6db30b28
SHA256: 5fd12e206d4a72912307235b5006b0efd3b37c455af945e3eb887a0dc99479e9

Size: 4,505,912 bytes
libcvc4-dev (libcvc4-dev_1.6-2_i386.deb)
SHA1: 9d24343b70f6dd61e74ffcd3031b428fe9296eb0
SHA256: 92f1949d8e94bb0c3553f0e86ff7b8135c9aa68b1e5ca81f1541d5bf94649acf

Size: 7,212,764 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_i386.deb)
SHA1: 83a56682a536a2abb158aca48ad7c6a9c76e2b70
SHA256: 2eb876db84ae042e8c83fb03241c8d1205530d9ef1cfb3a308437614cca3de8e

Size: 390,596 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_i386.deb
SHA1: 22e128fad6c337b530d99bbed773444e75d0cfa3
Size: 5,968,996 bytes
libcvc4-5-dbgsym_1.6-2_i386.deb
SHA1: fe8094f46b650eaa3da8a7ba0a6ed971cf9cc5a5
Size: 147,809,752 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: 6f65f0207061a6c6405d2cab4906e00c7227dae1
Size: 3,479,612 bytes

Submissions

mp7zoxtu
Submitted
Sun, 9 Sep 2018 18:18:37 +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"