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, 21 Dec 2022 05:23:35 +0000
Build-Path
/build/1st/cvc5-1.0.3

First submitted
Wed, 21 Dec 2022 06:50:54 +0000
SHA1 of .buildinfo
ad7a0293dfced17e8d50dcd7900e9defcf97a794

Binaries

cvc5 (cvc5_1.0.3-1_amd64.deb)
SHA1: 717d0795f782cb3c18ef781e695e5d129a6406ff
SHA256: 402e6778cf3df76ce7200192b421469b0b8092592ba5875eaf788cd825d65541

Size: 107,612 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_amd64.deb)
SHA1: 4aa398842cefadaa5135442ddfcf54d429de2bb2
SHA256: 3edac1cd2a74dd3650f0091d9793536692150a9512541b44add95674f58c85f0

Size: 2,543,996 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_amd64.deb)
SHA1: 42725c863307fe5eee2cad6180015dbdc6576453
SHA256: 2d565811c87f616c971e0f53f08d6ef769acc527248a9e0c8e867c57f8256a03

Size: 5,842,484 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_amd64.deb)
SHA1: cfeca05ba54c75bf76c3f1eae2bdce52c84ddd38
SHA256: 31b9f568c8177d60afcfed00c352f49dcda14db26db27c5faed174ff4c2b59e9

Size: 169,513,488 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: 4614aabc962a4c5c58429fce10b6d553b0d6b850
SHA256: 3b2aadd83838d106dc5f350bdc508ef51be23ed5b366250947c7ee984e921244

Size: 306,624 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_amd64.deb)
SHA1: 8041bbcf3bf239a9e3863b8ab2671856edbee0a0
SHA256: a03232b3be1ed1357998566e9823fa3187d70f157327a9c37c18a516bc7180e9

Size: 5,028,000 bytes

Other checksums

Submissions

spebpfba
Submitted
Wed, 21 Dec 2022 06:50:54 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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"