general
- source
- prover9-manual (source, doc)
- version
- 0.0.200902a-2.1
- maint
- Debian QA Group
- std-ver
- 3.9.4
- VCS
- Git (browse)
versions
- o-o-stable
-
0.0.200902a-2
- oldstable
-
0.0.200902a-2.1
- stable
-
0.0.200902a-2.1
- testing
-
0.0.200902a-2.1
- unstable
-
0.0.200902a-2.1
- Ubuntu
- 0.0.200902a-2.1
todo
- Incorporate and acknowledge the changes from the non maintainer upload.
- Lintian reports 7 warnings about this package. You should make the package lintian clean getting rid of them.
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.2 instead of 3.9.4).
- A new upstream version is available: 2009-11A, you should consider packaging it.
problems
- The package is severely out of date with respect to the Debian Policy. Latest version is 4.6.2 and your package only follows 3.9.4...
- 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.
news RSS
- [2021-01-11] prover9-manual 0.0.200902a-2.1 MIGRATED to testing (Britney)
- [2021-01-05] Accepted 0.0.200902a-2.1 in unstable (medium) (Debian FTP Masters)
- [2013-05-15] prover9-manual 0.0.200902a-2 MIGRATED to testing (Britney)
- [2013-05-04] Accepted 0.0.200902a-2 in unstable (low) (tony mancill)
- [2009-03-25] prover9-manual 0.0.200902a-1 MIGRATED to testing (Britney)
- [2009-03-15] Accepted 0.0.200902a-1 in unstable (low) (Peter Collingbourne)
- [2009-02-27] prover9-manual 0.0.200811a-1 MIGRATED to testing (Britney)
- [2009-02-17] Accepted 0.0.200811a-1 in unstable (low) (Peter Collingbourne)
- [2009-02-16] prover9-manual 0.0.200809a-1 MIGRATED to testing (Britney)
- [2008-09-14] Accepted 0.0.200809a-1 in unstable (low) (Peter Collingbourne)
- [2008-07-10] prover9-manual 0.0.200806a-1 MIGRATED to testing (Britney)
- [2008-06-29] Accepted 0.0.200806a-1 in unstable (low) (Peter Collingbourne)
- [2008-06-08] prover9-manual 0.0.200805a-1 MIGRATED to testing (Britney)
- [2008-05-28] Accepted 0.0.200805a-1 in unstable (low) (Peter Collingbourne)
- [2008-04-20] prover9-manual 0.0.200804a-1 MIGRATED to testing (Britney)
- [2008-04-09] Accepted 0.0.200804a-1 in unstable (low) (Peter Collingbourne)
- [2008-03-31] prover9-manual 0.0.200712-2 MIGRATED to testing (Britney)
- [2008-03-20] Accepted 0.0.200712-2 in unstable (low) (Peter Collingbourne)
- [2008-03-08] prover9-manual 0.0.200712-1 MIGRATED to testing (Britney)
- [2008-02-25] Accepted 0.0.200712-1 in unstable (low) (Peter Collingbourne)
