Source
z3
Version
4.4.1-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sat, 17 Aug 2019 13:55:50 +0000
Build-Path
/build/z3-euWWsK/z3-4.4.1

First submitted
Sat, 17 Aug 2019 19:36:45 +0000
SHA1 of .buildinfo
8fdb798b7c052394e8be025e7abf0c28084234fa

Binaries

libz3-4 (libz3-4_4.4.1-1_s390x.deb)
SHA1: 9a37b4af3a78763be68b11353b844a8bbfbf8ee7
SHA256: c71f0579c770e90f16026e5747e772dbcd283b8e737bc20605478646dd83c7c7

Size: 4,500,924 bytes
libz3-cil (libz3-cil_4.4.1-1_s390x.deb)
SHA1: c7b213972e51429993f1ab1a3271fca7705eba22
SHA256: a104fd512bd026e4b95b50ed123fa004458f375429e3abe25bc8a86a976c4eb4

Size: 40,664 bytes
libz3-dev (libz3-dev_4.4.1-1_s390x.deb)
SHA1: f17bf8c39bac5865c8b7da589cfc5230bc18f1e4
SHA256: 4c196a5806608928f674c24d572153ce4a139a50a45a0590d6f8f0d63922c6b1

Size: 79,580 bytes
libz3-java (libz3-java_4.4.1-1_s390x.deb)
SHA1: d5cc6b4f89b9bc7a858577195f46efcb50d78a78
SHA256: 194c98b44cb0fa9caa716165547dd88d431c178bfb903f703a2bb902768d532c

Size: 146,388 bytes
libz3-jni (libz3-jni_4.4.1-1_s390x.deb)
SHA1: e46b6140ce7ef3886564bdef02807ad629d929c2
SHA256: 1a4efbe94512de6358f4500ba6d7fe5699afc64e9bfa0c6a7ba5de86c5ee97ee

Size: 32,368 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-1_s390x.deb)
SHA1: c0009910499bfd9ddc2f678ee5a5664ad2a890a1
SHA256: 8a0940df23b48d2f92178539c81a9f30db9716ffda2e8dcc8685b4bb8d1eadca

Size: 497,944 bytes
python-z3 (python-z3_4.4.1-1_s390x.deb)
SHA1: 81a0176a3a914f02a8b27943d1654ff42efc44cf
SHA256: bd761bb169144c8daaf271414a94fe47fa970c616070c97e0d33d0a1ed4001ce

Size: 66,984 bytes
z3 (z3_4.4.1-1_s390x.deb)
SHA1: 05f4dec974f5dad17fe2c1cd8b3d662e83266480
SHA256: ad6294eadf31091c5f083380f8cacb0d4f0dba6bfc361f3f7a54696af17eee7d

Size: 4,511,580 bytes

Other checksums

z3-dbgsym_4.4.1-1_s390x.deb
SHA1: da5d1cffbb5618f7d3ba42e0ae36aad1af53b465
Size: 100,925,212 bytes
libz3-ocaml-dev-dbgsym_4.4.1-1_s390x.deb
SHA1: f7f57f6a2013973cc2e7526a80fcc6497668c564
Size: 215,412 bytes
libz3-jni-dbgsym_4.4.1-1_s390x.deb
SHA1: ada6cada00f3f528895562a2cce5c2f5c12b7e26
Size: 173,408 bytes
libz3-4-dbgsym_4.4.1-1_s390x.deb
SHA1: f2f1aa3733d19d3d0ac1ba5fdc6e72cd58c819f1
Size: 100,267,812 bytes

Submissions

Submitted
Sat, 17 Aug 2019 19:36:46 +0000
Signed by
0x562DFFD360A9BA42

Environment


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