todo
- Lintian reports 16 warnings about this package. You should make the package lintian clean getting rid of them.
- Build log checks report 2 warnings about this package.
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.1 instead of 4.5.1).
testing migration
excuses:- Migration status for acl2 (8.4dfsg-2 to 8.5dfsg-1): BLOCKED: Maybe temporary, maybe blocked but Britney is missing information (check below)
- Issues preventing migration:
- missing build on arm64
- missing build on armel
- missing build on armhf
- missing build on mips64el
- missing build on mipsel
- arch:arm64 not built yet, autopkgtest delayed there
- arch:armel not built yet, autopkgtest delayed there
- arch:armhf not built yet, autopkgtest delayed there
- Too young, only 1 of 5 days old
news RSS
- [2022-08-04] acl2 8.5dfsg-1 MIGRATED to testing (Britney)
- [2022-07-27] Accepted 8.5dfsg-1 in unstable (medium) (Debian FTP Masters)
- [2021-11-08] acl2 8.4dfsg-2 MIGRATED to testing (Britney)
- [2021-11-01] Accepted 8.4dfsg-2 in unstable (medium) (Debian FTP Masters)
- [2021-10-28] Accepted 8.4dfsg-1 in unstable (medium) (Debian FTP Masters)
- [2021-10-17] acl2 8.3dfsg-4 MIGRATED to testing (Britney)
- [2021-10-11] Accepted 8.3dfsg-4 in unstable (medium) (Debian FTP Masters)
- [2021-09-13] Accepted 8.3dfsg-3 in unstable (medium) (Debian FTP Masters)
- [2021-02-02] acl2 8.3dfsg-2 MIGRATED to testing (Britney)
- [2021-01-27] Accepted 8.3dfsg-2 in unstable (medium) (Debian FTP Masters)
- [2020-08-29] acl2 8.3dfsg-1 MIGRATED to testing (Britney)
- [2020-08-24] Accepted 8.3dfsg-1 in unstable (medium) (Debian FTP Masters)
- [2020-01-05] acl2 8.2dfsg-3 MIGRATED to testing (Britney)
- [2019-12-31] Accepted 8.2dfsg-3 in unstable (medium) (Camm Maguire)
- [2019-12-26] Accepted 8.2dfsg-2 in unstable (medium) (Camm Maguire)
- [2019-12-19] Accepted 8.2dfsg-1 in unstable (medium) (Camm Maguire)
- [2019-12-15] acl2 8.1dfsg-6 MIGRATED to testing (Britney)
- [2019-12-09] Accepted 8.1dfsg-6 in unstable (medium) (Camm Maguire)
- [2019-12-08] Accepted 8.1dfsg-5 in unstable (medium) (Camm Maguire)
- [2019-11-17] acl2 REMOVED from testing (Britney)
- [2019-10-31] Accepted 8.1dfsg-4 in unstable (medium) (Camm Maguire)
- [2019-04-04] Accepted 8.1dfsg-3 in unstable (medium) (Camm Maguire)
- [2019-03-30] Accepted 8.1dfsg-2 in unstable (medium) (Camm Maguire)
- [2019-03-03] Accepted 8.1dfsg-1 in unstable (medium) (Camm Maguire)
- [2019-02-13] acl2 8.0dfsg-1 MIGRATED to testing (Britney)
- [2018-01-13] Accepted 8.0dfsg-1 in unstable (medium) (Camm Maguire)
- [2017-10-08] acl2 7.4dfsg-4 MIGRATED to testing (Britney)
- [2017-10-02] Accepted 7.4dfsg-4 in unstable (medium) (Camm Maguire)
- [2017-08-14] acl2 7.4dfsg-3.1 MIGRATED to testing (Britney)
- [2017-08-09] Accepted 7.4dfsg-3.1 in unstable (medium) (Sean Whitton)
