Source
z3 (4.8.12-1)
Version
4.8.12-1+b1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 16 Sep 2021 22:08:54 +0000
Build-Path
/build/z3-3NcIUm/z3-4.8.12

First submitted
Fri, 17 Sep 2021 00:14:31 +0000
SHA1 of .buildinfo
3d83eab5e0ec83c910a23862efab881726e0dcaf

Binaries

libz3-4 (libz3-4_4.8.12-1+b1_ppc64el.deb)
SHA1: a0d57aeeaeeffe8029174134b279b9b8fa431707
SHA256: 0017215f7481a8b3a8dc2ca31b51f67f786ba9d3a5a153dd8a182cf385a35990

Size: 7,262,160 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1+b1_ppc64el.deb)
SHA1: 16e215151416ec38c8b5dfb523405da4c2612664
SHA256: addad1c498ad9f884f08de92025351c52899022ad294eb49883c9168fbb6ce68

Size: 138,636,268 bytes
libz3-dev (libz3-dev_4.8.12-1+b1_ppc64el.deb)
SHA1: 27e25b695d33f6af9f9c57a1667615674703a057
SHA256: 715894fff6be67eba144b5b94c2837d41261d259cd9e72edc7f70f7e7d806da0

Size: 92,144 bytes
libz3-java (libz3-java_4.8.12-1+b1_ppc64el.deb)
SHA1: be25446ef2cb90c7f94b6c488dd189be10e27a53
SHA256: 5cd99acc723546d4b2d77f6160e337ebbf3f46325d2744d2020af94da7f70f30

Size: 159,976 bytes
libz3-jni (libz3-jni_4.8.12-1+b1_ppc64el.deb)
SHA1: d6f1b75cddc49f7a222b052d2e9a957f2f4f4a7a
SHA256: caa07979c1728cf6455bc618c5e34eacad5b494bc87b4ce576dc08c425e6435a

Size: 35,952 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1+b1_ppc64el.deb)
SHA1: 10eca5f39ec16a2a31af42e47def5db18e74f99f
SHA256: d73aa6560d64bda238f07a8ddd935d80c6ab8fa948aa1a02882f8aa99d2ecc0f

Size: 190,160 bytes
python3-z3 (python3-z3_4.8.12-1+b1_ppc64el.deb)
SHA1: 5ece3c69bacd3dde6d986daee3e0ef1264041ce3
SHA256: c068acd0edeac18edd71aadcd5b969396bd30d1b97a38f674e36552831248569

Size: 78,360 bytes
z3 (z3_4.8.12-1+b1_ppc64el.deb)
SHA1: 1eccdc8dc5e9df966b0e583de172e5bed20b1cd4
SHA256: e85babf30e26f9c5c523e6a25d77585c175cc0e6aa5f8b74bc8146dc623250f2

Size: 7,276,916 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1+b1_ppc64el.deb)
SHA1: e131dcda3c991f3001e2a139e8d91d1ffe769236
SHA256: 35deb4bf9dba407fdbf43657a351aaa3b22305c13cf53f52df7bb93809b8d6de

Size: 140,314,720 bytes

Other checksums

Submissions

Submitted
Fri, 17 Sep 2021 00:14:32 +0000
Signed by
0x9D2C0DB5469A3C8F

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1631829629"