cvc4_1.8-2_arm64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 24 Jul 2021 11:35:56 +0000
Build-Path
/build/1st/cvc4-1.8

First submitted
Sat, 24 Jul 2021 14:33:00 +0000
SHA1 of .buildinfo
992315b6b673ce2d56afac9f220c64015bad2e06

Binaries

cvc4 (cvc4_1.8-2_arm64.deb)
SHA1: b0301b6d26a47ebf7187611e30faf14d6cacc752
SHA256: 27cabd6c9896bd67e3829f067344816c7b600081a299aa96cbe95cabbeacb678

Size: 76,096 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_arm64.deb)
SHA1: e6d7dec2f0be6407b3abf6270cc3d926fc6c7dce
SHA256: 3f65378ed285708b435e22a59841acdd835bba4b046ec4608d09c5fff8a241d1

Size: 981,792 bytes
libcvc4-7 (libcvc4-7_1.8-2_arm64.deb)
SHA1: 307fb31c473613068e00f938ec4ccdfa65c969e0
SHA256: 41de4ea46f203b7b7bd212ba93e471a42c0c58115d8ee71e3facabe13b0098f1

Size: 4,778,232 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_arm64.deb)
SHA1: 626b5c39a5e50162a0f83d4d03a06a86808169dc
SHA256: 92516c6ccb60cb036496d45a95248b0faeb024e9dcc467e6fc1cad3f5cc1e7ff

Size: 183,315,584 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: dc3819bf7433c002118b81adbba9fffc55b010e0
SHA256: 345053aa98739cbab24ca7bcae662f9d0d5439f28b4533d9fa749cf9008bcb6c

Size: 326,764 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_arm64.deb)
SHA1: ea8d698152f763c22d93f8420ea78834106ad57e
SHA256: f9d67fdc83b59c1ee949482fc8607ff76f6c7dab1b1371619e529c09ecd604f7

Size: 5,055,432 bytes

Other checksums

Submissions

kjmazhfa
Submitted
Sat, 24 Jul 2021 14:33:00 +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"