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-5
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-3
unstable
8.5dfsg-5
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.2
instead of
4.5.1
).
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)
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-3
8.5dfsg-5