|
|
|
15.94 MB 2004-04-30acl2_2.9-2_amd64.deb info browse 71 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/amd64/math/
64 B 2006-03-29acl2-source_2.9-2_all.deb 30 mirrors
210.21 KB 2004-04-30acl2-infix_2.9-2_amd64.deb info browse 71 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/amd64/math/
70 B 2006-03-29acl2-infix-source_2.9-2_all.deb 30 mirrors
63 B 2006-03-29acl2-emacs_2.9-2_all.deb 30 mirrors
61 B 2006-03-29acl2-doc_2.9-2_all.deb 30 mirrors
1.00 MB 2004-04-30acl2-books_2.9-2_amd64.deb info browse 71 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Debian/amd64/math/
70 B 2006-03-29acl2-books-source_2.9-2_all.deb 30 mirrors
69 B 2006-03-29acl2-books-certs_2.9-2_all.deb 30 mirrors
| Results 1 - 9 |