general
- source
- alt-ergo (source, math)
- version
- 1.30-1
- maint
- Debian OCaml Maintainers (a), Mehdi Dogguy (u), Ralf Treinen (u)
- std-ver
- 3.9.8
- VCS
- Git (browse)
todo
- Lintian reports 1 error and 2 warnings about this package. You should make the package lintian clean getting rid of them.
problems
- The package has a debian/watch file, but the last attempt to use it for checking for newer upstream versions failed with an error:
news RSS
- [2016-12-23] alt-ergo 1.30-1 MIGRATED to testing (Britney)
- [2016-12-12] Accepted 1.30-1 in unstable (medium) (Ralf Treinen)
- [2016-03-07] alt-ergo 1.01-1 MIGRATED to testing (Britney)
- [2016-03-01] Accepted 1.01-1 in unstable (medium) (Ralf Treinen)
- [2015-06-18] alt-ergo 0.99.1+dfsg1-4 MIGRATED to testing (Britney)
- [2015-06-07] Accepted 0.99.1+dfsg1-4 in unstable (low) (Ralf Treinen)
- [2015-06-01] alt-ergo 0.99.1+dfsg1-3 MIGRATED to testing (Britney)
- [2015-05-26] Accepted 0.99.1+dfsg1-3 in unstable (medium) (Ralf Treinen)
- [2015-05-10] alt-ergo 0.99.1+dfsg1-2 MIGRATED to testing (Britney)
- [2015-05-04] Accepted 0.99.1+dfsg1-2 in unstable (low) (Ralf Treinen)
- [2014-12-31] Accepted 0.99.1+dfsg1-1 in experimental (medium) (Ralf Treinen)
- [2014-05-03] alt-ergo 0.95.2-3 MIGRATED to testing (Britney)
- [2014-04-27] Accepted 0.95.2-3 in sid (medium) (Mehdi Dogguy)
- [2014-04-05] alt-ergo 0.95.2-2 MIGRATED to testing (Britney)
- [2014-03-30] Accepted 0.95.2-2 in sid (medium) (Mehdi Dogguy)
- [2013-11-28] alt-ergo 0.95.2-1 MIGRATED to testing (Britney)
- [2013-11-17] Accepted 0.95.2-1 in sid (low) (Ralf Treinen)
- [2013-09-04] alt-ergo 0.95.1-3 MIGRATED to testing (Britney)
- [2013-08-24] Accepted 0.95.1-3 in unstable (low) (Ralf Treinen)
- [2013-05-24] alt-ergo 0.95.1-2 MIGRATED to testing (Britney)
- [2013-05-10] Accepted 0.95.1-2 in unstable (low) (Ralf Treinen)
- [2013-04-17] Accepted 0.95.1-1 in experimental (low) (Ralf Treinen)
- [2012-05-17] alt-ergo 0.94-2 MIGRATED to testing (Britney)
- [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)
