Source
z3
Version
4.8.7-4
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Tue, 14 Jan 2020 02:06:26 +0000
Build-Path
/build/z3-KLZnVv/z3-4.8.7

First submitted
Tue, 14 Jan 2020 06:19:26 +0000
SHA1 of .buildinfo
c581f045c319cf0cf416cd736507868d24232f57

Binaries

libz3-4 (libz3-4_4.8.7-4_s390x.deb)
SHA1: ed55461ff335d685e8ded89894e12e55d5eaf0ab
SHA256: 75b59c775353fe8a673e9dd7751f103bea149cd226c4061f44a2220ff6d58d96

Size: 5,847,760 bytes
libz3-dev (libz3-dev_4.8.7-4_s390x.deb)
SHA1: b5d80110dd6e48599ccf2ed1d95a5df2766ba65b
SHA256: e3251d0391403d04e359e9b6cc68b2213643d7fb7ed09656bcf7987f02cd9c60

Size: 87,312 bytes
libz3-java (libz3-java_4.8.7-4_s390x.deb)
SHA1: 1a25a2f24c6be605483202223ea905a260ccbfc0
SHA256: b9d0b6bbf6e56feda32785ae2639ed487f694316887cba0339fd26d994bb42bf

Size: 153,736 bytes
libz3-jni (libz3-jni_4.8.7-4_s390x.deb)
SHA1: f81dbd2fff10d3586016ba236a3f9c9b4b7548b8
SHA256: 15e7d05cf7198c5d46b5b9e056ca8bd65f078c59d1bbdcac024222e9e5cbd091

Size: 32,840 bytes
python3-z3 (python3-z3_4.8.7-4_s390x.deb)
SHA1: 729f587537ae07e145ab5122c80a7e8793a8596e
SHA256: ddbe79cd16df7fd482175d97815e95210ad0cb92994d69dc08e773863655b0ef

Size: 76,520 bytes
z3 (z3_4.8.7-4_s390x.deb)
SHA1: 1640bd315645e250773fd44d9cd3939cce382782
SHA256: f0924f4153956d991c235c9d75e06b7502ca192378199b1bb9f0f365a160622f

Size: 5,855,720 bytes

Other checksums

z3-dbgsym_4.8.7-4_s390x.deb
SHA1: 982ff38c9ad027dbf5389ec769956670d3879c3f
Size: 116,797,260 bytes
libz3-jni-dbgsym_4.8.7-4_s390x.deb
SHA1: af79e535a59c9527aea9cba5d1dc9003b213002e
Size: 180,260 bytes
libz3-4-dbgsym_4.8.7-4_s390x.deb
SHA1: 5b80eb8b1829a653c862b275428caf7d998fd75c
Size: 115,473,396 bytes

Submissions

Submitted
Tue, 14 Jan 2020 06:19:27 +0000
Signed by
0xB5B68F9C8464675F

Environment


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