Source
z3 (4.8.6-2)
Version
4.8.6-2+b2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 3 Dec 2019 07:52:35 +0000
Build-Path
/build/z3-DWhx8P/z3-4.8.6

First submitted
Tue, 3 Dec 2019 13:23:50 +0000
SHA1 of .buildinfo
61f89bbf42b95706ad295acfe362ad40d3848044

Binaries

libz3-4 (libz3-4_4.8.6-2+b2_ppc64el.deb)
SHA1: 44f6a57a441c07dfe6e201640b580aa563d7464a
SHA256: 966fe1b3fca46e3b3a125e0ecb6d1488603fecd290280d6528330f34c3bd2d14

Size: 6,797,944 bytes
libz3-dev (libz3-dev_4.8.6-2+b2_ppc64el.deb)
SHA1: 3ecb69974e6b9bcd914030cadc4b2f08200d7673
SHA256: c14004307be6400fe8b6a46f79bd13609c33e213f895b31718bea1b60a20c723

Size: 86,084 bytes
libz3-java (libz3-java_4.8.6-2+b2_ppc64el.deb)
SHA1: 6c7406c260156006a4e8b6bbf4b2c9a5da1ac8ce
SHA256: 365c4db425ee67e6252e4eafc3364bc43cac1ce08cd11f87fcccf213f8bb51ad

Size: 153,596 bytes
libz3-jni (libz3-jni_4.8.6-2+b2_ppc64el.deb)
SHA1: 7cc645bafea5c20a58bd0c274a05d453f2beb858
SHA256: 882c53b7443ef2466ebf97a31b1b62fd4c0654af4a9a8a3f9ea1c45529fb77af

Size: 35,644 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-2+b2_ppc64el.deb)
SHA1: 521dfd5250229f38318c42096597f4f2a586cf56
SHA256: a504bda23907c44b23447caa1072256600c030896477877bf55d1cc49cb40ca4

Size: 502,096 bytes
python3-z3 (python3-z3_4.8.6-2+b2_ppc64el.deb)
SHA1: 13e0703f80d38e8ce8313004fc6ee394e3f51eb9
SHA256: f5038b059fb4684ba68e46539fcffbda8abea10b4ecffd90216a16b4070d3dc0

Size: 76,344 bytes
z3 (z3_4.8.6-2+b2_ppc64el.deb)
SHA1: 8ed409a106673cce34b949d2f5b83a66ad5e6040
SHA256: f2c3d30943ebc6cbe13b0b8a6129193b582cc8d5c2861315c42ee3c7df7c8007

Size: 6,926,160 bytes

Other checksums

z3-dbgsym_4.8.6-2+b2_ppc64el.deb
SHA1: c5bae9c8f56a1209dca9991799ce133fb4501cbf
Size: 103,502,960 bytes
libz3-ocaml-dev-dbgsym_4.8.6-2+b2_ppc64el.deb
SHA1: ddf926df087b8aa882b905acfe8d215c5f885d79
Size: 365,704 bytes
libz3-jni-dbgsym_4.8.6-2+b2_ppc64el.deb
SHA1: 2ab788f8c8aedd8cd893092fd18e92bdf10f36fd
Size: 188,980 bytes
libz3-4-dbgsym_4.8.6-2+b2_ppc64el.deb
SHA1: 3b6b576fe5dfa3b853fa55824021e05df7484c57
Size: 100,514,016 bytes

Submissions

Submitted
Tue, 3 Dec 2019 13:23:50 +0000
Signed by
0xAA4B2251A9397852

Environment


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