binaries
- 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)
todo
- Lintian reports 2 errors and 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 3.9.6 instead of 3.9.5).
testing migration
excuses:- 37 days old (needed 5 days)
- Not touching package due to block request by freeze (check https://release.debian.org/jessie/freeze_policy.html if update is needed)
- missing build on armhf: acl2, acl2-books, acl2-books-certs, acl2-books-source, acl2-doc, acl2-emacs, acl2-infix, acl2-infix-source, acl2-source (from 6.5-5)
- missing build on powerpc: acl2, acl2-books, acl2-books-certs, acl2-books-source, acl2-doc, acl2-emacs, acl2-infix, acl2-infix-source, acl2-source (from 6.5-5)
- missing build on s390x: acl2, acl2-books, acl2-books-certs, acl2-books-source, acl2-doc, acl2-emacs, acl2-infix, acl2-infix-source, acl2-source (from 6.5-5)
- Not considered
news RSS
- [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)
- [2013-10-04] Accepted 6.3-1 in unstable (low) (Camm Maguire)
- [2013-09-11] acl2 6.2-7 MIGRATED to testing (Britney)
- [2013-08-08] Accepted 6.2-7 in unstable (low) (Camm Maguire)
- [2013-07-30] Accepted 6.2-6 in unstable (low) (Camm Maguire)
- [2013-07-28] Accepted 6.2-5 in unstable (low) (Camm Maguire)
- [2013-07-24] Accepted 6.2-4 in unstable (low) (Camm Maguire)
- [2013-07-22] Accepted 6.2-3 in unstable (low) (Camm Maguire)
- [2013-07-12] Accepted 6.2-1 in unstable (low) (Camm Maguire)
- [2013-07-02] Accepted 6.1-6 in unstable (low) (Camm Maguire)
- [2013-06-22] Accepted 6.1-5 in unstable (low) (Camm Maguire)
- [2013-05-24] Accepted 6.1-3 in unstable (low) (Camm Maguire)
