Binary descriptions:
  • acl2: Computational Logic for Applicative Common Lisp: main binary
  • acl2-books: No summary available for acl2-books in ubuntu kinetic.
  • acl2-books-certs: Computational Logic for Applicative Common Lisp: library certificates
  • acl2-books-source: No summary available for acl2-books-source in ubuntu kinetic.
  • acl2-doc: No summary available for acl2-doc in ubuntu kinetic.
  • acl2-infix: Computational Logic for Applicative Common Lisp: infix interface
  • acl2-infix-source: Computational Logic for Applicative Common Lisp: infix source
  • acl2-source: No summary available for acl2-source in ubuntu kinetic.
  • elpa-acl2: No summary available for elpa-acl2 in ubuntu kinetic.
Last common version:
8.3dfsg-2
Ignored:


 
Comments: