cvc5_1.0.2-1_amd64.buildinfo (view)

Source
cvc5
Version
1.0.2-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 15 Jan 2024 18:59:57 +0000
Build-Path
/build/1st/cvc5-1.0.2

First submitted
Tue, 13 Dec 2022 15:09:21 +0000
SHA1 of .buildinfo
e522233cfea3b0c095e12613f95f150b2c97aee3

Binaries

cvc5 (cvc5_1.0.2-1_amd64.deb)
SHA1: 4a5c2506f9cd8093b58c9e668c24034a9b6ada78
SHA256: 075e5bf55ec3edcd79588a0669d2664729c685ec0811f7eabf4e13d251f44c76

Size: 107,696 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.2-1_amd64.deb)
SHA1: 309395815088e64fcd7e98eb4f9a7f979de8a244
SHA256: 972ce6f4ce7f4f202222fc912d3716ef479857840efa4cafec34fef42098c474

Size: 2,542,520 bytes
libcvc5-1 (libcvc5-1_1.0.2-1_amd64.deb)
SHA1: a41d7d0a1bf613621869fb61d588656c4008fd6f
SHA256: d43ae17a4e0393d47ff7759a84bf70a34edd9cfd11d8ba00843600b579141f45

Size: 5,850,668 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.2-1_amd64.deb)
SHA1: 0398b29309c491d6d501fc95916ea1a073ad899d
SHA256: 16b9689103e36f240b632b34e9e7ff374b550f1bf7fdc3171129af4c7487b227

Size: 166,712,896 bytes
libcvc5-dev (libcvc5-dev_1.0.2-1_amd64.deb)
SHA1: fef40bac32ca0047956dd277e16f70a9f55189b2
SHA256: 69d5d139daa2cbc82cd4040c2b71449f2165eb964f160aba21051efed62b5716

Size: 57,800 bytes
libcvc5parser1 (libcvc5parser1_1.0.2-1_amd64.deb)
SHA1: 8a4db61aeb1b6df6ee2b670caa36902743b617e3
SHA256: abca18204eda7e45cd3c74bc1fb61a1756fc05069386d4a42b0d00a11f8f6e02

Size: 263,964 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.2-1_amd64.deb)
SHA1: a09ef8fc53290fb2644da3fb163fa449192ce38e
SHA256: beff07c98f317a319ece08984758ec6d9770a9cc0720e17722e545b908e8ede3

Size: 4,311,152 bytes

Other checksums

Submissions

3i9vtfdf
Submitted
Tue, 13 Dec 2022 15:09:21 +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="1669938285"