general
- source
- alt-ergo (source, math)
- version
- 2.0.0-3
- maint
- Debian OCaml Maintainers (a), Mehdi Dogguy (u), Ralf Treinen (u)
- std-ver
- 4.3.0
- VCS
- Git (browse)
todo
- Lintian reports 5 warnings about this package. You should make the package lintian clean getting rid of them.
news RSS
- [2019-02-24] alt-ergo 2.0.0-3 MIGRATED to testing (Britney)
- [2019-02-14] Accepted 2.0.0-3 in unstable (medium) (Ralf Treinen)
- [2019-02-13] Accepted 2.0.0-2 in unstable (medium) (Ralf Treinen)
- [2019-02-13] Accepted 2.0.0-1 in unstable (medium) (Ralf Treinen)
- [2018-11-16] alt-ergo 1.30+dfsg1-2 MIGRATED to testing (Britney)
- [2018-11-13] Accepted 1.30+dfsg1-2 in unstable (medium) (Ralf Treinen)
- [2018-01-03] alt-ergo 1.30+dfsg1-1 MIGRATED to testing (Britney)
- [2017-12-21] Accepted 1.30+dfsg1-1 in unstable (medium) (Ralf Treinen)
- [2017-12-20] alt-ergo REMOVED from testing (Britney)
- [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)
