Binary descriptions:

acl2: No summary available for acl2 in ubuntu eoan.
acl2-books: No summary available for acl2-books in ubuntu eoan.
acl2-books-certs: No summary available for acl2-books-certs in ubuntu eoan.
acl2-books-source: No summary available for acl2-books-source in ubuntu eoan.
acl2-doc: Computational Logic for Applicative Common Lisp: documentation
acl2-emacs: No summary available for acl2-emacs in ubuntu eoan.
acl2-infix: No summary available for acl2-infix in ubuntu eoan.
acl2-infix-source: Computational Logic for Applicative Common Lisp: infix source
acl2-source: No summary available for acl2-source in ubuntu eoan.

Last common version:

8.0dfsg-1