Source
cvc5
Version
1.0.5-2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 23 Jun 2023 19:22:19 +0000
Build-Path
/build/cvc5-3xgSFX/cvc5-1.0.5

First submitted
Sat, 24 Jun 2023 00:13:47 +0000
SHA1 of .buildinfo
59b6ddf4da5f47683d03fb6e653b8aa04d094d87

Binaries

cvc5 (cvc5_1.0.5-2_s390x.deb)
SHA1: a84e8d061c6238db955b57e07f63aac82ab5bc89
SHA256: 94f149f1cd46a3b4dae72272d1a10059e441407429ca3ffc173ae1fd3961df4c

Size: 91,868 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.5-2_s390x.deb)
SHA1: 00292fba170d04f9bb9cd5742fe51572ce015935
SHA256: 2e8a8af4c64ccda8f78f6ee4af4343133fbe84d35768978ac56c66998b61920d

Size: 1,809,752 bytes
libcvc5-1 (libcvc5-1_1.0.5-2_s390x.deb)
SHA1: 234a9bf3ee3d4b6060e6cd52aba7c633033815c0
SHA256: 5dda0361023d9c2640c4cfbf53664477e433b9745f305e4b5f9343b100a7b36e

Size: 5,152,836 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.5-2_s390x.deb)
SHA1: 2bf23d845114fd9bbbe1d255790bfb5d9362d457
SHA256: 6dad35929b13f46064307d904a0823e6622aafb6c7f2eeeef5eae661ffd40d27

Size: 168,019,908 bytes
libcvc5-dev (libcvc5-dev_1.0.5-2_s390x.deb)
SHA1: 8fb9ac1687586a500464cb32554f1f0fbbc45787
SHA256: 1af8efa6a066a0c129bd24e4b5fc5bbd17fb0f45945cdb9fd75205db164431e2

Size: 60,616 bytes
libcvc5parser1 (libcvc5parser1_1.0.5-2_s390x.deb)
SHA1: c6022fa6b05949550f32cd831c18f2ae43333184
SHA256: f707b2938363697f935eb161b321a5ad4e973082d8efbbd67ac73f73c335fa64

Size: 320,328 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.5-2_s390x.deb)
SHA1: 0e578f5bdd07e17e90cb68554df55ef7b20b8ee7
SHA256: ecd5a3539e74dbbab2cc74cd5bb333165f562c6d3ff59558573c2f07eadcbbdd

Size: 6,021,808 bytes
python3-cvc5 (python3-cvc5_1.0.5-2_s390x.deb)
SHA1: 97cda448c1ddbbe0baf07cd3b016cba893a336b7
SHA256: 33d97010d1835ebbb864e4483335de5d932e7c68324877281c038d87df9a79eb

Size: 204,940 bytes
python3-cvc5-dbgsym (python3-cvc5-dbgsym_1.0.5-2_s390x.deb)
SHA1: 3db556b395213b8a12922bab15494b2a9c63b397
SHA256: 4233e129e569bb4b593d151a6cc69cd6c200ab3e1855ce400c408e00479d68a6

Size: 1,996,140 bytes

Other checksums

Submissions

Submitted
Sat, 24 Jun 2023 00:13:47 +0000
Signed by
0x5E6C03B7704A09D2

Environment


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