acl2 package in Ubuntu

acl2: No summary available for acl2 in ubuntu yakkety.
acl2-books: No summary available for acl2-books in ubuntu yakkety.
acl2-books-certs: Computational Logic for Applicative Common Lisp: library certificates
acl2-books-source: No summary available for acl2-books-source in ubuntu yakkety.
acl2-doc: No summary available for acl2-doc in ubuntu yakkety.
acl2-emacs: No summary available for acl2-emacs in ubuntu yakkety.
acl2-infix: No summary available for acl2-infix in ubuntu yakkety.
acl2-infix-source: No summary available for acl2-infix-source in ubuntu yakkety.
acl2-source: Computational Logic for Applicative Common Lisp: source files

This package has 2 new bugs and 0 open questions.

Package information

Camm Maguire
Medium Urgency
any all
Latest upload:

*actual publishing details may vary in this distribution, these are just the package defaults.

Upstream connections


a Common Lisp implementation

Bug supervisor: no
Bug tracker: no
Branch: no

There are no registered releases for the clisp ⇒ trunk.

The Bionic Beaver (pre-release freeze)
8.0dfsg-1 release (universe) 2018-01-31
The Artful Aardvark (current stable release)
7.2dfsg-2 release (universe) 2017-04-20
The Xenial Xerus (supported)
7.1-1 release (universe) 2015-10-22
The Trusty Tahr (supported)
6.3-5 release (universe) 2013-10-24
The Precise Pangolin (supported)
4.2-1 release (universe) 2011-10-13