cvc5_1.0.2-1_arm64.buildinfo (view)

Source
cvc5
Version
1.0.2-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 12 Dec 2022 11:46:37 +0000
Build-Path
/build/1st/cvc5-1.0.2

First submitted
Mon, 12 Dec 2022 14:44:48 +0000
SHA1 of .buildinfo
69f01018a0eb8cc8beff309d5087fe057938fad6

Binaries

cvc5 (cvc5_1.0.2-1_arm64.deb)
SHA1: 639b119bb5c095fa489145e9f68b49fcdb4f88e0
SHA256: c2123a4ce2d6a9d2784ee1481026ce9ef99f6e63fad82009d09a0f980ce63e31

Size: 96,396 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.2-1_arm64.deb)
SHA1: acb0e2bfeef1281a0c959522e72733a230f26cbd
SHA256: 64d1b92ed2a06ffc4f168044e015988f98f0f7a0cbb84e355d07bbe14749d5ce

Size: 2,516,344 bytes
libcvc5-1 (libcvc5-1_1.0.2-1_arm64.deb)
SHA1: 07ee530daa86a915da42a09337b87a18be545aef
SHA256: 98d8f3402d833b71addfb7552cb904e8b71c8c8aaf54f1f15616cd19d69f5996

Size: 4,944,620 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.2-1_arm64.deb)
SHA1: 8a9bf44fb6ece768eb9562619dacff57aba767e5
SHA256: 5def530b7bcdfaf7725c70debd3d7b789869858d9e90644f17df2491ff9901a4

Size: 163,079,232 bytes
libcvc5-dev (libcvc5-dev_1.0.2-1_arm64.deb)
SHA1: b21390b23fa460bdbac1415b66d80a85ff00bc19
SHA256: f78ef0ab461fe6c647deddae120b33e6b252082848117f556f46342be97957bf

Size: 57,804 bytes
libcvc5parser1 (libcvc5parser1_1.0.2-1_arm64.deb)
SHA1: 55a81c696b0d73f6caa84c276c2614463aa82d19
SHA256: 533edb849877aa892682da0a3238aa1a0d6cbdfac779a0b8865a8752c64d8447

Size: 234,568 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.2-1_arm64.deb)
SHA1: 6318bb539ec9ef50568bb1cfb1e9aa1dfc623650
SHA256: 3b419ef92b3ae74d4595b3eee0531d29a978029d1d43575e47f0a4ff587f321e

Size: 4,167,800 bytes

Other checksums

Submissions

xox4wfok
Submitted
Mon, 12 Dec 2022 14:44:50 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1669938285"