Binary descriptions:
  • acl2: Computational Logic for Applicative Common Lisp: main binary
  • acl2-books: Computational Logic for Applicative Common Lisp: compiled libraries
  • acl2-books-certs: No summary available for acl2-books-certs in ubuntu saucy.
  • acl2-books-source: No summary available for acl2-books-source in ubuntu saucy.
  • acl2-doc: No summary available for acl2-doc in ubuntu saucy.
  • acl2-emacs: Computational Logic for Applicative Common Lisp: emacs interface
  • acl2-infix: No summary available for acl2-infix in ubuntu saucy.
  • acl2-infix-source: No summary available for acl2-infix-source in ubuntu saucy.
  • acl2-source: Computational Logic for Applicative Common Lisp: source files
Last common version:
6.3-5
Ignored:


 
Comments: