Overview of acl2 source package

General information
Latest version	3.4-1
Maintainer	Camm Maguire
Conforms to	3.8.0
Priority	optional
Section	math
Available versions
Oldstable	2.9-2
Stable	3.1-1
Testing	3.1-1
Unstable	3.4-1

Source package
Files	.dsc .orig .diff
Binary packages
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-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)

Testing status

Excuses:

Too young, only 2 of 10 days old
Unblock request by freeze-exception ignored due to version mismatch: 3.3-1.1
Not touching package, as requested by freeze (contact debian-release if update is needed)
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 sparc: acl2, acl2-books, acl2-infix (from 3.3-1.1)
Not considered

Latest news RSS

[2008-08-25] Accepted 3.4-1 in unstable (low) (Camm Maguire)
[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)

Bugs count
All bugs (graph)	1
RC bugs	0
I&N bugs	0
M&W bugs	1
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

Debian Package Tracking System - Copyright 2002-2008 Raphaël Hertzog and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
Last modified: Thu Aug 28 16:43:23 UTC 2008.