Source
cvc4
Version
1.8-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 10 Apr 2023 18:45:46 +0000
Build-Path
/build/cvc4-1.8

First submitted
Tue, 8 Mar 2022 14:34:43 +0000
SHA1 of .buildinfo
2b02c1bed59f653ce511cc414774a0a35bf3f467

Binaries

cvc4 (cvc4_1.8-2_arm64.deb)
SHA1: c2ccd88e4c24a9ae447a2e9e6472c3cc264a2814
SHA256: fb82bdcb23d4a3a90170d99ada6c5e526271e8803754f45b338a6bdaa2dfce36

Size: 76,064 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_arm64.deb)
SHA1: 003c24947c9f506fc35cc3ea0f11858f3c752ca3
SHA256: b9d09c4cddcd44d15c3b00e5d1c63fb0fef3cfb2e9117064e67f43650864f1d6

Size: 994,612 bytes
libcvc4-7 (libcvc4-7_1.8-2_arm64.deb)
SHA1: 507ca51254e0583abf3c9261d00cf66e4e8cb823
SHA256: c466fc79179fe663f0de7012753caa63ce6c873c561395d036d4808dc6a64746

Size: 4,939,204 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_arm64.deb)
SHA1: 4d8b1f98542e54ea8e267f0dedf6fa3fc77407b4
SHA256: 3b23d642dd023e0d6b067d475fab525e182b188802c8280017dcfbd4928690a6

Size: 186,194,740 bytes
libcvc4-dev (libcvc4-dev_1.8-2_arm64.deb)
SHA1: 9f0bd18e1034d66223fc702ce78ec5695cc29e98
SHA256: 8c22ec9bdf90be7c801195352dd490272cd1517a52b3d35c39350f50bf85b555

Size: 131,272 bytes
libcvc4parser7 (libcvc4parser7_1.8-2_arm64.deb)
SHA1: 7be58778243ee9b221142e3a67fde69c2cfc669d
SHA256: 9b269e7c3432190f59edab8828f1c69dabb980db8be75d7494c91a481a8a8198

Size: 325,516 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_arm64.deb)
SHA1: f01b8471c75e75f2ad5cf28aa68d64d95d6c7469
SHA256: 496075a65aee19aa70f99430d667412167648a0cdbee1684e629bd7460fed39b

Size: 5,221,892 bytes

Other checksums

Submissions

Submitted
Tue, 8 Mar 2022 14:34:44 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"