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-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 (active development)
7.2dfsg-2 release (universe) 2017-04-20
7.4dfsg-1 proposed (universe) 2017-05-10
The Zesty Zapus (current stable release)
7.2dfsg-2 release (universe) 2016-10-18
The Yakkety Yak (supported)
7.2dfsg-2 release (universe) 2016-05-09
The Xenial Xerus (supported)
7.1-1 release (universe) 2015-10-22
The Vivid Vervet (supported)
7.0-1 release (universe) 2015-01-28
The Trusty Tahr (supported)
6.3-5 release (universe) 2013-10-24
The Precise Pangolin (supported)
4.2-1 release (universe) 2011-10-13