z3
theorem prover from Microsoft Research

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

general

source
z3 (extra, misc)
version
4.4.1-0.3
maint
Michael Tautschnig
std-ver
3.9.6

todo

  • Incorporate and acknowledge the changes from the non maintainer upload.
  • Lintian reports 20 warnings about this package. You should make the package lintian clean getting rid of them.
  • Build log checks report 1 warning about this package.
  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.1.3 instead of 3.9.6).
  • A new upstream version is available: 4.6.0, you should consider packaging it.

problems

  • The package is severely out of date with respect to the Debian Policy. Latest version is 4.1.3 and your package only follows 3.9.6...
  • 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
4
RC
0
I&N
3
M&W
1
F&P
0
Ubu
1