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

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

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