cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 21 Apr 2020 22:04:14 +0000
Build-Path
/build/cvc4-1.6/2nd

First submitted
Wed, 20 Mar 2019 17:41:56 +0000
SHA1 of .buildinfo
55dffab3602727155b3cb660ee3302899891aa97

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: cce23b6967a0672fe81570ab1c861d242b98b2f2
SHA256: f1126a1017c5c2e1fec0428a06658755b2dac34b99a6428c41054d1fb4f86591

Size: 138,116 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: bfbe957b84156eef7001511d439bfa16848d7632
SHA256: 7cc7fb32453c8f0f28de7611bf5e3a029b7565373f78018a872eee84f31e8d54

Size: 4,166,920 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: f08ccfd6f89f6265f3b269cca9e094f83181b1d6
SHA256: 18c178416da9fa465326a9331e529c918406745e795059cde0d3b8d067021187

Size: 6,821,628 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 497dfad9d992f408b90e8a501bf92a9b027450d3
SHA256: 96ecb1eec6be4489258015161684754b52e9b9aa4a5dc434a6989a34844e1ab9

Size: 361,912 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: cf1c5930c9c720ea685ba29d5fdcc18ddd368bb4
Size: 6,259,300 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: fdab50c3c2fd460b92066e6919a0532fc8ec50df
Size: 152,731,640 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 844629a279030ba8e4e51a36c3bedb5f906cd78b
Size: 3,601,284 bytes

Submissions

orjxnpxz
Submitted
Wed, 20 Mar 2019 17:41:56 +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"