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
Sun, 19 May 2024 06:15:18 +0000
Build-Path
/build/2/cvc5-1.0.3/2nd

First submitted
Mon, 17 Apr 2023 02:08:14 +0000
SHA1 of .buildinfo
a3606493857559dd4781575c80521e19dc36a8c4

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: 9c24d170efbe96d625e753e211b2c84c3cb5a41d
SHA256: 9fca733f8f239502d157e2a2942aa4fd240e522e30ca60e08635106493d7dbe1

Size: 5,844,244 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_amd64.deb)
SHA1: 60df511569173e6fb5e6a7a40a87499c0e223ec4
SHA256: 4d89aa2e145018593d0891338a8fddc4ea6cd311df3e4c92e9d9de631fc70246

Size: 169,520,380 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

fxdeaf3c
Submitted
Mon, 17 Apr 2023 02:08:14 +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="1671500150"