Binary descriptions:

acl2: Computational Logic for Applicative Common Lisp: main binary
acl2-books: No summary available for acl2-books in ubuntu hirsute.
acl2-books-certs: No summary available for acl2-books-certs in ubuntu impish.
acl2-books-source: No summary available for acl2-books-source in ubuntu hirsute.
acl2-doc: No summary available for acl2-doc in ubuntu impish.
acl2-emacs: No summary available for acl2-emacs in ubuntu jammy.
acl2-infix: No summary available for acl2-infix in ubuntu hirsute.
acl2-infix-source: No summary available for acl2-infix-source in ubuntu hirsute.
acl2-source: No summary available for acl2-source in ubuntu hirsute.

Last common version:

8.3dfsg-2

Differences from last common version: