Publishing details

Created on 2017-11-05 by Ubuntu Archive Auto-Sync
Published on 2017-11-05

Changelog

z3 (4.4.1-0.3build4) bionic; urgency=high

  * No change rebuild against ocaml 4.05.

 -- Dimitri John Ledkov <email address hidden>  Thu, 26 Oct 2017 23:54:51 +0100

Available diffs

diff from 4.4.1-0.3build3 to 4.4.1-0.3build4 (310 bytes)

Builds

Built packages

libz3-4 theorem prover from Microsoft Research - runtime libraries

libz3-4-dbgsym debug symbols for libz3-4

libz3-cil theorem prover from Microsoft Research - CLI bindings

libz3-dev theorem prover from Microsoft Research - development files

libz3-java theorem prover from Microsoft Research - java bindings

libz3-jni theorem prover from Microsoft Research - JNI library

libz3-jni-dbgsym debug symbols for libz3-jni

libz3-ocaml-dev theorem prover from Microsoft Research - OCaml bindings

libz3-ocaml-dev-dbgsym debug symbols for libz3-ocaml-dev

python-z3 theorem prover from Microsoft Research - Python bindings

z3 theorem prover from Microsoft Research

z3-dbgsym debug symbols for z3

Package files

libz3-4-dbgsym_4.4.1-0.3build4_amd64.ddeb (73.3 MiB)
libz3-4-dbgsym_4.4.1-0.3build4_arm64.ddeb (72.6 MiB)
libz3-4-dbgsym_4.4.1-0.3build4_armhf.ddeb (71.1 MiB)
libz3-4-dbgsym_4.4.1-0.3build4_i386.ddeb (70.2 MiB)
libz3-4-dbgsym_4.4.1-0.3build4_ppc64el.ddeb (73.1 MiB)
libz3-4-dbgsym_4.4.1-0.3build4_s390x.ddeb (77.1 MiB)
libz3-4_4.4.1-0.3build4_amd64.deb (4.9 MiB)
libz3-4_4.4.1-0.3build4_arm64.deb (4.5 MiB)
libz3-4_4.4.1-0.3build4_armhf.deb (4.1 MiB)
libz3-4_4.4.1-0.3build4_i386.deb (5.4 MiB)
libz3-4_4.4.1-0.3build4_ppc64el.deb (5.0 MiB)
libz3-4_4.4.1-0.3build4_s390x.deb (4.3 MiB)
libz3-cil_4.4.1-0.3build4_amd64.deb (39.8 KiB)
libz3-cil_4.4.1-0.3build4_arm64.deb (39.7 KiB)
libz3-cil_4.4.1-0.3build4_armhf.deb (39.7 KiB)
libz3-cil_4.4.1-0.3build4_i386.deb (39.7 KiB)
libz3-cil_4.4.1-0.3build4_ppc64el.deb (39.9 KiB)
libz3-cil_4.4.1-0.3build4_s390x.deb (40.1 KiB)
libz3-dev_4.4.1-0.3build4_amd64.deb (62.7 KiB)
libz3-dev_4.4.1-0.3build4_arm64.deb (62.7 KiB)
libz3-dev_4.4.1-0.3build4_armhf.deb (62.7 KiB)
libz3-dev_4.4.1-0.3build4_i386.deb (62.7 KiB)
libz3-dev_4.4.1-0.3build4_ppc64el.deb (62.7 KiB)
libz3-dev_4.4.1-0.3build4_s390x.deb (62.7 KiB)
libz3-java_4.4.1-0.3build4_amd64.deb (140.2 KiB)
libz3-java_4.4.1-0.3build4_arm64.deb (140.2 KiB)
libz3-java_4.4.1-0.3build4_armhf.deb (140.2 KiB)
libz3-java_4.4.1-0.3build4_i386.deb (140.2 KiB)
libz3-java_4.4.1-0.3build4_ppc64el.deb (140.2 KiB)
libz3-java_4.4.1-0.3build4_s390x.deb (140.2 KiB)
libz3-jni-dbgsym_4.4.1-0.3build4_amd64.ddeb (134.2 KiB)
libz3-jni-dbgsym_4.4.1-0.3build4_arm64.ddeb (136.2 KiB)
libz3-jni-dbgsym_4.4.1-0.3build4_armhf.ddeb (141.9 KiB)
libz3-jni-dbgsym_4.4.1-0.3build4_i386.ddeb (112.4 KiB)
libz3-jni-dbgsym_4.4.1-0.3build4_ppc64el.ddeb (139.9 KiB)
libz3-jni-dbgsym_4.4.1-0.3build4_s390x.ddeb (139.9 KiB)
libz3-jni_4.4.1-0.3build4_amd64.deb (30.6 KiB)
libz3-jni_4.4.1-0.3build4_arm64.deb (29.2 KiB)
libz3-jni_4.4.1-0.3build4_armhf.deb (28.3 KiB)
libz3-jni_4.4.1-0.3build4_i386.deb (40.0 KiB)
libz3-jni_4.4.1-0.3build4_ppc64el.deb (33.7 KiB)
libz3-jni_4.4.1-0.3build4_s390x.deb (31.9 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.3build4_amd64.ddeb (180.0 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.3build4_arm64.ddeb (187.5 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.3build4_armhf.ddeb (165.4 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.3build4_i386.ddeb (154.2 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.3build4_ppc64el.ddeb (185.8 KiB)
libz3-ocaml-dev-dbgsym_4.4.1-0.3build4_s390x.ddeb (185.0 KiB)
libz3-ocaml-dev_4.4.1-0.3build4_amd64.deb (479.2 KiB)
libz3-ocaml-dev_4.4.1-0.3build4_arm64.deb (488.3 KiB)
libz3-ocaml-dev_4.4.1-0.3build4_armhf.deb (488.9 KiB)
libz3-ocaml-dev_4.4.1-0.3build4_i386.deb (459.7 KiB)
libz3-ocaml-dev_4.4.1-0.3build4_ppc64el.deb (493.8 KiB)
libz3-ocaml-dev_4.4.1-0.3build4_s390x.deb (463.5 KiB)
python-z3_4.4.1-0.3build4_amd64.deb (65.5 KiB)
python-z3_4.4.1-0.3build4_arm64.deb (65.5 KiB)
python-z3_4.4.1-0.3build4_armhf.deb (65.5 KiB)
python-z3_4.4.1-0.3build4_i386.deb (65.5 KiB)
python-z3_4.4.1-0.3build4_ppc64el.deb (65.5 KiB)
python-z3_4.4.1-0.3build4_s390x.deb (65.5 KiB)
z3-dbgsym_4.4.1-0.3build4_amd64.ddeb (73.7 MiB)
z3-dbgsym_4.4.1-0.3build4_arm64.ddeb (73.1 MiB)
z3-dbgsym_4.4.1-0.3build4_armhf.ddeb (71.6 MiB)
z3-dbgsym_4.4.1-0.3build4_i386.ddeb (70.7 MiB)
z3-dbgsym_4.4.1-0.3build4_ppc64el.ddeb (73.5 MiB)
z3-dbgsym_4.4.1-0.3build4_s390x.ddeb (77.9 MiB)
z3_4.4.1-0.3build4.debian.tar.xz (14.1 KiB)
z3_4.4.1-0.3build4.dsc (2.5 KiB)
z3_4.4.1-0.3build4_amd64.deb (5.0 MiB)
z3_4.4.1-0.3build4_arm64.deb (4.5 MiB)
z3_4.4.1-0.3build4_armhf.deb (4.2 MiB)
z3_4.4.1-0.3build4_i386.deb (5.5 MiB)
z3_4.4.1-0.3build4_ppc64el.deb (5.0 MiB)
z3_4.4.1-0.3build4_s390x.deb (4.3 MiB)
z3_4.4.1.orig.tar.gz (3.2 MiB)