Publishing details

Removed from disk on 2020-07-14.
Removal requested on 2020-07-13.
Published on 2018-09-13
Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

z3 (4.4.1-0.4) unstable; urgency=medium

  * Non-maintainer upload.
  * Remove the incorrect Multi-Arch: same of python-z3,
    thanks to Helmut Grohne. (Closes: #874237)

 -- Adrian Bunk <email address hidden>  Sun, 09 Sep 2018 22:28:32 +0300

Available diffs

diff from 4.4.1-0.3build4 (in Ubuntu) to 4.4.1-0.4 (925 bytes)

Builds

Package files

libz3-4-dbgsym_4.4.1-0.4_amd64.ddeb (93.4 MiB)
libz3-4-dbgsym_4.4.1-0.4_arm64.ddeb (91.6 MiB)
libz3-4-dbgsym_4.4.1-0.4_armhf.ddeb (89.8 MiB)
libz3-4-dbgsym_4.4.1-0.4_i386.ddeb (89.5 MiB)
libz3-4-dbgsym_4.4.1-0.4_ppc64el.ddeb (92.6 MiB)
libz3-4-dbgsym_4.4.1-0.4_s390x.ddeb (95.6 MiB)
libz3-4_4.4.1-0.4_amd64.deb (4.9 MiB)
libz3-4_4.4.1-0.4_arm64.deb (4.3 MiB)
libz3-4_4.4.1-0.4_armhf.deb (4.1 MiB)
libz3-4_4.4.1-0.4_i386.deb (5.5 MiB)
libz3-4_4.4.1-0.4_ppc64el.deb (4.9 MiB)
libz3-4_4.4.1-0.4_s390x.deb (4.3 MiB)
libz3-cil_4.4.1-0.4_amd64.deb (39.9 KiB)
libz3-cil_4.4.1-0.4_arm64.deb (39.9 KiB)
libz3-cil_4.4.1-0.4_armhf.deb (39.9 KiB)
libz3-cil_4.4.1-0.4_i386.deb (39.9 KiB)
libz3-cil_4.4.1-0.4_ppc64el.deb (40.1 KiB)
libz3-cil_4.4.1-0.4_s390x.deb (39.8 KiB)
libz3-dev_4.4.1-0.4_amd64.deb (62.8 KiB)
libz3-dev_4.4.1-0.4_arm64.deb (62.7 KiB)
libz3-dev_4.4.1-0.4_armhf.deb (62.8 KiB)
libz3-dev_4.4.1-0.4_i386.deb (62.7 KiB)
libz3-dev_4.4.1-0.4_ppc64el.deb (62.8 KiB)
libz3-dev_4.4.1-0.4_s390x.deb (62.7 KiB)
libz3-java_4.4.1-0.4_amd64.deb (142.3 KiB)
libz3-java_4.4.1-0.4_arm64.deb (142.3 KiB)
libz3-java_4.4.1-0.4_armhf.deb (142.3 KiB)
libz3-java_4.4.1-0.4_i386.deb (142.3 KiB)
libz3-java_4.4.1-0.4_ppc64el.deb (142.3 KiB)
libz3-java_4.4.1-0.4_s390x.deb (142.3 KiB)
libz3-jni-dbgsym_4.4.1-0.4_amd64.ddeb (164.8 KiB)
libz3-jni-dbgsym_4.4.1-0.4_arm64.ddeb (166.0 KiB)
libz3-jni-dbgsym_4.4.1-0.4_armhf.ddeb (173.7 KiB)
libz3-jni-dbgsym_4.4.1-0.4_i386.ddeb (139.5 KiB)
libz3-jni-dbgsym_4.4.1-0.4_ppc64el.ddeb (174.6 KiB)
libz3-jni-dbgsym_4.4.1-0.4_s390x.ddeb (168.9 KiB)
libz3-jni_4.4.1-0.4_amd64.deb (30.9 KiB)
libz3-jni_4.4.1-0.4_arm64.deb (28.9 KiB)
libz3-jni_4.4.1-0.4_armhf.deb (28.4 KiB)
libz3-jni_4.4.1-0.4_i386.deb (40.6 KiB)
libz3-jni_4.4.1-0.4_ppc64el.deb (33.5 KiB)
libz3-jni_4.4.1-0.4_s390x.deb (32.2 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.ddeb (213.7 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.4_arm64.ddeb (199.7 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.4_armhf.ddeb (212.5 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.4_i386.ddeb (185.6 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.4_ppc64el.ddeb (214.0 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.4_s390x.ddeb (203.5 KiB)
libz3-ocaml-dev_4.4.1-0.4_amd64.deb (512.7 KiB)
libz3-ocaml-dev_4.4.1-0.4_arm64.deb (505.1 KiB)
libz3-ocaml-dev_4.4.1-0.4_armhf.deb (523.9 KiB)
libz3-ocaml-dev_4.4.1-0.4_i386.deb (486.7 KiB)
libz3-ocaml-dev_4.4.1-0.4_ppc64el.deb (519.0 KiB)
libz3-ocaml-dev_4.4.1-0.4_s390x.deb (479.1 KiB)
python-z3_4.4.1-0.4_amd64.deb (65.5 KiB)
python-z3_4.4.1-0.4_arm64.deb (65.5 KiB)
python-z3_4.4.1-0.4_armhf.deb (65.5 KiB)
python-z3_4.4.1-0.4_i386.deb (65.5 KiB)
python-z3_4.4.1-0.4_ppc64el.deb (65.5 KiB)
python-z3_4.4.1-0.4_s390x.deb (65.5 KiB)
z3-dbgsym_4.4.1-0.4_amd64.ddeb (94.0 MiB)
z3-dbgsym_4.4.1-0.4_arm64.ddeb (92.6 MiB)
z3-dbgsym_4.4.1-0.4_armhf.ddeb (90.7 MiB)
z3-dbgsym_4.4.1-0.4_i386.ddeb (90.1 MiB)
z3-dbgsym_4.4.1-0.4_ppc64el.ddeb (93.2 MiB)
z3-dbgsym_4.4.1-0.4_s390x.ddeb (96.0 MiB)
z3_4.4.1-0.4.debian.tar.xz (14.0 KiB)
z3_4.4.1-0.4.dsc (2.7 KiB)
z3_4.4.1-0.4_amd64.deb (5.0 MiB)
z3_4.4.1-0.4_arm64.deb (4.3 MiB)
z3_4.4.1-0.4_armhf.deb (4.1 MiB)
z3_4.4.1-0.4_i386.deb (5.5 MiB)
z3_4.4.1-0.4_ppc64el.deb (5.0 MiB)
z3_4.4.1-0.4_s390x.deb (4.3 MiB)
z3_4.4.1.orig.tar.gz (3.2 MiB)