Source
z3
Version
4.8.7-3
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 12 Jan 2020 17:09:02 +0000
Build-Path
/build/z3-hnjQHM/z3-4.8.7

First submitted
Sun, 12 Jan 2020 19:19:58 +0000
SHA1 of .buildinfo
a464ec59ad8931beea7a7b3637c3750f090bc0ea

Binaries

libz3-4 (libz3-4_4.8.7-3_ppc64el.deb)
SHA1: ab751119a176026e5fe24c3b9d9b08d02a1d70b8
SHA256: 13412507649f74d3752af4c11e32df23608fd0425756bf7e55e2d9168cab4c9f

Size: 6,769,516 bytes
libz3-dev (libz3-dev_4.8.7-3_ppc64el.deb)
SHA1: da099ab8f79cdc0012aa63078a57766bf39d1af0
SHA256: 9dc6cd18793373271901350d718ada2a3f20b36b2ff0c09ecaec001d5610d157

Size: 87,248 bytes
libz3-java (libz3-java_4.8.7-3_ppc64el.deb)
SHA1: a43398b4d21c2330e55c17e17240d8bcd3b99e04
SHA256: 243fc91b32a44be6cf13293d61c65ebb17a656dff18a4bd91f3c33a64dd14354

Size: 153,740 bytes
libz3-jni (libz3-jni_4.8.7-3_ppc64el.deb)
SHA1: f20d50f10578d3785a8ae8cac256faccf09fc969
SHA256: 24ab19ec35135060fe1ca000d01bcd070d3f50767c0488a6070ccfb1e2890771

Size: 35,684 bytes
python3-z3 (python3-z3_4.8.7-3_ppc64el.deb)
SHA1: 7c9c3c4dddcb554b00f2ce64528839876c36065a
SHA256: ce717433d2069487ea69dcbefb683bb1a6cdc751dbd1e28bf6f124b20a8aa174

Size: 76,536 bytes
z3 (z3_4.8.7-3_ppc64el.deb)
SHA1: e413280900d81f3bb1e436bfb8f280bd8d57a267
SHA256: ea03d7e57102fdd9bff0825934f7b148ccf6109ce7361b1138bec614e3e66307

Size: 6,776,512 bytes

Other checksums

z3-dbgsym_4.8.7-3_ppc64el.deb
SHA1: 33510249d2fb197acf7d791c3dd95adcc3583de2
Size: 111,425,928 bytes
libz3-jni-dbgsym_4.8.7-3_ppc64el.deb
SHA1: 6057917460c59244258b23f64e6b76acffb210fb
Size: 189,608 bytes
libz3-4-dbgsym_4.8.7-3_ppc64el.deb
SHA1: 9e9c469d5f54c6d28e07488d4dea0d77f18d09fe
Size: 110,096,808 bytes

Submissions

Submitted
Sun, 12 Jan 2020 19:19:58 +0000
Signed by
0xAA4B2251A9397852

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1578670548"