binaries
- acl2 (2 bugs: 1, 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 9 warnings about this package. You should make the package lintian clean getting rid of them.
testing migration
excuses:- Too young, only 8 of 10 days old
- out of date on i386: acl2, acl2-books, acl2-books-certs, acl2-books-source, acl2-doc, acl2-emacs, acl2-infix, acl2-infix-source, acl2-source (from 6.0-2)
- out of date on armel: acl2, acl2-books, acl2-books-certs, acl2-books-source, acl2-doc, acl2-emacs, acl2-infix, acl2-infix-source, acl2-source (from 6.0-2)
- out of date on armhf: acl2, acl2-books, acl2-books-certs, acl2-books-source, acl2-doc, acl2-emacs, acl2-infix, acl2-infix-source, acl2-source (from 6.0-2)
- out of date on kfreebsd-amd64: acl2, acl2-books, acl2-books-certs, acl2-books-source, acl2-doc, acl2-emacs, acl2-infix, acl2-infix-source, acl2-source (from 6.0-2)
- out of date on kfreebsd-i386: acl2, acl2-books, acl2-books-certs, acl2-books-source, acl2-doc, acl2-emacs, acl2-infix, acl2-infix-source, acl2-source (from 6.0-2)
- out of date on mips: acl2, acl2-books, acl2-books-certs, acl2-books-source, acl2-doc, acl2-emacs, acl2-infix, acl2-infix-source, acl2-source (from 6.0-2)
- out of date on mipsel: acl2, acl2-books, acl2-books-certs, acl2-books-source, acl2-doc, acl2-emacs, acl2-infix, acl2-infix-source, acl2-source (from 6.0-2)
- out of date on powerpc: acl2, acl2-books, acl2-books-certs, acl2-books-source, acl2-doc, acl2-emacs, acl2-infix, acl2-infix-source, acl2-source (from 6.0-2)
- out of date on sparc: acl2, acl2-books, acl2-books-certs, acl2-books-source, acl2-doc, acl2-emacs, acl2-infix, acl2-infix-source, acl2-source (from 6.0-2)
- Updating acl2 fixes old bugs: #709007
- Not considered
- Depends: acl2 eglibc (not considered)
news RSS
- [2013-05-12] Accepted 6.1-1 in unstable (low) (Camm Maguire)
- [2013-05-05] acl2 6.0-2 MIGRATED to testing (Britney)
- [2013-01-13] Accepted 6.0-2 in unstable (low) (Camm Maguire)
- [2013-01-13] Accepted 6.0-1 in unstable (low) (Camm Maguire)
- [2012-08-25] Accepted 5.0-1 in unstable (low) (Camm Maguire)
- [2012-05-05] acl2 4.3-3 MIGRATED to testing (Britney)
- [2012-04-20] Accepted 4.3-3 in unstable (low) (Camm Maguire)
- [2012-02-01] acl2 4.3-2 MIGRATED to testing (Britney)
- [2012-01-21] Accepted 4.3-2 in unstable (low) (Camm Maguire)
- [2012-01-11] Accepted 4.3-1 in unstable (low) (Camm Maguire)
- [2011-05-25] acl2 4.2-1 MIGRATED to testing (Britney)
- [2011-05-14] Accepted 4.2-1 in unstable (low) (Camm Maguire)
- [2011-02-06] acl2 4.1-5 MIGRATED to testing (Britney)
- [2010-11-06] Accepted 4.1-5 in unstable (low) (Camm Maguire)
- [2010-10-31] Accepted 4.1-4 in unstable (low) (Camm Maguire)
- [2010-10-20] Accepted 4.1-3 in unstable (low) (Camm Maguire)
- [2010-09-25] Accepted 4.1-2 in unstable (low) (Camm Maguire)
- [2010-09-06] Accepted 4.1-1 in unstable (low) (Camm Maguire)
- [2010-07-24] acl2 4.0-3 MIGRATED to testing (Britney)
- [2010-07-09] Accepted 4.0-3 in unstable (low) (Camm Maguire)
- [2010-07-08] Accepted 4.0-2 in unstable (low) (Camm Maguire)
- [2010-07-08] Accepted 4.0-1 in unstable (low) (Camm Maguire)
- [2010-06-26] acl2 3.6.1-2 MIGRATED to testing (Britney)
- [2010-06-11] Accepted 3.6.1-2 in unstable (low) (Camm Maguire)
- [2010-06-07] Accepted 3.6.1-1 in unstable (low) (Camm Maguire)
- [2010-01-31] acl2 3.6-4 MIGRATED to testing (Britney)
- [2010-01-12] Accepted 3.6-4 in unstable (low) (Camm Maguire)
- [2010-01-04] Accepted 3.6-3 in unstable (low) (Camm Maguire)
- [2010-01-03] Accepted 3.6-2 in unstable (low) (Camm Maguire)
- [2009-12-17] Accepted 3.6-1 in unstable (low) (Camm Maguire)
|
|
Debian
Package Tracking System - Copyright ©
2002-2009 Raphaël Hertzog, Stefano Zacchiroli and
others. |
|