acl2
Computational Logic for Applicative Common Lisp: main binary
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/acl2
general
source
acl2
(
source
,
math
)
version
8.5dfsg-1
maint
Camm Maguire
arch
any all
std-ver
4.5.1
versions
o-o-stable
7.2dfsg-3
oldstable
8.0dfsg-1
stable
8.3dfsg-2
testing
8.5dfsg-1
unstable
8.5dfsg-1
Ubuntu
8.3dfsg-2
binaries
acl2
(
1 bugs
:
0
,
0
,
1
,
0
)
acl2-books
(
0 bugs
:
0
,
0
,
0
,
0
)
acl2-books-certs
(
0 bugs
:
0
,
0
,
0
,
0
)
acl2-books-source
(
0 bugs
:
0
,
0
,
0
,
0
)
acl2-doc
(
0 bugs
:
0
,
0
,
0
,
0
)
acl2-infix
(
0 bugs
:
0
,
0
,
0
,
0
)
acl2-infix-source
(
0 bugs
:
0
,
0
,
0
,
0
)
acl2-source
(
0 bugs
:
0
,
0
,
0
,
0
)
elpa-acl2
(
0 bugs
:
0
,
0
,
0
,
0
)
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)
bugs
all
1
RC
0
I&N
0
M&W
1
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
lintian
(
0
,
16
)
popcon
debtags
screenshots:
1
,
2
,
3
,
4
,
5
,
6
,
7
,
8
RDF meta-data
browse source code
patches
Debian
8.0dfsg-1
8.3dfsg-2
8.5dfsg-1
8.5dfsg-1