Overview of acl2 source package

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

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 (1 bugs: 0, 1, 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

Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.
The package should be updated to follow the last version of Debian Policy (Standards-Version 3.8.2 instead of 3.8.0).
A new upstream version is available: 3.5, you should consider packaging it.

Latest news RSS

[2009-06-08] acl2 3.4-2 MIGRATED to testing (Britney)
[2009-02-23] Accepted 3.4-2 in unstable (low) (Camm Maguire)
[2008-12-08] acl2 REMOVED from testing (Britney)
[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)

Bugs count
All bugs (graph)	2
RC bugs	0
I&N bugs	1
M&W bugs	1
F&P bugs	0
PTS subscription
Subscribers count	1

Other links
Changelog / Copyright Buildd: logs, more, exp, ports Lintian report (0, 3) Popcon stats

Ubuntu ...
Version: 3.4-2 2 open bugs

Debian Package Tracking System - Copyright 2002-2009 Raphaël Hertzog and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
Last modified: Thu Jul 2 10:16:19 UTC 2009.