cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 14 Sep 2019 20:33:55 +0000
Build-Path
/build/2/cvc4-1.6/2nd

First submitted
Sat, 14 Sep 2019 22:34:38 +0000
SHA1 of .buildinfo
d599fd93f9e4f537f26e4a8bb933049e9f5510cc

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 1632484fd8479525d6abb9680fbb22cdfb9b5d6c
SHA256: 5f45b75d72e3512ac5fb39dd0736b3d4dade04adfb3581866aab6d3adfcaf5fc

Size: 139,732 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 53693918606eb3b67682c0f09ceb64771ed24ea0
SHA256: 81f604ab0eacf8256994e0fd5edecaa8b51e7ffff9c93b68ffef2b36af3e0573

Size: 4,512,416 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: b437f27312e2a44d4ad05fd084943bcc403c7712
SHA256: 1098cebbda35cf05932c232abedcd49fad98eaedbaf6597d2c090864e60f348f

Size: 7,278,616 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 3b001acae3c2afd4c70b2e8a4b2ad573ef0cba99
SHA256: a4b74ca5314593317a9e45e65f06b5fc4f0a4491e53dd37eb8d2193bec7f8095

Size: 367,700 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: afa420ce3e3b1f4b700af2768b861e5ae176a6b4
Size: 6,536,076 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: ce541c6e058e92c77d52cfef8573f8840714c9f2
Size: 156,385,404 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: c7923d0ca0284e3c6f1658c4499aa6d43fefefba
Size: 3,693,016 bytes

Submissions

jeoxwtjg
Submitted
Sat, 14 Sep 2019 22:34:38 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1534078846"