Source
z3 (4.8.12-1)
Version
4.8.12-1+b1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Thu, 16 Sep 2021 22:44:49 +0000
Build-Path
/build/z3-iL3mqz/z3-4.8.12

First submitted
Fri, 17 Sep 2021 00:16:12 +0000
SHA1 of .buildinfo
e485731d61de5ba5019d92bd09bd48c93c989e27

Binaries

libz3-4 (libz3-4_4.8.12-1+b1_s390x.deb)
SHA1: 9dc3a1bfb3d5382a7ac39d64d7a42d279f0e370b
SHA256: 4b70e574426651f33c5b246c71bc73506c2a8bdc1d4677a6020897f79c27d654

Size: 6,297,404 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1+b1_s390x.deb)
SHA1: e3bd37b5a353ad298768f422b3f73ae1797d0e77
SHA256: b8e72989cf86758ecfdb24859a4507d5c146b6ab5e236cba3b415c1a1ce41349

Size: 139,007,048 bytes
libz3-dev (libz3-dev_4.8.12-1+b1_s390x.deb)
SHA1: ffb94476bb02cba5c0c4488b0ae67e07b53cb4ab
SHA256: bc37e39063dbecbdfcd3019459df376ac686dda444e806a64f5d2b8f47bf80b7

Size: 92,128 bytes
libz3-java (libz3-java_4.8.12-1+b1_s390x.deb)
SHA1: 5d141386243bc2ce94231e7f4411c1a686832a7f
SHA256: f467a2bab2189417efcd3a621fd54d61ede3448e88af8e27a26e240d5247a87b

Size: 159,996 bytes
libz3-jni (libz3-jni_4.8.12-1+b1_s390x.deb)
SHA1: 99ce1462cefef49c907064c6c064f5278c078a67
SHA256: 68d2c7ab42c844457c7cbe0fef1b0c33123159654e9c510a6dd28d81a95c9488

Size: 33,340 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1+b1_s390x.deb)
SHA1: 0b11a2cf8f50445c9fbee8b76ce2928843d9cced
SHA256: 2b233e58ebacedaa251cbcab0cf74a11c835807ac6891bb007e50a1701f87529

Size: 181,232 bytes
python3-z3 (python3-z3_4.8.12-1+b1_s390x.deb)
SHA1: 8f2dc6d50b9d8ffb92af635827660f14d0b16ddf
SHA256: a84a28f5c6db7707bf7f534dd62d27ddbe3cd521fa3508743acec803ffd0d528

Size: 78,324 bytes
z3 (z3_4.8.12-1+b1_s390x.deb)
SHA1: 3d3dc46d8ba31093f67a661207af85e5f2c0c536
SHA256: e628330482e4dd4de708ccdf3473afc22a90b3dc72540de405b13c70c7126580

Size: 6,309,908 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1+b1_s390x.deb)
SHA1: 0a5a8ff7582689f0bd3e579fd65347a4c82391cf
SHA256: ae51287ddafe9797173f6c991f4c926ecf286dcbeba88389477a2280fd42dfe1

Size: 140,651,128 bytes

Other checksums

Submissions

Submitted
Fri, 17 Sep 2021 00:16:13 +0000
Signed by
0xB7B65B17F4F240AE

Environment


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