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
Thu, 25 Jan 2024 05:06:56 +0000
Build-Path
/build/cvc5-1.0.3

First submitted
Fri, 23 Dec 2022 01:01:30 +0000
SHA1 of .buildinfo
5bb4fddb10d75bc9e8e3bf14ffee7d593d64186f

Binaries

cvc5 (cvc5_1.0.3-1_amd64.deb)
SHA1: 6e9ec7b02ccd619e536774b0df3770017587e30f
SHA256: 3b6a8bbc6d619b7d90b5eb70cc53bf256550e71c1dfa0eb5f32e24f1a4428d13

Size: 108,132 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_amd64.deb)
SHA1: 4e358cd503c91ac727b05cffc65ec9db6525e4b6
SHA256: 02e687f2132a25796cb8329e16465e76dbd1e4de86fdd2b709db1d819dc7c84b

Size: 2,544,456 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_amd64.deb)
SHA1: 53adc93b5bd83221d48553643213be7494d31119
SHA256: a645c1305b8f28750dd04e2c048a84ca22bf06dbbabc609a49e3abf5e69ec0a7

Size: 5,841,356 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_amd64.deb)
SHA1: 8c1bfde69ea7c4fa49e306dd35104363f44b2eec
SHA256: a41b821b54cfa98df06f28cd1882c0c58d011965eaa457790ed78d17ab819240

Size: 169,520,112 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: 418b90ad9d79db764d17ba24eb1ea7bb13b47767
SHA256: 676cd118349f9a5194509d54d10a942535ab2915e06552efb6887ce9f3adee0c

Size: 306,728 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_amd64.deb)
SHA1: dcb76a4500e53256d26e7e43bdc4cd839aae4ca8
SHA256: 10f4d80e8bef29d37bf64f6a82eee6442a88de575c121757ae594d322371e877

Size: 5,029,304 bytes

Other checksums

Submissions

othndafo
Submitted
Fri, 23 Dec 2022 01:01:30 +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="1671500150"