general
- source
- z3 (optional, misc)
- version
- 4.8.12-3.1
- maint
- LLVM Packaging Team (a), Fabian Wolff (u, dm)
- std-ver
- 4.6.0
- VCS
- Git (browse)
versions
- o-o-stable
-
4.4.1-1~deb10u1
- oldstable
-
4.8.10-1
- stable
-
4.8.12-3.1
- testing
-
4.8.12-3.1
- unstable
-
4.8.12-3.1
- Ubuntu
- 4.8.12-3.1build1
todo
- Incorporate and acknowledge the changes from the non maintainer upload.
- Build log checks report 2 warnings about this package.
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.6.0).
- A new upstream version is available: 4.13.0, you should consider packaging it.
- The BTS contains patches fixing 2 bugs, consider including or untagging them.
problems
- There were override disparities found in suite unstable:
- libz3-cil: Override says cli-mono - optional, .deb says cli-mono - extra
- libz3-4: Override says libs - optional, .deb says libs - extra
- libz3-java: Override says java - optional, .deb says java - extra
- python-z3: Override says python - optional, .deb says python - extra
- libz3-dev: Override says libdevel - optional, .deb says libdevel - extra
- libz3-jni: Override says java - optional, .deb says java - extra
- libz3-ocaml-dev: Override says libdevel - optional, .deb says ocaml - extra
- z3: Override says science - optional, .deb says science - extra
news RSS
- [2023-02-04] z3 4.8.12-3.1 MIGRATED to testing (Britney)
- [2023-02-01] Accepted 4.8.12-3.1 in unstable (medium) (Debian FTP Masters)
- [2022-11-08] z3 4.8.12-3 MIGRATED to testing (Britney)
- [2022-10-21] Accepted 4.8.12-3 in unstable (medium) (Debian FTP Masters)
- [2021-09-20] z3 4.8.12-1 MIGRATED to testing (Britney)
- [2021-09-11] Accepted 4.8.12-1 in unstable (medium) (Debian FTP Masters)
- [2021-02-01] z3 4.8.10-1 MIGRATED to testing (Britney)
- [2021-01-29] Accepted 4.8.10-1 in unstable (medium) (Debian FTP Masters)
- [2020-09-30] z3 4.8.9-1 MIGRATED to testing (Britney)
- [2020-09-21] Accepted 4.8.9-1 in unstable (medium) (Debian FTP Masters)
- [2020-06-09] z3 4.8.8-1 MIGRATED to testing (Britney)
- [2020-06-06] Accepted 4.8.8-1 in unstable (medium) (Debian FTP Masters)
- [2020-01-16] z3 4.8.7-4 MIGRATED to testing (Britney)
- [2020-01-13] Accepted 4.8.7-4 in unstable (medium) (Fabian Wolff)
- [2020-01-12] Accepted 4.8.7-3 in unstable (medium) (Fabian Wolff)
- [2019-12-11] z3 4.8.7-2 MIGRATED to testing (Britney)
- [2019-12-09] Accepted 4.8.7-2 in unstable (medium) (Fabian Wolff)
- [2019-12-08] Accepted 4.8.7-1 in unstable (medium) (Fabian Wolff)
- [2019-10-19] z3 4.8.6-2 MIGRATED to testing (Britney)
- [2019-10-14] Accepted 4.8.6-2 in unstable (medium) (Fabian Wolff)
- [2019-10-11] Accepted 4.8.6-1 in unstable (medium) (Fabian Wolff)
- [2019-09-09] z3 4.8.4-1 MIGRATED to testing (Britney)
- [2019-09-04] Accepted 4.8.4-1 in unstable (medium) (Fabian Wolff)
- [2019-08-25] Accepted 4.4.1-1~deb9u1 in stretch (medium) (Andreas Beckmann)
- [2019-08-25] Accepted 4.4.1-1~deb10u1 in buster (medium) (Andreas Beckmann)
- [2019-08-22] z3 4.4.1-1 MIGRATED to testing (Britney)
- [2019-08-17] Accepted 4.4.1-1 in unstable (medium) (Gianfranco Costamagna)
- [2019-04-16] Accepted 4.4.1-0.5~exp1 in experimental (medium) (Sylvestre Ledru)
- [2018-12-07] Accepted 4.4.1-0.4~deb9u1 in stretch (medium) (Adrian Bunk)
- [2018-09-17] z3 4.4.1-0.4 MIGRATED to testing (Britney)
