Source
z3
Version
4.8.6-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 11 Oct 2019 01:50:32 +0000
Build-Path
/build/z3-U3b255/z3-4.8.6

First submitted
Fri, 11 Oct 2019 06:13:38 +0000
SHA1 of .buildinfo
5f306eb2cdd0e507aeaeda06844ce1e9f20ebede

Binaries

libz3-4 (libz3-4_4.8.6-1_s390x.deb)
SHA1: 602251e7a4f55201fe4cdffa78480f53e9e515f2
SHA256: b8465bbe8bb802146651e242220b017c1d34b1d4a1152c16f0bd6bf7e6a87300

Size: 5,928,392 bytes
libz3-dev (libz3-dev_4.8.6-1_s390x.deb)
SHA1: a15f57d06cc8843770048a75ca8bf2833746659f
SHA256: ff5b49dc2d7a43443afcd56783deeb25555400317794efd90466a07612a06ca9

Size: 85,684 bytes
libz3-java (libz3-java_4.8.6-1_s390x.deb)
SHA1: 488d0633e9ed993c997e00674e1b02caa4c403ab
SHA256: 2a83d28c31c30ebe6c88f20a3b321150cef4d49b897acfa4d3c46abed7c20d5a

Size: 153,568 bytes
libz3-jni (libz3-jni_4.8.6-1_s390x.deb)
SHA1: 54d1db387c93d9e8137e43ea4c21e90926925d12
SHA256: d4760077469335b604ca189b99d09385d52de7de30152771f0f6b71ab1cf3356

Size: 32,792 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-1_s390x.deb)
SHA1: 0db50905678e4afe82436d5fd3a763e50ee9eadf
SHA256: e7508c6687c4409ed6dd3b1ad38b8505f81d32f56cfbe6824b73c55c4b1a4127

Size: 452,112 bytes
python3-z3 (python3-z3_4.8.6-1_s390x.deb)
SHA1: 53649d0d36da36d4c497c7ebab61009de7032532
SHA256: 9a7d9eef906d7b7adfec5bbaeb1c16b4065d3826063bfc37493a6024572362d6

Size: 76,380 bytes
z3 (z3_4.8.6-1_s390x.deb)
SHA1: ec7758718da42e8ceb7e1a2f0d5f83b697396a99
SHA256: 6e851c9632094951b41ed71e5617b36d67542594174363ce4e086b50ac8b10a5

Size: 6,046,268 bytes

Other checksums

z3-dbgsym_4.8.6-1_s390x.deb
SHA1: c22d0f40a59e94375c164ac8b053e3434d8a0cad
Size: 109,908,576 bytes
libz3-ocaml-dev-dbgsym_4.8.6-1_s390x.deb
SHA1: c763ac5e56c5c7e3914f79fca42cb8dc6bbc0ddb
Size: 363,548 bytes
libz3-jni-dbgsym_4.8.6-1_s390x.deb
SHA1: 782b4dda27b774f5c27d7080bfe0aebfd5477542
Size: 180,080 bytes
libz3-4-dbgsym_4.8.6-1_s390x.deb
SHA1: e488c57f6df373b2b6eb21bac826b7ff7ca574a6
Size: 106,822,228 bytes

Submissions

Submitted
Fri, 11 Oct 2019 06:13:38 +0000
Signed by
0x562DFFD360A9BA42

Environment


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