Go:
Switch style:
Default
Compact
Legacy
Overview of
acl2
source package
General information
Latest version
3.3-1.1
Maintainer
Camm Maguire
Uploaders
None
Standards version
3.7.2
Priority
optional
Section
math
Available versions
Oldstable
2.9-2
Stable
3.1-1
Testing
3.1-1
Unstable
3.3-1.1
Source package
Files
.dsc
.orig
.diff
Binary package(s)
acl2
(
2 bugs
:
0
,
0
,
2
,
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-emacs
(
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
)
Todo
Incorporate and acknowledge the changes from the non maintainer upload.
The package should be updated to follow the last version of
Debian Policy
(Standards-Version 3.8.0 instead of 3.7.2).
Problems
The package has not yet entered
testing
even though the 10-day delay is over.
Check why
.
Testing status
89 days old (needed 10 days)
out of date on arm: acl2, acl2-books, acl2-infix (from 3.3-1)
out of date on hppa: acl2, acl2-books, acl2-infix (from 3.1-1)
out of date on ia64: acl2, acl2-books, acl2-infix (from 3.3-1)
out of date on mips: acl2, acl2-books, acl2-infix (from 3.3-1)
out of date on mipsel: acl2, acl2-books, acl2-infix (from 3.3-1)
Not considered
Latest news
RSS
[2008-04-06]
Accepted 3.3-1.1 in unstable (low)
(Peter Eisentraut)
[2007-12-03]
Accepted 3.3-1 in unstable (low)
(Camm Maguire)
[2007-05-17]
Accepted 3.2-1 in unstable (low)
(Camm Maguire)
[2007-01-09]
acl2 3.1-1 MIGRATED to testing
(Britney)
[2006-12-04]
Accepted 3.1-1 in unstable (low)
(Camm Maguire)
[2006-10-19]
Accepted 3.0.1-8 in unstable (low)
(Camm Maguire)
[2006-10-18]
Accepted 3.0.1-7 in unstable (low)
(Camm Maguire)
[2006-10-18]
Accepted 3.0.1-6 in unstable (low)
(Camm Maguire)
[2006-10-17]
Accepted 3.0.1-5 in unstable (low)
(Camm Maguire)
[2006-10-12]
Accepted 3.0.1-4 in unstable (low)
(Camm Maguire)
[2006-10-11]
Accepted 3.0.1-3 in unstable (low)
(Camm Maguire)
[2006-08-03]
Accepted 3.0.1-1 in unstable (low)
(Camm Maguire)
[2006-06-10]
Accepted 3.0-1 in unstable (low)
(Camm Maguire)
[2005-10-20]
Accepted 2.9.3-7 in unstable (low)
(Camm Maguire)
[2005-10-13]
Accepted 2.9.3-6 in unstable (low)
(Camm Maguire)
[2005-10-06]
Accepted 2.9.3-5 in unstable (low)
(Camm Maguire)
[2005-10-03]
Accepted 2.9.3-4 in unstable (low)
(Camm Maguire)
[2005-09-29]
Accepted 2.9.3-3 in unstable (low)
(Camm Maguire)
[2005-09-21]
Accepted 2.9.3-2 in unstable (high)
(Camm Maguire)
[2005-08-12]
Accepted 2.9.3-1 in unstable (low)
(Camm Maguire)
[2005-06-10]
Accepted 2.9.2-1 in unstable (low)
(Camm Maguire)
[2005-02-22]
Accepted 2.9.1-1 in unstable (high)
(Camm Maguire)
[2004-11-11]
Accepted 2.9-2 in unstable (high)
(Camm Maguire)
[2004-10-28]
Accepted 2.9-1 in unstable (high)
(Camm Maguire)
[2004-09-17]
Accepted 2.8-5 in unstable (low)
(Camm Maguire)
[2004-05-31]
Accepted 2.8-4 in unstable (low)
(Camm Maguire)
[2004-05-12]
Accepted 2.8-3 in unstable (low)
(Camm Maguire)
[2004-04-30]
Accepted 2.8-2 in unstable (low)
(Camm Maguire)
[2004-04-22]
Accepted 2.8-1 in unstable (low)
(Camm Maguire)
[2004-02-16]
Accepted 2.7-9 in unstable (low)
(Camm Maguire)
Bugs count
All bugs (
graph
)
2
RC
bugs
0
I&N
bugs
0
M&W
bugs
2
F&P
bugs
0
PTS
subscription
Subscribers count
1
Subscribe
Unsubscribe
Advanced mode
Other links
Changelog
/
Copyright
Buildd:
logs
,
more
,
exp
,
ports
Debcheck on:
unstable
testing
stable
Lintian report
Popcon stats
Ubuntu
Version:
3.3-1.1
1 open bugs