cvc5_1.0.2-2_s390x.buildinfo (view)

Source
cvc5
Version
1.0.2-2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Tue, 20 Dec 2022 02:18:16 +0000
Build-Path
/build/cvc5-kuM5B3/cvc5-1.0.2

First submitted
Tue, 20 Dec 2022 06:27:11 +0000
SHA1 of .buildinfo
4b2b3d73e0990087f03f9723cb45afa8830e626c

Binaries

cvc5 (cvc5_1.0.2-2_s390x.deb)
SHA1: e13b7c977deadaffea0f1cf20a37f5c10fc8ba19
SHA256: 8b7162b776f08ce4a705864ce97e9601a064f1f7bb6b115ce72f157e9c1437fe

Size: 96,220 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.2-2_s390x.deb)
SHA1: 37efdffa50b0eb3ec26aeb460a75d140fa7c905a
SHA256: 0a63219edd8c85e30a3d3e14a9607b17373ce3ffb999f03d08cbbfa6880a324b

Size: 2,521,436 bytes
libcvc5-1 (libcvc5-1_1.0.2-2_s390x.deb)
SHA1: 3952b4d8a333580a55694871dffa7426b25f06f7
SHA256: 777e69e0609f295b6d662f6314b3d7bf407f4b132e7d84fc6d758af043e126bd

Size: 5,126,232 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.2-2_s390x.deb)
SHA1: 9f42244e45011bacfb13e6f1d832829c4759c622
SHA256: 43adad87d0d282499e3e228775d92a770fd26684673946d88e22e62a0be8e0c9

Size: 164,029,604 bytes
libcvc5-dev (libcvc5-dev_1.0.2-2_s390x.deb)
SHA1: 51507e7103cfbcc8bde9d0e9b70b1fa4ef4a5021
SHA256: aeb699f7e9ca832832b2ff0115a28c36ff9cdaecef5bf6aee11e406aa62dec9c

Size: 57,848 bytes
libcvc5parser1 (libcvc5parser1_1.0.2-2_s390x.deb)
SHA1: 6426d6da4e927baef6ba4d95b28f4295ec903b59
SHA256: 0cb5d19545b3cfe3fe61ee8b07f2e2380825fe855118590d0b58e143d81bdc53

Size: 234,428 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.2-2_s390x.deb)
SHA1: a3317d82cc4a06b50a7bcea4bfc2f476cd0a0977
SHA256: f512ccd60feb2ab3461e1a1fe6d7559105ec02f1b6a926761372eb27aff8730e

Size: 4,196,288 bytes

Other checksums

Submissions

jxtsisuj
Submitted
Tue, 20 Dec 2022 06:27:11 +0000
Signed by
0x150D4418DDF133A4

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1671314202"