Go
Register
|
Log in
Subscribe
acl2
Computational Logic for Applicative Common Lisp: main binary
×
Choose email to subscribe with
general
source:
acl2
(
main
)
version:
8.
6+
dfsg-
3
maintainer:
Camm Maguire
(
DMD
)
arch:
all any
std-ver:
4.7.2
VCS:
unknown
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
o-o-stable:
8.0dfsg-1
oldstable:
8.3dfsg-2
stable:
8.5dfsg-5
testing:
8.
6+
dfsg-
2
unstable:
8.
6+
dfsg-
3
versioned links
8.0dfsg-1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
8.3dfsg-2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
8.5dfsg-5:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
8.
6+
dfsg-
2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
8.
6+
dfsg-
3:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
acl2
acl2-books
acl2-books-certs
acl2-books-source
acl2-doc
acl2-infix
acl2-infix-source
acl2-source
elpa-acl2
action needed
The package has not entered testing even though the delay is over
normal
The package has not entered
testing
even though the 20-day delay is over.
Check why
.
lintian reports
14 warnings
normal
Lintian reports
14 warnings
about this package. You should make the package
lintian clean
getting rid of them.
Build log checks report
2 warnings
low
Build log checks
report
2 warnings
testing migrations
excuses
:
Migration status for acl2 (8.6+dfsg-2 to 8.6+dfsg-3): BLOCKED: Needs an approval (either due to a freeze, the source suite or a manual hint)
Issues preventing migration:
∙ ∙ blocked by freeze: does not have autopkgtest (Follow the
freeze policy
when applying for an unblock)
Additional info:
∙ ∙ Piuparts tested OK -
https://piuparts.debian.org/sid/source/a/acl2.html
∙ ∙ Waiting for reproducibility test results on amd64 -
info
♻
∙ ∙ Waiting for reproducibility test results on arm64 -
info
♻
∙ ∙ Waiting for reproducibility test results on armhf -
info
♻
∙ ∙ 31 days old (needed 20 days)
Not considered
news
[rss feed]
[
2025-05-14
]
Accepted acl2 8.6+dfsg-3 (source) into unstable
(
Camm Maguire
)
[
2025-05-08
]
acl2 8.6+dfsg-2 MIGRATED to testing
(
Debian testing watch
)
[
2025-04-27
]
Accepted acl2 8.6+dfsg-2 (source) into unstable
(
Camm Maguire
)
[
2025-04-26
]
Accepted acl2 8.6+dfsg-1 (source) into unstable
(
Camm Maguire
)
[
2024-08-03
]
acl2 8.5dfsg-6 MIGRATED to testing
(
Debian testing watch
)
[
2024-07-28
]
Accepted acl2 8.5dfsg-6 (source) into unstable
(
Camm Maguire
)
[
2023-01-24
]
acl2 8.5dfsg-5 MIGRATED to testing
(
Debian testing watch
)
[
2023-01-16
]
Accepted acl2 8.5dfsg-5 (source) into unstable
(
Camm Maguire
)
[
2023-01-14
]
Accepted acl2 8.5dfsg-4 (source) into unstable
(
Camm Maguire
)
[
2023-01-07
]
acl2 8.5dfsg-3 MIGRATED to testing
(
Debian testing watch
)
[
2022-12-30
]
Accepted acl2 8.5dfsg-3 (source) into unstable
(
Camm Maguire
)
[
2022-12-30
]
acl2 8.5dfsg-2 MIGRATED to testing
(
Debian testing watch
)
[
2022-12-30
]
acl2 8.5dfsg-2 MIGRATED to testing
(
Debian testing watch
)
[
2022-12-22
]
Accepted acl2 8.5dfsg-2 (source) into unstable
(
Camm Maguire
)
[
2022-08-04
]
acl2 8.5dfsg-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-07-27
]
Accepted acl2 8.5dfsg-1 (source) into unstable
(
Camm Maguire
)
[
2021-11-08
]
acl2 8.4dfsg-2 MIGRATED to testing
(
Debian testing watch
)
[
2021-11-01
]
Accepted acl2 8.4dfsg-2 (source) into unstable
(
Camm Maguire
)
[
2021-10-28
]
Accepted acl2 8.4dfsg-1 (source) into unstable
(
Camm Maguire
)
[
2021-10-17
]
acl2 8.3dfsg-4 MIGRATED to testing
(
Debian testing watch
)
[
2021-10-11
]
Accepted acl2 8.3dfsg-4 (source) into unstable
(
Camm Maguire
)
[
2021-09-13
]
Accepted acl2 8.3dfsg-3 (source all amd64) into unstable, unstable
(
Debian FTP Masters
)
(signed by:
Camm Maguire
)
[
2021-02-02
]
acl2 8.3dfsg-2 MIGRATED to testing
(
Debian testing watch
)
[
2021-01-27
]
Accepted acl2 8.3dfsg-2 (source) into unstable
(
Camm Maguire
)
[
2020-08-29
]
acl2 8.3dfsg-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-08-24
]
Accepted acl2 8.3dfsg-1 (source) into unstable
(
Camm Maguire
)
[
2020-01-05
]
acl2 8.2dfsg-3 MIGRATED to testing
(
Debian testing watch
)
[
2019-12-31
]
Accepted acl2 8.2dfsg-3 (source) into unstable
(
Camm Maguire
)
[
2019-12-26
]
Accepted acl2 8.2dfsg-2 (source) into unstable
(
Camm Maguire
)
[
2019-12-19
]
Accepted acl2 8.2dfsg-1 (source) into unstable
(
Camm Maguire
)
1
2
bugs
[bug history graph]
all:
0
links
homepage
lintian
(
0
,
14
)
buildd:
logs
,
checks
,
cross
popcon
browse source code
edit tags
other distros
screenshots
ubuntu
[Information about Ubuntu for Debian Developers]
version:
8.6+dfsg-3
![[bug history graph]](https://qa.debian.org/data/bts/graphs/a/acl2.png){kind=link}