cvc5_1.0.3-1_amd64.buildinfo (view)

Source
cvc5
Version
1.0.3-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 20 Dec 2022 05:50:13 +0000
Build-Path
/build/cvc5-ONhNcg/cvc5-1.0.3

First submitted
Tue, 20 Dec 2022 12:10:33 +0000
SHA1 of .buildinfo
35bf537a531f95e2ee9f0ced7df3d2b26abcb3fd

Binaries

cvc5 (cvc5_1.0.3-1_amd64.deb)
SHA1: d3b8450a8c1458a7caebb6926be38afd05b58b7b
SHA256: f22df023d52060892248bdedd3b9f6b6a41f3aad3cad4fd47141eec19abcf281

Size: 107,900 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_amd64.deb)
SHA1: f54f63c1906e712cecbbe85cf66d1c51013a28c4
SHA256: 50169ad8096bff68094875290382bbd1e07721e632a1ea76a7414c1dc07b96e7

Size: 2,544,304 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_amd64.deb)
SHA1: 5fe96ee8abc1e5131a21e9a90ca4b53f866e7b6d
SHA256: c4e01d2c78f45b85ec1cbb59bafab389fb2c7659858c39fa31266bce16e85bb5

Size: 5,841,260 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_amd64.deb)
SHA1: f0da93001ab32630079622c7eb1279f3ad78977b
SHA256: d2a0109b4f63373ad98668782ccc3a02414c87aad2072ff03dd39f8a1bd68cfc

Size: 169,507,700 bytes
libcvc5-dev (libcvc5-dev_1.0.3-1_amd64.deb)
SHA1: bd6c85c710c0a11fed4b6e56e7a2eec7d8bacb3a
SHA256: 4fe154341f1e0f7627360e0a13ae594d29a03fe7eb51e0f30f1cb0cee3021149

Size: 58,584 bytes
libcvc5parser1 (libcvc5parser1_1.0.3-1_amd64.deb)
SHA1: b1d0ceb4bbb165c41aa77c0ae890d0f1b42b3f69
SHA256: 6d7ad0208508fdc783aee1e5aeeb05ef368402d4647a3a485ba2a33d251b5504

Size: 306,872 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_amd64.deb)
SHA1: 5926255759cf92cc229d12eb5439e8185162d0fa
SHA256: 1aad7e0e698a50963c640af1da69f1ffce8e6e730694012a71d2ecf3043ed9ff

Size: 5,028,028 bytes

Other checksums

Submissions

sk93ew3b
Submitted
Tue, 20 Dec 2022 12:10:33 +0000
Signed by
0xB46845950145956B

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1671500150"