cvc4_1.8-2_arm64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 18 Sep 2020 02:21:46 +0000
Build-Path
/build/cvc4-2ep6L8/cvc4-1.8

First submitted
Fri, 18 Sep 2020 06:12:04 +0000
SHA1 of .buildinfo
05cda7c8984be9aa34ff6f68ad8e5de8794bbd04

Binaries

cvc4 (cvc4_1.8-2_arm64.deb)
SHA1: d9fbd2fa6e0bc6f1cc485a0755c827c706a74988
SHA256: 08dbf9c7aec427fc5313f7294a621a78bcaa1c812b248770459814d29b55d579

Size: 76,064 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_arm64.deb)
SHA1: 3fe95f794b9e76f3dfcfb68e9bf57d5644c6d358
SHA256: 0b63125509fa662dc2193d61636a74b3b964a06828a0c3e3d1dbabd53cc4a5e7

Size: 980,928 bytes
libcvc4-7 (libcvc4-7_1.8-2_arm64.deb)
SHA1: 51b31f8d94cb3e7336f3474d359c68fc0dcda04e
SHA256: 6be271166a047c62363d97270b9f5500bcf291a545eed9b6ef43f448e06253a4

Size: 4,783,836 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_arm64.deb)
SHA1: 556534e834550ee7034d2de3ef5add96104a7498
SHA256: 3318db121f1f6d1477030d88e5badb2245c3d1f3c764a8cceb02e681660403aa

Size: 183,356,092 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: a82043cde4271a9dd8cb45f1efb69b3f0042470a
SHA256: c55da8a10e16a6cc8417148f70e257fba0981905586517de99530060f6a6cf83

Size: 328,200 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_arm64.deb)
SHA1: 8a88d906626ffce7bce0c33b4dcbb4a0e41aa70b
SHA256: af804b9506c220bf0cf42d5353fb2fba84ca371df9d59ff8058c41346c9bdb73

Size: 5,058,756 bytes

Other checksums

Submissions

xtwr7iqr
Submitted
Fri, 18 Sep 2020 06:12:04 +0000
Signed by
0x2165CA1F09D15FF0

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1600360149"