general
- source
- proofgeneral (optional, editors)
- version
- 3.7-3.1
- maint
- Stefan Schimanski
- std-ver
- 3.7.3
todo
- Incorporate and acknowledge the changes from the non maintainer upload.
- Lintian reports 2 errors and 1 warning 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.8.3 instead of 3.7.3).
problems
- There were override disparities found in suite unstable:
- proofgeneral-coq: Override says editors - optional, .deb says science - optional
- proofgeneral-minlog: Override says editors - optional, .deb says science - optional
- proofgeneral-misc: Override says editors - optional, .deb says science - optional
- proofgeneral: Override says editors - optional, .deb says science - optional
- 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 #554263 for more information.
news RSS
- [2009-10-07] proofgeneral 3.7-3.1 MIGRATED to testing (Britney)
- [2009-09-26] Accepted 3.7-3.1 in unstable (low) (Christian Perrier)
- [2008-04-13] proofgeneral 3.7-3 MIGRATED to testing (Britney)
- [2008-04-02] Accepted 3.7-3 in unstable (low) (Stefan Schimanski)
- [2008-03-30] proofgeneral 3.7-2 MIGRATED to testing (Britney)
- [2008-03-19] Accepted 3.7-2 in unstable (low) (Stefan Schimanski)
- [2008-03-18] Accepted 3.7-1 in unstable (low) (Stefan Schimanski)
- [2007-11-01] proofgeneral 3.5-6 MIGRATED to testing (Britney)
- [2007-10-21] Accepted 3.5-6 in unstable (low) (Stefan Schimanski)
- [2006-12-30] proofgeneral 3.5-4.1 MIGRATED to testing (Britney)
- [2006-12-19] Accepted 3.5-4.1 in unstable (low) (Christian Perrier)
- [2006-12-14] Accepted 3.5-4 in unstable (low) (Stefan Schimanski)
- [2006-11-08] proofgeneral 3.5-3.1 MIGRATED to testing (Britney)
- [2006-10-26] Accepted 3.5-3.1 in unstable (low) (Christian Perrier)
- [2004-08-20] Accepted 3.5-3 in unstable (low) (Stefan Schimanski)
- [2004-08-20] Accepted 3.5-2 in unstable (low) (Stefan Schimanski)
- [2004-08-20] Accepted 3.5-1 in unstable (low) (Stefan Schimanski)
- [2003-08-30] Accepted 3.4-14 in unstable (low) (Stefan Schimanski)
- [2003-08-25] Accepted 3.4-13 in unstable (low) (Stefan Schimanski)
- [2002-10-08] Accepted 3.4-12 in unstable (low) (Stefan Schimanski)
- [2002-09-26] Accepted 3.4-10 in unstable (low) (Stefan Schimanski)
- [2002-09-24] Accepted 3.4-9 in unstable (low) (Stefan Schimanski)
- [2002-09-23] Accepted 3.4-8 in unstable (low) (Stefan Schimanski)
|
|
Debian
Package Tracking System - Copyright ©
2002-2009 Raphaël Hertzog, Stefano Zacchiroli and
others. |
|