cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 22 Sep 2019 00:52:06 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sun, 22 Sep 2019 04:17:28 +0000
SHA1 of .buildinfo
a91cd38cc3b205525ec3d26b74a97d9fac639399

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: 476f6186918273effe9534b31d4ed7178873dee8
SHA256: e274d7335efba33e3c9c878efaa4db0dd854ead17c1157740e89cafc32ad8f8a

Size: 4,511,424 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: b218046b6b8c7be8fb0c1dec0ad57070ba1e256d
SHA256: 86cf291005a64f9f0e7d007d5fd51e3339919e719cf52fb9012915773fb04283

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

eyhsopm3
Submitted
Sun, 22 Sep 2019 04:17:28 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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"