cvc4_1.6-2_i386.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 17 Oct 2019 10:06:45 +0000
Build-Path
/build/cvc4-1.6

First submitted
Fri, 14 Sep 2018 05:44:26 +0000
SHA1 of .buildinfo
41dfc8db06d925c0570698e4655fc90f6553a963

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: 972acb3f0375d2e5c6e7728745fe5fca092808fa
SHA256: 373661c6df782acf3c7a37dd837756405d097d8a471985ef1462d2e0dfbd2d33

Size: 143,172 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

oaqxyspa
Submitted
Fri, 14 Sep 2018 05:44:26 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


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