Source
z3
Version
4.8.7-2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Mon, 9 Dec 2019 13:49:48 +0000
Build-Path
/build/z3-4vmybW/z3-4.8.7

First submitted
Mon, 9 Dec 2019 18:38:46 +0000
SHA1 of .buildinfo
bfd4a58333cd3ac4b6d9ce11fcf07111f7331566

Binaries

libz3-4 (libz3-4_4.8.7-2_s390x.deb)
SHA1: cd90e980acb7851e1d837ef6996b1ceefed9435e
SHA256: 9e7c53471497ff0b150096828518fc7244d3c54a4ada11b1364a75bd2ef0a71a

Size: 5,958,724 bytes
libz3-dev (libz3-dev_4.8.7-2_s390x.deb)
SHA1: 95535a5190eece1bfc7d7568c569406ffd6bdd27
SHA256: 6eac5e73804dbe4358439bacbe023e4f481b688578f79937133e4aa9481e143b

Size: 86,744 bytes
libz3-java (libz3-java_4.8.7-2_s390x.deb)
SHA1: b0366ba9ff77584d07daab44cd42af112f18bd2b
SHA256: 420c198069ceca88a8df737a7063649adf9262821210d3495a2acde1304e7670

Size: 153,776 bytes
libz3-jni (libz3-jni_4.8.7-2_s390x.deb)
SHA1: 9aa9ab0a398c2cdf20d1b464d2e6c842a26da813
SHA256: f726776f64adf0395d11c807eddd7d6a96d01bcc92c0f36b236e728b8e838e6d

Size: 32,908 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.7-2_s390x.deb)
SHA1: d49c89178c3eeb90f495fc52979a2881d5ab3f35
SHA256: bbf3088fb2b3c4dbd18c28abd5e6872cdc8795aa18c19746cea5506bc98922bb

Size: 550,740 bytes
python3-z3 (python3-z3_4.8.7-2_s390x.deb)
SHA1: 2429563ca194a861d769005f4f48799b368cf4b5
SHA256: f356e0e6300ceebce991867003502fcd47bb729eff5033a6091bd4f154578309

Size: 76,416 bytes
z3 (z3_4.8.7-2_s390x.deb)
SHA1: 0e3db96e0250c15fb3ba095b8fdb190d20a7400f
SHA256: 26f19111fb4acf30f80737b41b2fadc360ec32293f830b5051ca22a92ba711ec

Size: 6,075,384 bytes

Other checksums

z3-dbgsym_4.8.7-2_s390x.deb
SHA1: 3298a95b27d00070202ec5deb4544f3f4ec77841
Size: 110,702,204 bytes
libz3-ocaml-dev-dbgsym_4.8.7-2_s390x.deb
SHA1: 58896d9053a50e6a166f0ecf40114caeae4cc5a9
Size: 364,196 bytes
libz3-jni-dbgsym_4.8.7-2_s390x.deb
SHA1: dbb6ec057cad44fc5b7289f0bd9c7569bdc89698
Size: 180,288 bytes
libz3-4-dbgsym_4.8.7-2_s390x.deb
SHA1: 89f7c927be0b6d954ae5f5d3b621b93937f77f81
Size: 107,626,436 bytes

Submissions

Submitted
Mon, 9 Dec 2019 18:38:47 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


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