Publishing details

Created on 2017-07-18 by Ubuntu Archive Auto-Sync
Removed from disk on 2020-07-10.
Removal requested on 2020-07-10.
Published on 2017-07-18

Changelog

z3 (4.4.1-0.3build3) artful; urgency=high

  * No change rebuild against ocaml 4.04 transition.

 -- Dimitri John Ledkov <email address hidden>  Mon, 26 Jun 2017 22:49:52 +0100

Available diffs

diff from 4.4.1-0.3build2 to 4.4.1-0.3build3 (557 bytes)

Builds

Package files

libz3-4-dbgsym_4.4.1-0.3build3_amd64.ddeb (73.3 MiB)
libz3-4-dbgsym_4.4.1-0.3build3_arm64.ddeb (72.3 MiB)
libz3-4-dbgsym_4.4.1-0.3build3_armhf.ddeb (71.1 MiB)
libz3-4-dbgsym_4.4.1-0.3build3_i386.ddeb (70.1 MiB)
libz3-4-dbgsym_4.4.1-0.3build3_ppc64el.ddeb (72.8 MiB)
libz3-4-dbgsym_4.4.1-0.3build3_s390x.ddeb (76.3 MiB)
libz3-4_4.4.1-0.3build3_amd64.deb (4.9 MiB)
libz3-4_4.4.1-0.3build3_arm64.deb (4.2 MiB)
libz3-4_4.4.1-0.3build3_armhf.deb (4.1 MiB)
libz3-4_4.4.1-0.3build3_i386.deb (5.4 MiB)
libz3-4_4.4.1-0.3build3_ppc64el.deb (4.6 MiB)
libz3-4_4.4.1-0.3build3_s390x.deb (4.3 MiB)
libz3-cil_4.4.1-0.3build3_amd64.deb (39.8 KiB)
libz3-cil_4.4.1-0.3build3_arm64.deb (40.4 KiB)
libz3-cil_4.4.1-0.3build3_armhf.deb (40.4 KiB)
libz3-cil_4.4.1-0.3build3_i386.deb (39.8 KiB)
libz3-cil_4.4.1-0.3build3_ppc64el.deb (39.9 KiB)
libz3-cil_4.4.1-0.3build3_s390x.deb (40.0 KiB)
libz3-dev_4.4.1-0.3build3_amd64.deb (62.7 KiB)
libz3-dev_4.4.1-0.3build3_arm64.deb (62.7 KiB)
libz3-dev_4.4.1-0.3build3_armhf.deb (62.7 KiB)
libz3-dev_4.4.1-0.3build3_i386.deb (62.7 KiB)
libz3-dev_4.4.1-0.3build3_ppc64el.deb (62.7 KiB)
libz3-dev_4.4.1-0.3build3_s390x.deb (62.7 KiB)
libz3-java_4.4.1-0.3build3_amd64.deb (140.1 KiB)
libz3-java_4.4.1-0.3build3_arm64.deb (140.1 KiB)
libz3-java_4.4.1-0.3build3_armhf.deb (140.1 KiB)
libz3-java_4.4.1-0.3build3_i386.deb (140.1 KiB)
libz3-java_4.4.1-0.3build3_ppc64el.deb (140.1 KiB)
libz3-java_4.4.1-0.3build3_s390x.deb (140.1 KiB)
libz3-jni-dbgsym_4.4.1-0.3build3_amd64.ddeb (133.9 KiB)
libz3-jni-dbgsym_4.4.1-0.3build3_arm64.ddeb (136.0 KiB)
libz3-jni-dbgsym_4.4.1-0.3build3_armhf.ddeb (142.2 KiB)
libz3-jni-dbgsym_4.4.1-0.3build3_i386.ddeb (112.7 KiB)
libz3-jni-dbgsym_4.4.1-0.3build3_ppc64el.ddeb (140.6 KiB)
libz3-jni-dbgsym_4.4.1-0.3build3_s390x.ddeb (140.7 KiB)
libz3-jni_4.4.1-0.3build3_amd64.deb (28.9 KiB)
libz3-jni_4.4.1-0.3build3_arm64.deb (29.0 KiB)
libz3-jni_4.4.1-0.3build3_armhf.deb (28.4 KiB)
libz3-jni_4.4.1-0.3build3_i386.deb (38.9 KiB)
libz3-jni_4.4.1-0.3build3_ppc64el.deb (33.2 KiB)
libz3-jni_4.4.1-0.3build3_s390x.deb (31.4 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.3build3_amd64.ddeb (182.2 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.3build3_arm64.ddeb (182.1 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.3build3_armhf.ddeb (167.0 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.3build3_i386.ddeb (154.0 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.3build3_ppc64el.ddeb (193.7 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.3build3_s390x.ddeb (185.6 KiB)
libz3-ocaml-dev_4.4.1-0.3build3_amd64.deb (478.4 KiB)
libz3-ocaml-dev_4.4.1-0.3build3_arm64.deb (489.8 KiB)
libz3-ocaml-dev_4.4.1-0.3build3_armhf.deb (499.2 KiB)
libz3-ocaml-dev_4.4.1-0.3build3_i386.deb (457.8 KiB)
libz3-ocaml-dev_4.4.1-0.3build3_ppc64el.deb (499.7 KiB)
libz3-ocaml-dev_4.4.1-0.3build3_s390x.deb (482.0 KiB)
python-z3_4.4.1-0.3build3_amd64.deb (65.4 KiB)
python-z3_4.4.1-0.3build3_arm64.deb (65.4 KiB)
python-z3_4.4.1-0.3build3_armhf.deb (65.4 KiB)
python-z3_4.4.1-0.3build3_i386.deb (65.4 KiB)
python-z3_4.4.1-0.3build3_ppc64el.deb (65.4 KiB)
python-z3_4.4.1-0.3build3_s390x.deb (65.4 KiB)
z3-dbgsym_4.4.1-0.3build3_amd64.ddeb (73.7 MiB)
z3-dbgsym_4.4.1-0.3build3_arm64.ddeb (72.7 MiB)
z3-dbgsym_4.4.1-0.3build3_armhf.ddeb (71.6 MiB)
z3-dbgsym_4.4.1-0.3build3_i386.ddeb (70.5 MiB)
z3-dbgsym_4.4.1-0.3build3_ppc64el.ddeb (73.4 MiB)
z3-dbgsym_4.4.1-0.3build3_s390x.ddeb (77.1 MiB)
z3_4.4.1-0.3build3.debian.tar.xz (14.1 KiB)
z3_4.4.1-0.3build3.dsc (2.5 KiB)
z3_4.4.1-0.3build3_amd64.deb (4.9 MiB)
z3_4.4.1-0.3build3_arm64.deb (4.2 MiB)
z3_4.4.1-0.3build3_armhf.deb (4.1 MiB)
z3_4.4.1-0.3build3_i386.deb (5.4 MiB)
z3_4.4.1-0.3build3_ppc64el.deb (4.6 MiB)
z3_4.4.1-0.3build3_s390x.deb (4.3 MiB)
z3_4.4.1.orig.tar.gz (3.2 MiB)