Source
z3
Version
4.8.8-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sat, 6 Jun 2020 15:48:06 +0000
Build-Path
/build/z3-yXmFQb/z3-4.8.8

First submitted
Sat, 6 Jun 2020 18:15:38 +0000
SHA1 of .buildinfo
8be13b7c6e76b5c0b463a3f942d54c727d1a4681

Binaries

libz3-4 (libz3-4_4.8.8-1_s390x.deb)
SHA1: cd2b592b30b5f4f0e744eb3bbba83dac706a2499
SHA256: b06ca644129ab6c3533e58fb30faa2e79988951f62b1eda895f4c7964c1183a1

Size: 6,281,344 bytes
libz3-dev (libz3-dev_4.8.8-1_s390x.deb)
SHA1: cb53f6662ff485aaf521e41a42fb73791742a506
SHA256: bff2b85beb6e75fd29af92898374a1176e3d5ca4d8510bb68b83562c1ff3668e

Size: 88,272 bytes
libz3-java (libz3-java_4.8.8-1_s390x.deb)
SHA1: 4f1b81623bd9dbe1fc1c4961f4b8c7181b3d8616
SHA256: fb79e44d34ab4495224d08e371910f822a8d996f83db63c92c9872d85c05b165

Size: 154,216 bytes
libz3-jni (libz3-jni_4.8.8-1_s390x.deb)
SHA1: fd18482f2c232184c9cec049ca1c71a880a5dc67
SHA256: 1cecdd2b3567bf8e6bdc7d071e2117da0968472a51c4aee8d79f96109b737747

Size: 33,040 bytes
python3-z3 (python3-z3_4.8.8-1_s390x.deb)
SHA1: cc8d1cef5f932c192ad636f95e15f7d237f796bf
SHA256: c715e0b38fbf106b09534d1a1a6305074690d780dad65c83c0480834afa34319

Size: 76,712 bytes
z3 (z3_4.8.8-1_s390x.deb)
SHA1: 1a57fc1b1a4694048efba1d7bfdd949e0f1361c1
SHA256: 3082d664d5ae98e9e4acf1557239cc2f8aa3f87835f2a87bfbfcd77a9d0a4979

Size: 6,284,672 bytes

Other checksums

z3-dbgsym_4.8.8-1_s390x.deb
SHA1: de8421980642b0ec4460050e9b7fe951236474e5
Size: 127,108,404 bytes
libz3-jni-dbgsym_4.8.8-1_s390x.deb
SHA1: f00a921006933008f855df3d4046b918ad63d29b
Size: 180,452 bytes
libz3-4-dbgsym_4.8.8-1_s390x.deb
SHA1: 50a77fa9a763436d3b75abe3f95a1c703342b6b2
Size: 125,736,224 bytes

Submissions

Submitted
Sat, 6 Jun 2020 18:15:39 +0000
Signed by
0xB5B68F9C8464675F

Environment


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