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
Wed, 10 Apr 2024 19:15:49 +0000
Build-Path
/build/cvc5-1.0.3

First submitted
Thu, 9 Mar 2023 15:07:15 +0000
SHA1 of .buildinfo
85fe25b55afb912e655e285615a00f99e8636c02

Binaries

cvc5 (cvc5_1.0.3-1_amd64.deb)
SHA1: 31f4ba7867fed9d7bc26c51444cd9ee9e94195e6
SHA256: cda8f2010d720cc9678c4a767cc20ae2158c8ef9332d4f9f6abf68f624b7d0cb

Size: 107,572 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_amd64.deb)
SHA1: a0aa356c740d2321f1087a3b6858329cae38cbef
SHA256: 87a70bd9a86acd2bd725a079a20d2eb659b2ac99aee42e130d775bf4e5f58242

Size: 2,544,004 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_amd64.deb)
SHA1: 1f9433d8b18bd78cf56f8c299bca419472a1fb64
SHA256: 4047c30be3ea6cff2f67476d43ceabaed879afcdb37eebca11cb945f2800af03

Size: 5,840,520 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_amd64.deb)
SHA1: 551762e6c3d23abf4b78daac7bfdba330d1c3bbc
SHA256: b86ace9e91a04263bb19230cbde37c44e9a2a89047de654169c9ed7a79f8cc64

Size: 169,512,636 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: 66f6d906923836b72b48eee11ea922d29fc36976
SHA256: 4de36e15d973b23040f5807b950f69aefd14040c5c8de58ba9fd3bb92694c180

Size: 306,764 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_amd64.deb)
SHA1: 438f46b3a56b881e0b3c07ebd667aec4c2394431
SHA256: c3a11447e62eb5da6adaeae1e696d945b492a176d32e59649c5dd563cb2c8008

Size: 5,027,816 bytes

Other checksums

Submissions

ypsmzszc
Submitted
Thu, 9 Mar 2023 15:07:16 +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="1671500150"