cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 17 Oct 2020 02:28:02 +0000
Build-Path
/build/1st/cvc4-1.6

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

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 783ace50688f5ebfe778dee46d92a29a72033afe
SHA256: 27e1f70d14e95b3ff2cf5a5ebb1a5b791f06115ad639156147bf142f74c6f1a8

Size: 139,728 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: ba8bfc24e1b29816da5ae412176e273720c76ed1
SHA256: c5040093476adabfdb18657c60f861aac4a5846d5ead2706851e1e4709eff4d3

Size: 4,511,420 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 8541e9869f4774547c098bd55a0925c2ad5846e3
SHA256: 2eab7fb5aaba50f7bfc7efd984b379c31166bbf24f365063063ceb08c1225232

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: 9499f3fb797e94f9820019847fc83ffc7d194c7d
Size: 156,384,908 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: c7923d0ca0284e3c6f1658c4499aa6d43fefefba
Size: 3,693,016 bytes

Submissions

p4kbamr9
Submitted
Sat, 14 Sep 2019 22:34:30 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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