Source
z3
Version
4.4.1-1~deb9u1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sun, 25 Aug 2019 16:53:35 +0000
Build-Path
/build/z3-qyjOaC/z3-4.4.1

First submitted
Sun, 25 Aug 2019 20:01:12 +0000
SHA1 of .buildinfo
fa03a026a0c10042aea3644b3aa3b8ca6634ce3e

Binaries

libz3-4 (libz3-4_4.4.1-1~deb9u1_s390x.deb)
SHA1: e99fa25edbbd89138584a753390f9c913ffc7ff6
SHA256: 67d0c4e82f3ee33b5f09701c232def9629163088749b4ebcacac7204de253ac3

Size: 4,692,286 bytes
libz3-cil (libz3-cil_4.4.1-1~deb9u1_s390x.deb)
SHA1: 15f6eb781e0a1970b52f6e0e1647f1692328e32f
SHA256: 037731e2e23cb8d98c2854a42da2c845aac32dabfd7612fbd076d8f925164843

Size: 40,596 bytes
libz3-dev (libz3-dev_4.4.1-1~deb9u1_s390x.deb)
SHA1: 8f2356a947b4a4caf920a92b6e1b7195ffd7d93f
SHA256: 2e7db80e29ef0249c6680175b24a5e6e7fd3f7a853a23b92f97fbba7dd6fd95d

Size: 79,640 bytes
libz3-java (libz3-java_4.4.1-1~deb9u1_s390x.deb)
SHA1: 8a8c516002c048a0e1efe1480d8698ed7c72ee04
SHA256: 2ad7c8235016caf9b025ffa712716e5bac598acab81fb881156d7f30b02d0f90

Size: 143,460 bytes
libz3-jni (libz3-jni_4.4.1-1~deb9u1_s390x.deb)
SHA1: 2ec146f3db8f43b0963b77ae8b474e0614383500
SHA256: 453894cc0099adddea008ef0a71c9657106be28d0154a82c8bd7efd505942f0b

Size: 31,808 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-1~deb9u1_s390x.deb)
SHA1: db1a25b3409d5f0f163ebb52cb31bb229ff2e45e
SHA256: 9c9429dd33db5a1a191dd1e0edfdc6768337d82b3c80a9b3298bd8c57979abd2

Size: 340,414 bytes
python-z3 (python-z3_4.4.1-1~deb9u1_s390x.deb)
SHA1: f251f497a421302e83c282a376b0154b73aa9ac7
SHA256: a1a643d48d87bdb307e45b0835337d91750d93c172c885f83fbf6472e506562c

Size: 66,930 bytes
z3 (z3_4.4.1-1~deb9u1_s390x.deb)
SHA1: 796c41723ebc447851b5eba16fee60f2f06a1f9c
SHA256: 2d28c8ec1284818faad0c700681316a1842733c10b404296a43f52ca005dc665

Size: 4,707,858 bytes

Other checksums

z3-dbgsym_4.4.1-1~deb9u1_s390x.deb
SHA1: a3b18634c93ce069d06992eeab9352d6a4dc33e7
Size: 81,236,618 bytes
libz3-ocaml-dev-dbgsym_4.4.1-1~deb9u1_s390x.deb
SHA1: d6e4eb089358b17a1acbdc485a84b65917e5a0f0
Size: 190,912 bytes
libz3-jni-dbgsym_4.4.1-1~deb9u1_s390x.deb
SHA1: 2ef6248125d2e1a9626beeeaa5ee5408388b191d
Size: 146,028 bytes
libz3-4-dbgsym_4.4.1-1~deb9u1_s390x.deb
SHA1: 6edfa1598d75e352d657f270cd19dfe554ed77d0
Size: 80,711,718 bytes

Submissions

Submitted
Sun, 25 Aug 2019 20:01:13 +0000
Signed by
0x562DFFD360A9BA42

Environment


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