general
- source
- acl2 (source, math)
- version
- 7.4dfsg-3.1
- maint
- Camm Maguire
- arch
- any all
- std-ver
- 3.9.8
versions
- o-o-stable
-
4.0-3
- oldstable
-
6.5-2
- stable
-
7.2dfsg-3
- testing
-
7.4dfsg-3.1
- unstable
-
7.4dfsg-3.1
- Ubuntu
- 7.2dfsg-2
binaries
- acl2 (2 bugs: 0, 1, 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)
todo
- Incorporate and acknowledge the changes from the non maintainer upload.
- Lintian reports 4 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 4.1.0 instead of 3.9.8).
problems
- The package is severely out of date with respect to the Debian Policy. Latest version is 4.1.0 and your package only follows 3.9.8...
news RSS
- [2016-10-17] Accepted 7.2dfsg-3 in unstable (medium) (Camm Maguire)
- [2016-05-18] acl2 7.2dfsg-2 MIGRATED to testing (Britney)
- [2016-05-04] Accepted 7.2dfsg-2 in unstable (medium) (Camm Maguire)
- [2016-04-26] acl2 7.2dfsg-1 MIGRATED to testing (Britney)
- [2016-04-14] Accepted 7.2dfsg-1 in unstable (medium) (Camm Maguire)
- [2015-11-03] acl2 7.1dfsg-2 MIGRATED to testing (Britney)
- [2015-10-28] Accepted 7.1dfsg-2 in unstable (medium) (Camm Maguire)
- [2015-10-21] Accepted 7.1dfsg-1 in unstable (medium) (Camm Maguire)
- [2015-10-09] Accepted 7.1-3 in unstable (medium) (Camm Maguire)
- [2015-10-02] Accepted 7.1-2 in unstable (medium) (Camm Maguire)
- [2015-06-01] Accepted 7.1-1 in unstable (medium) (Camm Maguire)
- [2015-01-27] Accepted 7.0-1 in unstable (medium) (Camm Maguire)
- [2014-10-27] Accepted 6.5-5 in unstable (medium) (Camm Maguire)
- [2014-10-26] Accepted 6.5-4 in unstable (medium) (Camm Maguire)
- [2014-10-25] Accepted 6.5-3 in unstable (medium) (Camm Maguire)
- [2014-10-03] acl2 6.5-2 MIGRATED to testing (Britney)
- [2014-09-08] Accepted 6.5-2 in unstable (medium) (Camm Maguire)
- [2014-08-17] Accepted 6.5-1 in unstable (low) (Camm Maguire)
- [2014-05-28] acl2 6.4-4 MIGRATED to testing (Britney)
- [2014-05-18] Accepted 6.4-4 in unstable (low) (Camm Maguire)
- [2014-05-12] Accepted 6.4-3 in unstable (low) (Camm Maguire)
- [2014-05-08] Accepted 6.4-2 in unstable (low) (Camm Maguire)
- [2014-05-02] Accepted 6.4-1 in unstable (low) (Camm Maguire)
- [2013-11-28] acl2 6.3-6 MIGRATED to testing (Britney)
- [2013-11-16] Accepted 6.3-6 in unstable (low) (Camm Maguire)
- [2013-11-08] acl2 6.3-5 MIGRATED to testing (Britney)
- [2013-10-19] Accepted 6.3-5 in unstable (low) (Camm Maguire)
- [2013-10-16] Accepted 6.3-4 in unstable (low) (Camm Maguire)
- [2013-10-15] Accepted 6.3-3 in unstable (low) (Camm Maguire)
- [2013-10-12] Accepted 6.3-2 in unstable (low) (Camm Maguire)
