general
- source
- prover9-manual (optional, doc)
- version
- 0.0.200902a-1
- maint
- Peter Collingbourne
- std-ver
- 3.8.1
- VCS
- Bazaar
todo
- Lintian reports 1 error and 5 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 3.9.3 instead of 3.8.1).
- The BTS contains patches fixing 2 bugs, consider including or untagging them.
news RSS
- [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)
patch-tracker
- oldstable
- 0.0.200806a-1
- stable
- 0.0.200902a-1
- testing
- 0.0.200902a-1
- unstable
- 0.0.200902a-1
|
|
Debian
Package Tracking System - Copyright ©
2002-2009 Raphaël Hertzog, Stefano Zacchiroli and
others. |
|