general
-
source:
acl2
(main)
-
version:
8.7+dfsg-3
-
maintainer:
Camm Maguire
(DMD)
-
arch:
all any
-
std-ver:
4.7.2
-
VCS:
unknown
action needed
Standards version of the package is outdated.
wishlist
The package should be updated to follow the last version of Debian Policy
(Standards-Version 4.7.4 instead of
4.7.2).
testing migrations
-
excuses:
- Migration status for acl2 (8.7+dfsg-2 to 8.7+dfsg-3): BLOCKED: Maybe temporary, maybe blocked but Britney is missing information (check below)
- Issues preventing migration:
- ∙ ∙ Missing build on riscv64
- ∙ ∙ Autopkgtest deferred on riscv64: missing arch:riscv64 build
- ∙ ∙ Lintian check waiting for test results - info
- ∙ ∙ Reproducibility check waiting for results on amd64 - info
- ∙ ∙ Reproducibility check waiting for results on arm64 - info
- ∙ ∙ Reproducibility check waiting for results on armhf - info
- ∙ ∙ Reproducibility check waiting for results on i386 - info
- ∙ ∙ Too young, only 0 of 5 days old
- Additional info (not blocking):
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/a/acl2.html
- Not considered
![[bug history graph]](https://qa.debian.org/data/bts/graphs/a/acl2.png){kind=link}