z3
theorem prover from Microsoft Research

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/z3

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)

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.6.2 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

bugs

all bug history graph
6
RC
0
I&N
1
M&W
5
F&P
0