cvc4_1.8-2_arm64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 12 Dec 2021 13:14:44 +0000
Build-Path
/build/cvc4-1.8

First submitted
Sun, 12 Dec 2021 17:34:00 +0000
SHA1 of .buildinfo
c0e49411f42f921fabdb65ed694bfb79e53911c0

Binaries

cvc4 (cvc4_1.8-2_arm64.deb)
SHA1: 3673fdff66088e499baf4a401868245d4c795954
SHA256: 86d916f20cce70b731acab79b87df7d50e323e0808efe65bfdf60a276622a1c9

Size: 76,388 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_arm64.deb)
SHA1: 888aa459b2a78f6f5d6ccbcfd9dcf29c0994ef83
SHA256: af0f5f8d15a1b261112286acf6d6049ff7b7887f9b5aaa1c2099fee932b4d105

Size: 994,136 bytes
libcvc4-7 (libcvc4-7_1.8-2_arm64.deb)
SHA1: f51710fb932a88ae37aa2205c0e798a7cc5497dd
SHA256: a2bad971467e4f363a3aa02df1dd04b89836a3c06fe45b330cbf7e0b9a835d60

Size: 4,936,524 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_arm64.deb)
SHA1: 15b1875a5d2552e1a7dd33501b2a079963876dda
SHA256: ca4bc151cfcce5ac544abebe6fbb10f8128b4266a39ed24956181392dbc725e6

Size: 186,191,604 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: c8889fb432fa8b47c2e13b8eb60a1205e3869d62
SHA256: 63dda23353eeab8d26b4d9d42d341173b7b581365f5e2aab86c55148c2f3f54a

Size: 325,736 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_arm64.deb)
SHA1: d76bb7d0903ae9572d18103194d1d64e779833d6
SHA256: e83269ceef161405817e580cb9f33c7d676e6552829977fc6c968287479fb093

Size: 5,221,356 bytes

Other checksums

Submissions

t4tajw7o
Submitted
Sun, 12 Dec 2021 17:34:01 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-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"