cvc5_1.0.2-1_s390x.buildinfo (view)

Source
cvc5
Version
1.0.2-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sun, 11 Dec 2022 03:49:31 +0000
Build-Path
/build/cvc5-tiUGiq/cvc5-1.0.2

First submitted
Sun, 11 Dec 2022 06:34:06 +0000
SHA1 of .buildinfo
ca3588c2049a975018aed3604a4498aa12b7933e

Binaries

cvc5 (cvc5_1.0.2-1_s390x.deb)
SHA1: 9e3406297837891e5a5715bb8d432d74107d10f1
SHA256: f0894dce768cf1f97d17d0cf248cec40e873f4dbe8c3c59178cd112ea009daa4

Size: 96,936 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.2-1_s390x.deb)
SHA1: d31326a0102eb45ac3eb954af9383738382128d3
SHA256: 033c7b601423a6634072ce14981d5b85a72e81b3766e39456e597d76cdaebe30

Size: 2,521,636 bytes
libcvc5-1 (libcvc5-1_1.0.2-1_s390x.deb)
SHA1: 3196e0e16a43606dd8e4eb621ee38075dcff683a
SHA256: 3ce220c92dff9ff256c478362cb8a351568a09e531005a0057f4e4997f417d5b

Size: 5,126,296 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.2-1_s390x.deb)
SHA1: a2c66e280afd22366ac60717cbd7e14f06771410
SHA256: 4024d02d88724272f4dac7e8f7e3fd3eca69e747939f7b736a7134ad269fbb07

Size: 164,025,408 bytes
libcvc5-dev (libcvc5-dev_1.0.2-1_s390x.deb)
SHA1: c28260f1cd739ccbfc700bfb5eac2b42dcc8c874
SHA256: 1e700bc8436f172d5dc00aa8399b2ee05d5e9d6fcded700ecae4f9cc3a153de4

Size: 57,800 bytes
libcvc5parser1 (libcvc5parser1_1.0.2-1_s390x.deb)
SHA1: ed312914c358647af575f57c598375d4607bbd8b
SHA256: 768908ea0b0a9c8ee04e03bb0e15d5a2fad3da75efb371dbb6364420a71b235c

Size: 234,524 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.2-1_s390x.deb)
SHA1: 93077cd8d7bf3e1adc0cddad0e4d07e2b8e18ef4
SHA256: 3b128fe65bdd2ef5a9c17f16e09e887b1e8dc19c2bda56e7e83d7b1457c41991

Size: 4,196,064 bytes

Other checksums

Submissions

vycgwwou
Submitted
Sun, 11 Dec 2022 06:34:07 +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="1669938285"