acl2 source package in Disco
acl2: No summary available for acl2 in ubuntu disco.
acl2-books: Computational Logic for Applicative Common Lisp: compiled libraries
acl2-books-certs: No summary available for acl2-books-certs in ubuntu disco.
acl2-books-source: Computational Logic for Applicative Common Lisp: library sources
acl2-doc: Computational Logic for Applicative Common Lisp: documentation
acl2-emacs: No summary available for acl2-emacs in ubuntu disco.
acl2-infix: Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source: No summary available for acl2-infix-source in ubuntu cosmic.
acl2-source: No summary available for acl2-source in ubuntu disco.
acl2 information
No published releases of this package have been uploaded in
Ubuntu Disco