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, 18 Apr 2024 01:27:26 +0000
Build-Path
/build/1st/cvc5-1.0.3

First submitted
Thu, 16 Mar 2023 20:57:38 +0000
SHA1 of .buildinfo
57ab25b6dbd7d86a58f37630ba3a692d7a63f10a

Binaries

cvc5 (cvc5_1.0.3-1_amd64.deb)
SHA1: 72ce7ab961139a4d44ade8d71a04c7c503200573
SHA256: c43850b2afa6fb49515ec20a3761581be63a5f707c92010795ae9007f9b49f44

Size: 107,992 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_amd64.deb)
SHA1: da6b6d5b58443dc9438808918b004eff0593c3e1
SHA256: a70bcc08b7f3dde740da4ee57a3d1492fc0a1652621c8a5c05314d2aad4390ef

Size: 2,544,012 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_amd64.deb)
SHA1: d382a7feb232f5dd289c8820a65fcf6808a3489c
SHA256: e3cbf327273fb353f01e79fdcf333d7e5d138f205cb87b906183d526ebffbdc8

Size: 5,844,124 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_amd64.deb)
SHA1: 3a41e7bef90df91ebcf75942870b3cf98ca87e40
SHA256: 632629b4c5d29d3c500c9f96567d4e0512bfd98392297f935cd2fe86d0390a33

Size: 169,513,116 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: 7f2faa92bb2d28e369b04df9644fb613cd81140f
SHA256: 761ab78ac32ac846d4de8ddededeaa4b999b6e593d048e775398113e9a0f09b1

Size: 306,980 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_amd64.deb)
SHA1: f680c95eca78a0cbdc99f7df9781045d1c1e13ad
SHA256: 7b1553056b77a046ce9a7e2a640dc877d7b3240348974c40c12aaacbf475e15a

Size: 5,027,516 bytes

Other checksums

Submissions

kktfjsnt
Submitted
Thu, 16 Mar 2023 20:57:38 +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"