cvc4_1.8-2_arm64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 9 Apr 2022 15:26:42 +0000
Build-Path
/build/cvc4-1.8

First submitted
Sat, 9 Apr 2022 19:38:29 +0000
SHA1 of .buildinfo
ffd23063a537148ffde3105930692352e9f0ef9d

Binaries

cvc4 (cvc4_1.8-2_arm64.deb)
SHA1: 73c8ab30536951ac7114c7bf6d212184c5b1c81c
SHA256: 3d56944cfa381805aaab263c25667ace1dcda863044d5cb343d9ff80d7b1d5ad

Size: 76,020 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_arm64.deb)
SHA1: d5d1cdca1c049b53f66d0fa0b4204727f1afa7f8
SHA256: 97588fc9ac6f7eb6d5d7d9a916fa634e5180274cd3b53bc0462c9c3bbe2421eb

Size: 994,532 bytes
libcvc4-7 (libcvc4-7_1.8-2_arm64.deb)
SHA1: 5460325a786463fd0bfe1b39791549a0963fb6fb
SHA256: 83d66a1179057a3f6752e519d723a47b55f8370ce4a7a3ba156e6671adbf0c94

Size: 4,930,104 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_arm64.deb)
SHA1: 784a9433167c632f9497f7e7a4331f4c3c9bbf08
SHA256: dbe176cd762de90f8fd77f030e07c517fde063de323d19d1921b9541a33323e8

Size: 186,106,252 bytes
libcvc4-dev (libcvc4-dev_1.8-2_arm64.deb)
SHA1: dca06cce01371f350fd0d662b947a913f78ef0e7
SHA256: 860d7b9addbc9946aa232a9161b4ffabfb9dfcff2247a151e61e12facdd8b364

Size: 131,268 bytes
libcvc4parser7 (libcvc4parser7_1.8-2_arm64.deb)
SHA1: 468dcd6988f2336bf3b59bd416fa70a0c4620fb6
SHA256: c14e94190e1912160f401eb70083fb69561416ccdb831181cf4468623e11a027

Size: 325,824 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_arm64.deb)
SHA1: ad896451a54b639216728671168e339b6b35d1d1
SHA256: ead4354807a5a6d00ca839d326200bb70cfe15432e24115eecf07f4cd3eb0622

Size: 5,221,652 bytes

Other checksums

Submissions

ticsjcz3
Submitted
Sat, 9 Apr 2022 19:38:29 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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="1600360149"