Source
cvc5
Version
1.0.3-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Tue, 20 Dec 2022 11:57:52 +0000
Build-Path
/build/cvc5-neKZvH/cvc5-1.0.3

First submitted
Tue, 20 Dec 2022 18:10:42 +0000
SHA1 of .buildinfo
c86ab22520ac124ba5ca32a5f21edc4b0cee0fc7

Binaries

cvc5 (cvc5_1.0.3-1_s390x.deb)
SHA1: 4e0bb4f2afa30e9f4ff6772504924382b61b1b88
SHA256: d47f880d084c0d61bafafab5d359d065cf145f85d4235d1201478fcd7ad9f2da

Size: 97,308 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_s390x.deb)
SHA1: f918ceb712cb33f94e9e1c0742d7ec9cc2233237
SHA256: aec2286e948bcc05b738ac45094e7563be5176c091bde57dcee847ce37d98de5

Size: 2,524,312 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_s390x.deb)
SHA1: 3f57c1a5190cc2e5787008a9d64db939b74327a5
SHA256: 6c0753209a505951be48a417e334806da2523b3567b305e71506bd1697c50ff2

Size: 5,099,564 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_s390x.deb)
SHA1: 65d0bb8eaa4fbd101938340e6bd9bac63019c589
SHA256: 1ffc6c3e32ec630f2f578fe35d3ee84a459ef8e5f28f6921d097a4f48755cbc7

Size: 166,828,940 bytes
libcvc5-dev (libcvc5-dev_1.0.3-1_s390x.deb)
SHA1: 5232acedc806878eab7cf8f8bfbbf1461e1c1795
SHA256: bc80104f2ff3d0e3e33266784196ed8b1c3279cb310d54d602d8ee797e3893b1

Size: 58,580 bytes
libcvc5parser1 (libcvc5parser1_1.0.3-1_s390x.deb)
SHA1: c5d9b76d5ccc9ca6c1a687edce528166b467aaef
SHA256: be385d9fa9b895762be63a8cfeee870cbab3fb7156f9c116cb293fe21fe98fde

Size: 271,212 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_s390x.deb)
SHA1: 6bed5c9d9d3020271e9061b25055334010e76965
SHA256: 560a7b1963f02280e6c44e67bdc0383e105774b362b734fdd136a6c37d11376a

Size: 4,911,136 bytes

Other checksums

Submissions

Submitted
Tue, 20 Dec 2022 18:10:42 +0000
Signed by
0x150D4418DDF133A4

Environment


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