cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 9 Apr 2021 05:37:20 +0000
Build-Path
/build/2/cvc4-1.6/2nd

First submitted
Sat, 7 Mar 2020 01:14:45 +0000
SHA1 of .buildinfo
889c99b665997f07bd2576cb0ca91b67f0709934

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: deb752151e6bb97fef437dc4429ccdec4b44227d
SHA256: 5cc4848efe3121bb866113680ce63206b3f649e8dcc8d40d3785b9aa833b56d6

Size: 139,280 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: c93e2c2c76a0f1952984ffe98c01f5348d1029a5
SHA256: 50e1ed4b3701d97c90b87e9fa3696b704a285762295e4fff413a3348556ffe79

Size: 4,511,476 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 61fa9af2b21172b2e20ab56133525b14125b524a
SHA256: 628bf73874f38dc76564ab61bfdd799473b8e39418d9a3b93077a77717ad6b85

Size: 7,278,168 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: da51cca59fc2ebc389daa50b30432e03e028895f
SHA256: 6e185d94aade9ab6f2117d9e027c04caf1ad94c2b7d10b5dcfa5d473f3a2afb7

Size: 367,664 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: c485715f40fc3a2168d33a7b74d6db03cb6ed113
Size: 6,583,940 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 7c677eaee06460de4a6c50878c7ef4ca969bcb0d
Size: 156,882,836 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 916cfabbc5c05b8a9fb775d499d6d5be5eede45c
Size: 3,719,984 bytes

Submissions

vzcmsfzg
Submitted
Sat, 7 Mar 2020 01:14:45 +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"