Publishing details

Created on 2019-10-11 by Ubuntu Archive Auto-Sync
Removed from disk on 2020-12-29.
Removal requested on 2020-12-29.
Published on 2019-10-11

Changelog

z3 (4.8.4-1build1) eoan; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 13 Sep 2019 10:27:08 +0200

Available diffs

diff from 4.8.4-1 (in Debian) to 4.8.4-1build1 (300 bytes)

Builds

Package files

libz3-4-dbgsym_4.8.4-1build1_amd64.ddeb (99.0 MiB)
libz3-4-dbgsym_4.8.4-1build1_arm64.ddeb (96.3 MiB)
libz3-4-dbgsym_4.8.4-1build1_armhf.ddeb (90.7 MiB)
libz3-4-dbgsym_4.8.4-1build1_i386.ddeb (91.3 MiB)
libz3-4-dbgsym_4.8.4-1build1_ppc64el.ddeb (93.4 MiB)
libz3-4-dbgsym_4.8.4-1build1_s390x.ddeb (99.0 MiB)
libz3-4_4.8.4-1build1_amd64.deb (6.2 MiB)
libz3-4_4.8.4-1build1_arm64.deb (5.5 MiB)
libz3-4_4.8.4-1build1_armhf.deb (5.3 MiB)
libz3-4_4.8.4-1build1_i386.deb (6.8 MiB)
libz3-4_4.8.4-1build1_ppc64el.deb (6.1 MiB)
libz3-4_4.8.4-1build1_s390x.deb (5.4 MiB)
libz3-cil_4.8.4-1build1_amd64.deb (44.0 KiB)
libz3-cil_4.8.4-1build1_arm64.deb (44.1 KiB)
libz3-cil_4.8.4-1build1_armhf.deb (44.1 KiB)
libz3-cil_4.8.4-1build1_i386.deb (44.0 KiB)
libz3-cil_4.8.4-1build1_ppc64el.deb (43.9 KiB)
libz3-cil_4.8.4-1build1_s390x.deb (43.9 KiB)
libz3-dev_4.8.4-1build1_amd64.deb (63.6 KiB)
libz3-dev_4.8.4-1build1_arm64.deb (63.6 KiB)
libz3-dev_4.8.4-1build1_armhf.deb (63.6 KiB)
libz3-dev_4.8.4-1build1_i386.deb (63.6 KiB)
libz3-dev_4.8.4-1build1_ppc64el.deb (63.6 KiB)
libz3-dev_4.8.4-1build1_s390x.deb (63.6 KiB)
libz3-java_4.8.4-1build1_amd64.deb (148.8 KiB)
libz3-java_4.8.4-1build1_arm64.deb (148.8 KiB)
libz3-java_4.8.4-1build1_armhf.deb (148.8 KiB)
libz3-java_4.8.4-1build1_i386.deb (148.8 KiB)
libz3-java_4.8.4-1build1_ppc64el.deb (148.8 KiB)
libz3-java_4.8.4-1build1_s390x.deb (148.8 KiB)
libz3-jni-dbgsym_4.8.4-1build1_amd64.ddeb (171.8 KiB)
libz3-jni-dbgsym_4.8.4-1build1_arm64.ddeb (169.8 KiB)
libz3-jni-dbgsym_4.8.4-1build1_armhf.ddeb (178.0 KiB)
libz3-jni-dbgsym_4.8.4-1build1_i386.ddeb (140.4 KiB)
libz3-jni-dbgsym_4.8.4-1build1_ppc64el.ddeb (178.7 KiB)
libz3-jni-dbgsym_4.8.4-1build1_s390x.ddeb (172.3 KiB)
libz3-jni_4.8.4-1build1_amd64.deb (31.1 KiB)
libz3-jni_4.8.4-1build1_arm64.deb (29.2 KiB)
libz3-jni_4.8.4-1build1_armhf.deb (28.9 KiB)
libz3-jni_4.8.4-1build1_i386.deb (40.4 KiB)
libz3-jni_4.8.4-1build1_ppc64el.deb (33.6 KiB)
libz3-jni_4.8.4-1build1_s390x.deb (31.5 KiB)
libz3-ocaml-dev-dbgsym_4.8.4-1build1_amd64.ddeb (342.0 KiB)
libz3-ocaml-dev-dbgsym_4.8.4-1build1_arm64.ddeb (349.1 KiB)
libz3-ocaml-dev-dbgsym_4.8.4-1build1_armhf.ddeb (347.9 KiB)
libz3-ocaml-dev-dbgsym_4.8.4-1build1_i386.ddeb (334.6 KiB)
libz3-ocaml-dev-dbgsym_4.8.4-1build1_ppc64el.ddeb (349.1 KiB)
libz3-ocaml-dev-dbgsym_4.8.4-1build1_s390x.ddeb (347.5 KiB)
libz3-ocaml-dev_4.8.4-1build1_amd64.deb (462.1 KiB)
libz3-ocaml-dev_4.8.4-1build1_arm64.deb (460.1 KiB)
libz3-ocaml-dev_4.8.4-1build1_armhf.deb (455.2 KiB)
libz3-ocaml-dev_4.8.4-1build1_i386.deb (449.0 KiB)
libz3-ocaml-dev_4.8.4-1build1_ppc64el.deb (460.8 KiB)
libz3-ocaml-dev_4.8.4-1build1_s390x.deb (440.2 KiB)
python-z3_4.8.4-1build1_amd64.deb (1.4 KiB)
python-z3_4.8.4-1build1_arm64.deb (1.4 KiB)
python-z3_4.8.4-1build1_armhf.deb (1.4 KiB)
python-z3_4.8.4-1build1_i386.deb (1.4 KiB)
python-z3_4.8.4-1build1_ppc64el.deb (1.4 KiB)
python-z3_4.8.4-1build1_s390x.deb (1.4 KiB)
z3-dbgsym_4.8.4-1build1_amd64.ddeb (101.8 MiB)
z3-dbgsym_4.8.4-1build1_arm64.ddeb (99.0 MiB)
z3-dbgsym_4.8.4-1build1_armhf.ddeb (93.2 MiB)
z3-dbgsym_4.8.4-1build1_i386.ddeb (94.0 MiB)
z3-dbgsym_4.8.4-1build1_ppc64el.ddeb (96.1 MiB)
z3-dbgsym_4.8.4-1build1_s390x.ddeb (101.8 MiB)
z3_4.8.4-1build1.debian.tar.xz (9.3 KiB)
z3_4.8.4-1build1.dsc (3.0 KiB)
z3_4.8.4-1build1_amd64.deb (6.4 MiB)
z3_4.8.4-1build1_arm64.deb (5.6 MiB)
z3_4.8.4-1build1_armhf.deb (5.5 MiB)
z3_4.8.4-1build1_i386.deb (7.0 MiB)
z3_4.8.4-1build1_ppc64el.deb (6.3 MiB)
z3_4.8.4-1build1_s390x.deb (5.5 MiB)
z3_4.8.4.orig.tar.gz (3.9 MiB)