Binary descriptions:
  • acl2: No summary available for acl2 in ubuntu wily.
  • acl2-books: Computational Logic for Applicative Common Lisp: compiled libraries
  • acl2-books-certs: No summary available for acl2-books-certs in ubuntu yakkety.
  • acl2-books-source: No summary available for acl2-books-source in ubuntu wily.
  • acl2-doc: Computational Logic for Applicative Common Lisp: documentation
  • acl2-emacs: No summary available for acl2-emacs in ubuntu wily.
  • acl2-infix: No summary available for acl2-infix in ubuntu yakkety.
  • acl2-infix-source: No summary available for acl2-infix-source in ubuntu wily.
  • acl2-source: No summary available for acl2-source in ubuntu wily.
Last common version:
7.1-1
Ignored:


 
Comments: