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, 16 Mar 2023 19:24:36 +0000
Build-Path
/build/2/cvc5-1.0.3/2nd

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

Binaries

cvc5 (cvc5_1.0.3-1_amd64.deb)
SHA1: d830fb3af3a18ad7779a5b963c521cbd223b155a
SHA256: 325f44d59db2d5565397206b0cc3e1a431d44e71eca8fe0c3f73f0b3d2b14fec

Size: 107,676 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_amd64.deb)
SHA1: 70838fe52b9c090cd4e491701b5e1a606a413f2a
SHA256: ccb0bbb0aae9a3c5df4bad19086641836191ff5275d3389c453a672a98d226f3

Size: 2,544,540 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_amd64.deb)
SHA1: af639afbe9bcc788ad4c3cf71b9fffd195c0884c
SHA256: ad31705110e65272ab9149d17bac0e4e1e6174284721b03694c5293a068779ec

Size: 5,840,868 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_amd64.deb)
SHA1: 16baeec5d0366f2540be76b7a741855b5d298fc9
SHA256: a920db9ccd51db822b890d94d8ab9473466c1fab5c6882b1e7b3560c4bc8a3f9

Size: 169,519,928 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: c0e8ed90dc7c1a23d4deaffba26a92caf87ef46d
SHA256: 326a48ad8a8a5b6b9171281e65bb1403e39ef5ba0e0d798d0e0a81fe7bfa9de8

Size: 306,316 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_amd64.deb)
SHA1: a33e3e599144db127b9f4a2730c8c531f4ae5230
SHA256: bac62290a947b6d7e1961918bd6ceb9239b0b5327b99404bacdccc6fc03157ba

Size: 5,027,436 bytes

Other checksums

Submissions

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