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
Fri, 14 Apr 2023 22:54:19 +0000
Build-Path
/build/cvc5-1.0.3

First submitted
Sat, 15 Apr 2023 01:31:32 +0000
SHA1 of .buildinfo
dcfa33547025648c7c824e0fc4f942a529c14819

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: 19d2f775f2edda7d0c29a7b4333b2ddd92c29d4f
SHA256: afb9a927991d1a6a0b19e43f698d24173fdf46e474be667caadfcbbb71979995

Size: 5,841,416 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_amd64.deb)
SHA1: d53ec23b8765c4f342fba7e346aa68ada14ef0ad
SHA256: 8ee8c1567510a1060f29183ff73fdc97e505701c2728383557c82c5ebc1ca78d

Size: 169,513,492 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

4auktfnt
Submitted
Sat, 15 Apr 2023 01:31:33 +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="1671500150"