todo
- Lintian reports 25 errors and 113 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.7.0 instead of 4.5.1).
- The BTS contains patches fixing 1 bug, consider including or untagging it.
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/acl2-devel/acl2-devel/releases .*/acl2-v?(\d\S*)\.tar\.gz
testing migration
excuses:- Migration status for acl2 (8.5dfsg-3 to 8.5dfsg-5): BLOCKED: Maybe temporary, maybe blocked but Britney is missing information (check below)
- Issues preventing migration:
- missing build on amd64
- missing build on arm64
- missing build on armel
- missing build on armhf
- missing build on i386
- missing build on mips64el
- missing build on mipsel
- missing build on ppc64el
- missing build on s390x
- missing build on all
- arch:all not built yet, autopkgtest delayed
- Too young, only 1 of 5 days old
- Build-Depends(-Arch): acl2 gcl
news RSS
- [2023-01-24] acl2 8.5dfsg-5 MIGRATED to testing (Britney)
- [2023-01-16] Accepted 8.5dfsg-5 in unstable (medium) (Debian FTP Masters)
- [2023-01-14] Accepted 8.5dfsg-4 in unstable (medium) (Debian FTP Masters)
- [2023-01-07] acl2 8.5dfsg-3 MIGRATED to testing (Britney)
- [2022-12-30] Accepted 8.5dfsg-3 in unstable (medium) (Debian FTP Masters)
- [2022-12-30] acl2 8.5dfsg-2 MIGRATED to testing (Britney)
- [2022-12-22] Accepted 8.5dfsg-2 in unstable (medium) (Debian FTP Masters)
- [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)
