Source
z3
Version
4.8.7-3
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sun, 12 Jan 2020 16:40:31 +0000
Build-Path
/build/z3-UsMsHx/z3-4.8.7

First submitted
Sun, 12 Jan 2020 19:14:47 +0000
SHA1 of .buildinfo
907e0d4dfb60ddc2f764cf7ef0576b5c5c1a4915

Binaries

libz3-4 (libz3-4_4.8.7-3_s390x.deb)
SHA1: b231d8fc4be5da348653a926921a1ef4542fafe7
SHA256: d0067756bf2231bbde9eaac4b9c48820eb14f108d6fd863a28aca1019cc87954

Size: 5,846,980 bytes
libz3-dev (libz3-dev_4.8.7-3_s390x.deb)
SHA1: 744c28cb1b8e9964a9924d6a8ca63bd7218e74c9
SHA256: 161827f7c147e73f4b53d3889db4b0ec33d9ad60b2c5f6555b7ac3e8e6858af9

Size: 87,244 bytes
libz3-java (libz3-java_4.8.7-3_s390x.deb)
SHA1: 922eaf93f2250c5255714642a155a0e01cf61c08
SHA256: 562340d77f388aba14866e602c42550ff8f4135acf398bd439ff2da1ba36b3fa

Size: 153,740 bytes
libz3-jni (libz3-jni_4.8.7-3_s390x.deb)
SHA1: ebfff767a41854f176f3871082979456d05d6ffb
SHA256: b5785b1a701fcb149f1bdcc8c784a4348fecfe1499b1e58c7066d31fba398c3f

Size: 33,040 bytes
python3-z3 (python3-z3_4.8.7-3_s390x.deb)
SHA1: 6599c171a3f24492b7a81649edc214136392f2c9
SHA256: a583fb744bc378c0a28e486058c4865a8d70a27d459be0b490ab8fdaf6c364ce

Size: 76,532 bytes
z3 (z3_4.8.7-3_s390x.deb)
SHA1: 7cb6626d01d89afdc40f2612d9d4fa439627e65a
SHA256: 0ac8d8955939bdb64711c52e0b7c9c92725109b961df47672f5b02a15ff26efc

Size: 5,854,672 bytes

Other checksums

z3-dbgsym_4.8.7-3_s390x.deb
SHA1: bd6ea6e75e38de2ae28ba782295a5889ed2a33e7
Size: 116,803,304 bytes
libz3-jni-dbgsym_4.8.7-3_s390x.deb
SHA1: 876f7b2d022589d069e5250d30580a690c13cd53
Size: 180,268 bytes
libz3-4-dbgsym_4.8.7-3_s390x.deb
SHA1: 5ddb6042c8b08d98642cc703f500f7a7cbd1d3c3
Size: 115,473,744 bytes

Submissions

Submitted
Sun, 12 Jan 2020 19:14:48 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


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