Source
z3
Version
4.8.12-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sat, 11 Sep 2021 17:21:26 +0000
Build-Path
/build/z3-2FPOoE/z3-4.8.12

First submitted
Sat, 11 Sep 2021 18:15:11 +0000
SHA1 of .buildinfo
0fd90da312f40fea0a3b2477167da9deae38374a

Binaries

libz3-4 (libz3-4_4.8.12-1_s390x.deb)
SHA1: 0287758ce9fd7f1b51212ca5096a7d67da3a6114
SHA256: 731dc2574512355d7408be4f81c42706cf32adb7a1d35e0bb8a94731b3fcd4a4

Size: 6,298,508 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1_s390x.deb)
SHA1: 6c3dcdc9854be4f01070af39477d35f0cd193758
SHA256: 5b1c58453f77068fc16e837291f54da81ed3fada14abe4d99a811902ac9302ab

Size: 139,007,168 bytes
libz3-dev (libz3-dev_4.8.12-1_s390x.deb)
SHA1: 9408d1a7f3999ae05e7fcab462da022fa6db9684
SHA256: 234429d7ebb33e219091fe08779d4529de122a44e78ccbb6b520889fb916c16b

Size: 91,852 bytes
libz3-java (libz3-java_4.8.12-1_s390x.deb)
SHA1: 42ff730d80eb5da06e5a08bf31f3eef93dd154a2
SHA256: f08f812765b5d5fedb884abd574f0d5e89412775500818b24e8ffc73a6f283e8

Size: 159,952 bytes
libz3-jni (libz3-jni_4.8.12-1_s390x.deb)
SHA1: 7606ab728836d7ac5e012a74d354b9f618d11600
SHA256: 397e11c2c40986005b368c08f32f5501675ed4b47a2eb11807bd9266de9317be

Size: 33,076 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1_s390x.deb)
SHA1: 86fda5d8b9a8b063baccfda8b93b498c935ee29c
SHA256: 80ecac22ba62ba96461b07ac6304627e243b92e93b69d534b447661ba6c2cfa3

Size: 181,208 bytes
python3-z3 (python3-z3_4.8.12-1_s390x.deb)
SHA1: 078d71b72dc576a730e9da1c326645627bf53410
SHA256: ea8284b260dbbb77a285665d1eae302e139b0ce47fb0ef04f1bce14da9b4d34c

Size: 78,336 bytes
z3 (z3_4.8.12-1_s390x.deb)
SHA1: 41a29709e9573b6c01e422d421efa977e3d17085
SHA256: 77ae06f09dce058fa29e06391511223be55e39f049e4dd601da724d6067b8bf9

Size: 6,309,972 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1_s390x.deb)
SHA1: 1d453a040d23e119b68bdb731dd99f5be1e64579
SHA256: 02f19b8a666f5e2e42acbcee1e6df951efa4cf3dbf96212f50db219b7b23911d

Size: 140,650,296 bytes

Other checksums

Submissions

Submitted
Sat, 11 Sep 2021 18:15:11 +0000
Signed by
0xB7B65B17F4F240AE

Environment


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