acl2 package in Ubuntu

acl2: Computational Logic for Applicative Common Lisp: main binary
acl2-books: Computational Logic for Applicative Common Lisp: compiled libraries
acl2-books-certs: Computational Logic for Applicative Common Lisp: library certificates
acl2-books-source: Computational Logic for Applicative Common Lisp: library sources
acl2-doc: Computational Logic for Applicative Common Lisp: documentation
acl2-emacs: Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix: Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source: Computational Logic for Applicative Common Lisp: infix source
acl2-source: Computational Logic for Applicative Common Lisp: source files

This package has 2 new bugs and 0 open questions.

Package information

Maintainer:
Camm Maguire
Urgency:*
Medium Urgency
Architectures:*
any all
Latest upload:
7.4dfsg-3.1

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

Upstream connections

clisptrunk

a Common Lisp implementation

Bug supervisor: no
Bug tracker: no
Branch: no

There are no registered releases for the clisp ⇒ trunk.

The Artful Aardvark (current stable release)
7.4dfsg-3.1 proposed (universe) 2017-08-09
7.2dfsg-2 release (universe) 2017-04-20
The Zesty Zapus (supported)
7.2dfsg-2 release (universe) 2016-10-18
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