cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 20 Mar 2019 13:49:24 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Wed, 20 Mar 2019 17:41:47 +0000
SHA1 of .buildinfo
21452291fd88354b8bb70d7bb9a365891897a98e

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 852c5bee30b95971488a8bacc45a193b2da96ae7
SHA256: d54498e5063e265e89e4060df46e32e5fd2130ae5254b0a7241e4bceb3cca13b

Size: 138,104 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: bd588d593f26b52ae0d5d6c6bdf560f827c7ddc2
SHA256: d21097e2cc89190a3f5b33d032f370c2acf99838d05bb093b7c0d031385ef384

Size: 4,165,944 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 073ebb609d00e29b16d2a107816388e89610e8af
SHA256: 113ff3f2bde170e797067a8036f259217bdff3a4f85637b4c6bc91c358cbd52d

Size: 6,821,644 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: 27b7eacebea1eab4df740635d2fec86e0fe26881
Size: 152,731,404 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 844629a279030ba8e4e51a36c3bedb5f906cd78b
Size: 3,601,284 bytes

Submissions

tvbwsu93
Submitted
Wed, 20 Mar 2019 17:41:48 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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"