A new upstream version 2009-11A is available, you should consider packaging it.
Standards version of the package is outdated.
high
The package is severely out of date with respect to the Debian Policy.The package should be updated to follow the last version of Debian Policy
(Standards-Version 4.1.4 instead of
3.9.4).
Depends on packages which need a new maintainer
normal
The packages that prover9-manual depends on which need a new maintainer are:
This package has been
orphaned. This means that it does not have a real
maintainer at the moment. Please consider adopting this package
if you are interested in it. Please see bug number #681044 for more information.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/p/prover9-manual.png){kind=link}