general
- source
- alt-ergo (source, math)
- version
- 2.4.1-3
- maint
- Debian OCaml Maintainers (a), Mehdi Dogguy (u), Ralf Treinen (u)
- std-ver
- 4.6.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.6.1 instead of 4.6.0).
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:
In debian/watch no matching files for watch line https://github.com/OCamlPro/alt-ergo/releases .*/archive/([0-9.]*)\.tar\.gz
testing migration
excuses:- Migration status for alt-ergo (2.0.0-8 to 2.4.1-3): BLOCKED: Maybe temporary, maybe blocked but Britney is missing information (check below)
- Issues preventing migration:
- missing build on armel
- missing build on mips64el
- missing build on mipsel
- autopkgtest for alt-ergo/2.4.1-3: amd64: Pass, arm64: Pass, armhf: Pass, i386: Pass, ppc64el: Pass, s390x: Test in progress
- autopkgtest for frama-c/20211203-chromium-1: amd64: Pass, arm64: Pass, armhf: Pass, i386: Pass, ppc64el: Pass, s390x: Test in progress
- autopkgtest for why3/1.4.1-2: amd64: Pass, arm64: Pass, armhf: Pass, i386: Pass, ppc64el: Pass, s390x: Test in progress
- Too young, only 1 of 5 days old
- Build-Depends(-Arch): alt-ergo cmdliner
news RSS
- [2022-07-04] Accepted 2.4.1-4 in unstable (medium) (Debian FTP Masters)
- [2022-06-29] Accepted 2.4.1-3 in unstable (medium) (Debian FTP Masters)
- [2022-05-28] Accepted 2.4.1-2 in unstable (medium) (Debian FTP Masters)
- [2022-04-22] Accepted 2.4.1-1 in unstable (medium) (Debian FTP Masters)
- [2021-11-10] alt-ergo 2.0.0-8 MIGRATED to testing (Britney)
- [2021-10-27] Accepted 2.0.0-8 in unstable (low) (Debian FTP Masters)
- [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)
