Publishing details

Removed from disk on 2022-07-24.
Removal requested on 2022-07-23.
Superseded on 2021-09-15 by z3 - 4.8.12-1
Published on 2021-04-23
Copied from ubuntu hirsute in Primary Archive for Ubuntu

Changelog

z3 (4.8.10-1ubuntu1) hirsute; urgency=low

  * Merge from Debian unstable. Remaining changes:
    - Use -march=zEC12 on s390x to fix the build

 -- Gianfranco Costamagna <email address hidden>  Sat, 30 Jan 2021 10:40:25 +0100

Available diffs

diff from 4.8.9-1ubuntu1 to 4.8.10-1ubuntu1 (518.8 KiB)
diff from 4.8.10-1 (in Debian) to 4.8.10-1ubuntu1 (650 bytes)

Builds

Package files

libz3-4-dbgsym_4.8.10-1ubuntu1_amd64.ddeb (129.1 MiB)
libz3-4-dbgsym_4.8.10-1ubuntu1_arm64.ddeb (126.3 MiB)
libz3-4-dbgsym_4.8.10-1ubuntu1_armhf.ddeb (122.3 MiB)
libz3-4-dbgsym_4.8.10-1ubuntu1_i386.ddeb (121.7 MiB)
libz3-4-dbgsym_4.8.10-1ubuntu1_ppc64el.ddeb (125.5 MiB)
libz3-4-dbgsym_4.8.10-1ubuntu1_riscv64.ddeb (104.7 MiB)
libz3-4-dbgsym_4.8.10-1ubuntu1_s390x.ddeb (126.2 MiB)
libz3-4_4.8.10-1ubuntu1_amd64.deb (6.6 MiB)
libz3-4_4.8.10-1ubuntu1_arm64.deb (5.8 MiB)
libz3-4_4.8.10-1ubuntu1_armhf.deb (5.6 MiB)
libz3-4_4.8.10-1ubuntu1_i386.deb (7.4 MiB)
libz3-4_4.8.10-1ubuntu1_ppc64el.deb (6.7 MiB)
libz3-4_4.8.10-1ubuntu1_riscv64.deb (6.4 MiB)
libz3-4_4.8.10-1ubuntu1_s390x.deb (5.9 MiB)
libz3-dev_4.8.10-1ubuntu1_amd64.deb (68.5 KiB)
libz3-dev_4.8.10-1ubuntu1_arm64.deb (68.5 KiB)
libz3-dev_4.8.10-1ubuntu1_armhf.deb (68.5 KiB)
libz3-dev_4.8.10-1ubuntu1_i386.deb (68.5 KiB)
libz3-dev_4.8.10-1ubuntu1_ppc64el.deb (68.5 KiB)
libz3-dev_4.8.10-1ubuntu1_riscv64.deb (68.5 KiB)
libz3-dev_4.8.10-1ubuntu1_s390x.deb (68.5 KiB)
libz3-java_4.8.10-1ubuntu1_amd64.deb (155.7 KiB)
libz3-java_4.8.10-1ubuntu1_arm64.deb (155.7 KiB)
libz3-java_4.8.10-1ubuntu1_armhf.deb (155.7 KiB)
libz3-java_4.8.10-1ubuntu1_i386.deb (155.7 KiB)
libz3-java_4.8.10-1ubuntu1_ppc64el.deb (155.7 KiB)
libz3-java_4.8.10-1ubuntu1_riscv64.deb (155.7 KiB)
libz3-java_4.8.10-1ubuntu1_s390x.deb (155.7 KiB)
libz3-jni-dbgsym_4.8.10-1ubuntu1_amd64.ddeb (175.8 KiB)
libz3-jni-dbgsym_4.8.10-1ubuntu1_arm64.ddeb (174.3 KiB)
libz3-jni-dbgsym_4.8.10-1ubuntu1_armhf.ddeb (182.4 KiB)
libz3-jni-dbgsym_4.8.10-1ubuntu1_i386.ddeb (139.5 KiB)
libz3-jni-dbgsym_4.8.10-1ubuntu1_ppc64el.ddeb (184.0 KiB)
libz3-jni-dbgsym_4.8.10-1ubuntu1_riscv64.ddeb (158.5 KiB)
libz3-jni-dbgsym_4.8.10-1ubuntu1_s390x.ddeb (177.0 KiB)
libz3-jni_4.8.10-1ubuntu1_amd64.deb (32.2 KiB)
libz3-jni_4.8.10-1ubuntu1_arm64.deb (30.2 KiB)
libz3-jni_4.8.10-1ubuntu1_armhf.deb (29.7 KiB)
libz3-jni_4.8.10-1ubuntu1_i386.deb (38.9 KiB)
libz3-jni_4.8.10-1ubuntu1_ppc64el.deb (34.6 KiB)
libz3-jni_4.8.10-1ubuntu1_riscv64.deb (30.7 KiB)
libz3-jni_4.8.10-1ubuntu1_s390x.deb (32.8 KiB)
python3-z3_4.8.10-1ubuntu1_amd64.deb (76.3 KiB)
python3-z3_4.8.10-1ubuntu1_arm64.deb (76.3 KiB)
python3-z3_4.8.10-1ubuntu1_armhf.deb (76.3 KiB)
python3-z3_4.8.10-1ubuntu1_i386.deb (76.3 KiB)
python3-z3_4.8.10-1ubuntu1_ppc64el.deb (76.3 KiB)
python3-z3_4.8.10-1ubuntu1_riscv64.deb (76.3 KiB)
python3-z3_4.8.10-1ubuntu1_s390x.deb (76.3 KiB)
z3-dbgsym_4.8.10-1ubuntu1_amd64.ddeb (130.7 MiB)
z3-dbgsym_4.8.10-1ubuntu1_arm64.ddeb (127.9 MiB)
z3-dbgsym_4.8.10-1ubuntu1_armhf.ddeb (123.9 MiB)
z3-dbgsym_4.8.10-1ubuntu1_i386.ddeb (123.3 MiB)
z3-dbgsym_4.8.10-1ubuntu1_ppc64el.ddeb (127.1 MiB)
z3-dbgsym_4.8.10-1ubuntu1_riscv64.ddeb (106.1 MiB)
z3-dbgsym_4.8.10-1ubuntu1_s390x.ddeb (127.8 MiB)
z3_4.8.10-1ubuntu1.debian.tar.xz (10.0 KiB)
z3_4.8.10-1ubuntu1.dsc (2.6 KiB)
z3_4.8.10-1ubuntu1_amd64.deb (6.6 MiB)
z3_4.8.10-1ubuntu1_arm64.deb (5.8 MiB)
z3_4.8.10-1ubuntu1_armhf.deb (5.7 MiB)
z3_4.8.10-1ubuntu1_i386.deb (7.4 MiB)
z3_4.8.10-1ubuntu1_ppc64el.deb (6.7 MiB)
z3_4.8.10-1ubuntu1_riscv64.deb (6.4 MiB)
z3_4.8.10-1ubuntu1_s390x.deb (5.9 MiB)
z3_4.8.10.orig.tar.gz (4.5 MiB)