Source
z3
Version
4.4.1-0.4~deb9u1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sat, 8 Dec 2018 04:21:58 +0000
Build-Path
/build/z3-Lw6hsl/z3-4.4.1

First submitted
Sat, 8 Dec 2018 06:12:35 +0000
SHA1 of .buildinfo
836d03fd12c149029e7a31ed046f803d7b07c4d6

Binaries

libz3-4 (libz3-4_4.4.1-0.4~deb9u1_s390x.deb)
SHA1: 172fc732c2cc9ee5c57a394a72d5f676e4fed034
SHA256: dd5b037595ad3d32454759c87d64d57d13121ea1faf5ad1ac70fbb10ae233dc2

Size: 4,690,594 bytes
libz3-cil (libz3-cil_4.4.1-0.4~deb9u1_s390x.deb)
SHA1: 43038abc96cf0bf157d26265111681c2341200cd
SHA256: 3404f6a165caacf5de3b7ff7a44855888f75b6c53e368865197757c7e472bee8

Size: 40,554 bytes
libz3-dev (libz3-dev_4.4.1-0.4~deb9u1_s390x.deb)
SHA1: 5611d36e7ddb298586f29e2582ed4084917a4b39
SHA256: 1d7ef69154b35f77b22806b285b38e61ea5f011391f6ab5e499e921f3eed833e

Size: 79,308 bytes
libz3-java (libz3-java_4.4.1-0.4~deb9u1_s390x.deb)
SHA1: 694d11acd990e134443c1bcbcb1c7dab090c29ba
SHA256: f5759d73fd1f53a101382a9ae15df1e1e1e177885016f2e1b80ff5821bce9c3f

Size: 143,436 bytes
libz3-jni (libz3-jni_4.4.1-0.4~deb9u1_s390x.deb)
SHA1: c4fdb6acb16ccfc0ba075d2d68b2f82ffa413f3c
SHA256: fc9824240a2948a877c1a9248d861083af2cd5b116debc2832e346cecd95421d

Size: 31,992 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4~deb9u1_s390x.deb)
SHA1: d137ad04f1875cc65cffddc4ec124afbca9923c4
SHA256: 188399cd903ab9c49d5945c941ba574373902ecf74a6b16547f7a18010f344c6

Size: 338,966 bytes
python-z3 (python-z3_4.4.1-0.4~deb9u1_s390x.deb)
SHA1: 44ae6d443d6320813a3a326a2d38dc1880372d52
SHA256: 46cdcb6c9801a83f7d2d45af748a853f11db325cca97742197f0b290c9777b9b

Size: 66,896 bytes
z3 (z3_4.4.1-0.4~deb9u1_s390x.deb)
SHA1: 9129519342178d50e60264f16d34a4392d743b3a
SHA256: 6d45cdd6c495582d412a7499e2b341a7e6c35cb254856d27503c0d7d73bb45c8

Size: 4,705,564 bytes

Other checksums

z3-dbgsym_4.4.1-0.4~deb9u1_s390x.deb
SHA1: cb8e7f27bbb33111bec3e22f35dca5ffc47341b4
Size: 81,236,594 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4~deb9u1_s390x.deb
SHA1: b9ed0e072be3626a4964a5fad543a0b376dc101e
Size: 190,808 bytes
libz3-jni-dbgsym_4.4.1-0.4~deb9u1_s390x.deb
SHA1: 41458bad81ab05d6d589e051d3c098b93f6ebee5
Size: 145,972 bytes
libz3-4-dbgsym_4.4.1-0.4~deb9u1_s390x.deb
SHA1: bdeba158bc083755d7ce3d19801dad7aaac5713d
Size: 80,711,708 bytes

Submissions

Submitted
Sat, 8 Dec 2018 06:12:36 +0000
Signed by
0x5B445DD39A95A4D3

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1537119964"