cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 3 Dec 2020 15:19:23 +0000
Build-Path
/build/cvc4-1.6

First submitted
Fri, 1 Nov 2019 10:56:49 +0000
SHA1 of .buildinfo
75e0d702dda0c1e3923a96d8365f193c9d366698

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 942f94d0d5f24c4063ea81cea81ae4d654116c97
SHA256: 4116dcf97cc1fc9f988a0fb612d08ebfdbfae36016d791f7c3d470582fd0d590

Size: 139,728 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 22a0ada6dba65e58a4f294e1cedbbbe490c9b408
SHA256: 2dd72c91ee31a9261ff1680785d3730b86e9a18367ff08ff0d757e92f8ce9454

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: 3723a995f95716727db0f6efba478029d2630b6a
SHA256: 9e43bf4e7941387f35b7975bd4551a6a554a627593e30fd6c4ed650334fc2bb8

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

qazstkkb
Submitted
Fri, 1 Nov 2019 10:56:50 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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"