general
- source
- alt-ergo (source, math)
- version
- 2.0.0-7
- maint
- Debian OCaml Maintainers (a), Mehdi Dogguy (u), Ralf Treinen (u)
- std-ver
- 4.5.0
- 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 4.5.1 instead of 4.5.0).
- A new upstream version is available: 2.3.3, you should consider packaging it.
news RSS
- [2020-08-13] alt-ergo 2.0.0-7 MIGRATED to testing (Britney)
- [2020-08-11] Accepted 2.0.0-7 in unstable (medium) (Debian FTP Masters)
- [2020-04-20] alt-ergo 2.0.0-6 MIGRATED to testing (Britney)
- [2020-04-15] Accepted 2.0.0-6 in unstable (medium) (Debian FTP Masters)
- [2020-04-07] alt-ergo 2.0.0-5 MIGRATED to testing (Britney)
- [2020-04-06] alt-ergo REMOVED from testing (Britney)
- [2019-09-03] alt-ergo 2.0.0-5 MIGRATED to testing (Britney)
- [2019-09-01] Accepted 2.0.0-5 in unstable (medium) (Stéphane Glondu)
- [2019-08-04] alt-ergo 2.0.0-4 MIGRATED to testing (Britney)
- [2019-07-31] Accepted 2.0.0-4 in unstable (high) (Stéphane Glondu)
- [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)
