Publishing details

Removal requested on 2023-11-13.
Published on 2022-04-26
Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

z3 (4.8.12-1) unstable; urgency=medium

  [ Debian Janitor ]
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
    Repository-Browse.

  [ Fabian Wolff ]
  * New upstream release.
  * Upgrade to Standards-Version 4.6.0.
  * Update years in debian/copyright.
  * Update 00-intrinsics.patch and refresh 01-soname.patch.

 -- Fabian Wolff <email address hidden>  Sat, 11 Sep 2021 17:58:23 +0200

Available diffs

diff from 4.8.10-1ubuntu1 (in Ubuntu) to 4.8.12-1 (786.8 KiB)

Builds

Package files

libz3-4-dbgsym_4.8.12-1_amd64.ddeb (104.9 MiB)
libz3-4-dbgsym_4.8.12-1_arm64.ddeb (102.7 MiB)
libz3-4-dbgsym_4.8.12-1_armhf.ddeb (130.6 MiB)
libz3-4-dbgsym_4.8.12-1_i386.ddeb (129.9 MiB)
libz3-4-dbgsym_4.8.12-1_ppc64el.ddeb (102.5 MiB)
libz3-4-dbgsym_4.8.12-1_riscv64.ddeb (113.1 MiB)
libz3-4-dbgsym_4.8.12-1_s390x.ddeb (101.8 MiB)
libz3-4_4.8.12-1_amd64.deb (5.5 MiB)
libz3-4_4.8.12-1_arm64.deb (5.1 MiB)
libz3-4_4.8.12-1_armhf.deb (6.5 MiB)
libz3-4_4.8.12-1_i386.deb (8.0 MiB)
libz3-4_4.8.12-1_ppc64el.deb (5.8 MiB)
libz3-4_4.8.12-1_riscv64.deb (7.2 MiB)
libz3-4_4.8.12-1_s390x.deb (5.1 MiB)
libz3-dev_4.8.12-1_amd64.deb (70.5 KiB)
libz3-dev_4.8.12-1_arm64.deb (70.5 KiB)
libz3-dev_4.8.12-1_armhf.deb (70.5 KiB)
libz3-dev_4.8.12-1_i386.deb (70.5 KiB)
libz3-dev_4.8.12-1_ppc64el.deb (70.5 KiB)
libz3-dev_4.8.12-1_riscv64.deb (70.5 KiB)
libz3-dev_4.8.12-1_s390x.deb (70.5 KiB)
libz3-java_4.8.12-1_amd64.deb (155.8 KiB)
libz3-java_4.8.12-1_arm64.deb (155.8 KiB)
libz3-java_4.8.12-1_armhf.deb (155.8 KiB)
libz3-java_4.8.12-1_i386.deb (155.8 KiB)
libz3-java_4.8.12-1_ppc64el.deb (155.8 KiB)
libz3-java_4.8.12-1_riscv64.deb (155.8 KiB)
libz3-java_4.8.12-1_s390x.deb (155.8 KiB)
libz3-jni-dbgsym_4.8.12-1_amd64.ddeb (189.6 KiB)
libz3-jni-dbgsym_4.8.12-1_arm64.ddeb (186.3 KiB)
libz3-jni-dbgsym_4.8.12-1_armhf.ddeb (192.7 KiB)
libz3-jni-dbgsym_4.8.12-1_i386.ddeb (138.4 KiB)
libz3-jni-dbgsym_4.8.12-1_ppc64el.ddeb (196.9 KiB)
libz3-jni-dbgsym_4.8.12-1_riscv64.ddeb (162.4 KiB)
libz3-jni-dbgsym_4.8.12-1_s390x.ddeb (190.7 KiB)
libz3-jni_4.8.12-1_amd64.deb (42.0 KiB)
libz3-jni_4.8.12-1_arm64.deb (37.9 KiB)
libz3-jni_4.8.12-1_armhf.deb (35.2 KiB)
libz3-jni_4.8.12-1_i386.deb (48.9 KiB)
libz3-jni_4.8.12-1_ppc64el.deb (42.7 KiB)
libz3-jni_4.8.12-1_riscv64.deb (37.6 KiB)
libz3-jni_4.8.12-1_s390x.deb (41.1 KiB)
python3-z3_4.8.12-1_amd64.deb (78.0 KiB)
python3-z3_4.8.12-1_arm64.deb (78.0 KiB)
python3-z3_4.8.12-1_armhf.deb (78.0 KiB)
python3-z3_4.8.12-1_i386.deb (78.0 KiB)
python3-z3_4.8.12-1_ppc64el.deb (78.0 KiB)
python3-z3_4.8.12-1_riscv64.deb (78.0 KiB)
python3-z3_4.8.12-1_s390x.deb (78.0 KiB)
z3-dbgsym_4.8.12-1_amd64.ddeb (107.0 MiB)
z3-dbgsym_4.8.12-1_arm64.ddeb (104.8 MiB)
z3-dbgsym_4.8.12-1_armhf.ddeb (132.5 MiB)
z3-dbgsym_4.8.12-1_i386.ddeb (131.7 MiB)
z3-dbgsym_4.8.12-1_ppc64el.ddeb (104.6 MiB)
z3-dbgsym_4.8.12-1_riscv64.ddeb (114.8 MiB)
z3-dbgsym_4.8.12-1_s390x.ddeb (103.9 MiB)
z3_4.8.12-1.debian.tar.xz (9.7 KiB)
z3_4.8.12-1.dsc (2.6 KiB)
z3_4.8.12-1_amd64.deb (5.6 MiB)
z3_4.8.12-1_arm64.deb (5.2 MiB)
z3_4.8.12-1_armhf.deb (6.5 MiB)
z3_4.8.12-1_i386.deb (8.1 MiB)
z3_4.8.12-1_ppc64el.deb (5.9 MiB)
z3_4.8.12-1_riscv64.deb (7.2 MiB)
z3_4.8.12-1_s390x.deb (5.2 MiB)
z3_4.8.12.orig.tar.gz (4.6 MiB)