general
- source
- alt-ergo (source, math)
- version
- 0.94-2
- maint
- Debian OCaml Maintainers, Mehdi Dogguy (u)
- std-ver
- 3.8.4
- VCS
- Git (browse)
todo
- Lintian reports 2 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.4).
testing migration
excuses:- Too young, only 1 of 2 days old
- Updating alt-ergo fixes old bugs: #669539
- Not considered
news RSS
- [2012-05-14] Accepted 0.94-2 in unstable (high) (Mehdi Dogguy)
- [2011-12-26] alt-ergo 0.94-1 MIGRATED to testing (Britney)
- [2011-12-15] Accepted 0.94-1 in unstable (low) (Mehdi Dogguy)
- [2011-04-30] alt-ergo 0.93-3 MIGRATED to testing (Britney)
- [2011-04-16] Accepted 0.93-3 in unstable (low) (Mehdi Dogguy)
- [2011-04-15] Accepted 0.93-2 in unstable (low) (Mehdi Dogguy)
- [2011-04-15] Accepted 0.93-1 in unstable (low) (Mehdi Dogguy)
- [2010-06-12] alt-ergo 0.91-2 MIGRATED to testing (Britney)
- [2010-06-01] Accepted 0.91-2 in unstable (low) (Mehdi Dogguy)
- [2010-06-01] Accepted 0.91-1 in unstable (low) (Mehdi Dogguy)
- [2009-08-04] alt-ergo 0.9-1 MIGRATED to testing (Britney)
- [2009-08-03] alt-ergo 0.9-1 MIGRATED to testing (Britney)
- [2009-07-07] Accepted 0.9-1 in unstable (low) (Mehdi Dogguy)
- [2009-04-15] alt-ergo 0.8-1 MIGRATED to testing (Britney)
- [2009-04-04] Accepted 0.8-1 in unstable (low) (Mehdi Dogguy)
|
|
Debian
Package Tracking System - Copyright ©
2002-2009 Raphaël Hertzog, Stefano Zacchiroli and
others. |
|