acl2
Computational Logic for Applicative Common Lisp: main binary
general
- source
- acl2
(source,
math)
- version
-
6.1-1
- maint
-
Camm Maguire
- arch
- any all
- std-ver
-
3.9.4
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)
bugs
-
all

-
2
-
RC
-
1
-
I&N
-
0
-
M&W
-
1
-
F&P
-
0
ubuntu
