cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 13 Jan 2020 04:45:33 +0000
Build-Path
/build/cvc4-1.6

First submitted
Mon, 13 Jan 2020 06:46:37 +0000
SHA1 of .buildinfo
8c53b11e6f3b34990ffd0ef720c343651ba7af3c

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 85638af193c4dd0025699848caa6001a80039118
SHA256: 29ff28a1142541d496abbcfff8b1036e5d382bc8942c7e085d4b0986415e5d24

Size: 139,488 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 996880ac17438675569ad6d14065554941ae63ad
SHA256: 9ba6fed79b8e351611bd86f584568085eb3347a103566101e47b41f9cfe8a45c

Size: 4,510,816 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: b7fb6db28cc1a8c1143c55f2ee60a76b0ce11894
SHA256: 73a9b5d7fa2fcf5c4a6fd5754ef72b3206a30631fdac9442242cc7f1ea4ce9b1

Size: 7,276,188 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 50eea861f58d0e663d14ee2d09e6470e02713b34
SHA256: 9aa4542c1184b18ff6d146acd3cd7cfa5ba56538b398790785833dd5cda8fc99

Size: 368,080 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 5e0d923a4ac5410936ea4a066e54b55fb7560d7a
Size: 6,536,396 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 0a7923b7269a115f38119b88b92968c13f6a5823
Size: 156,408,508 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 5deb1e0a34d63842b4bb7a8753f86e81627833ea
Size: 3,689,352 bytes

Submissions

zs9vqpng
Submitted
Mon, 13 Jan 2020 06:46:37 +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"