Publishing details

• Published on 2015-12-08
• 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.0-5) unstable; urgency=low

  * Add fixes for tests previously failing on ARM, PowerPC

 -- Michael Tautschnig <email address hidden>  Sun, 04 Oct 2015 10:57:27 +0100

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el
• s390x

Built packages

• libz3-cil theorem prover from Microsoft Research - CLI bindings

• libz3-dev theorem prover from Microsoft Research - development files

• libz3-dev-dbgsym debug symbols for package libz3-dev

• libz3-java theorem prover from Microsoft Research - java bindings

• libz3-jni theorem prover from Microsoft Research - JNI library

• libz3-jni-dbgsym debug symbols for package libz3-jni

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

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

• python-z3 theorem prover from Microsoft Research - Python bindings

• z3 theorem prover from Microsoft Research

• z3-dbgsym debug symbols for package z3

Package files

• libz3-cil_4.4.0-5_amd64.deb (39.2 KiB)
• libz3-cil_4.4.0-5_armhf.deb (39.2 KiB)
• libz3-cil_4.4.0-5_i386.deb (39.2 KiB)
• libz3-cil_4.4.0-5_powerpc.deb (39.2 KiB)
• libz3-dev-dbgsym_4.4.0-5_amd64.ddeb (43.6 MiB)
• libz3-dev-dbgsym_4.4.0-5_armhf.ddeb (42.3 MiB)
• libz3-dev-dbgsym_4.4.0-5_i386.ddeb (41.2 MiB)
• libz3-dev-dbgsym_4.4.0-5_powerpc.ddeb (40.2 MiB)
• libz3-dev_4.4.0-5_amd64.deb (5.1 MiB)
• libz3-dev_4.4.0-5_armhf.deb (4.2 MiB)
• libz3-dev_4.4.0-5_i386.deb (5.4 MiB)
• libz3-dev_4.4.0-5_powerpc.deb (4.4 MiB)
• libz3-java_4.4.0-5_all.deb (134.0 KiB)
• libz3-jni-dbgsym_4.4.0-5_amd64.ddeb (94.3 KiB)
• libz3-jni-dbgsym_4.4.0-5_armhf.ddeb (103.9 KiB)
• libz3-jni-dbgsym_4.4.0-5_i386.ddeb (81.9 KiB)
• libz3-jni-dbgsym_4.4.0-5_powerpc.ddeb (110.8 KiB)
• libz3-jni_4.4.0-5_amd64.deb (30.2 KiB)
• libz3-jni_4.4.0-5_armhf.deb (28.5 KiB)
• libz3-jni_4.4.0-5_i386.deb (39.8 KiB)
• libz3-jni_4.4.0-5_powerpc.deb (33.9 KiB)
• libz3-ocaml-dev-dbgsym_4.4.0-5_amd64.ddeb (133.1 KiB)
• libz3-ocaml-dev-dbgsym_4.4.0-5_armhf.ddeb (122.3 KiB)
• libz3-ocaml-dev-dbgsym_4.4.0-5_i386.ddeb (108.8 KiB)
• libz3-ocaml-dev-dbgsym_4.4.0-5_powerpc.ddeb (125.6 KiB)
• libz3-ocaml-dev_4.4.0-5_amd64.deb (443.6 KiB)
• libz3-ocaml-dev_4.4.0-5_armhf.deb (446.5 KiB)
• libz3-ocaml-dev_4.4.0-5_i386.deb (415.1 KiB)
• libz3-ocaml-dev_4.4.0-5_powerpc.deb (414.3 KiB)
• python-z3_4.4.0-5_amd64.deb (64.6 KiB)
• python-z3_4.4.0-5_armhf.deb (64.5 KiB)
• python-z3_4.4.0-5_i386.deb (64.6 KiB)
• python-z3_4.4.0-5_powerpc.deb (64.4 KiB)
• z3-dbgsym_4.4.0-5_amd64.ddeb (43.9 MiB)
• z3-dbgsym_4.4.0-5_armhf.ddeb (42.6 MiB)
• z3-dbgsym_4.4.0-5_i386.ddeb (41.5 MiB)
• z3-dbgsym_4.4.0-5_powerpc.ddeb (40.5 MiB)
• z3_4.4.0-5.debian.tar.xz (11.2 KiB)
• z3_4.4.0-5.dsc (2.1 KiB)
• z3_4.4.0-5_amd64.deb (5.0 MiB)
• z3_4.4.0-5_armhf.deb (4.2 MiB)
• z3_4.4.0-5_i386.deb (5.4 MiB)
• z3_4.4.0-5_powerpc.deb (4.3 MiB)
• z3_4.4.0.orig.tar.gz (3.3 MiB)