Ubuntu
acl2 package

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-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
elpa-acl2: Computational Logic for Applicative Common Lisp: emacs interface

This package has 0 new bugs and 0 open questions.

Package information

Maintainer:
Camm Maguire
Urgency:*
Medium Urgency
Architectures:*
any all
Latest upload:
8.5dfsg-5

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

Upstream connections

clisp ⇒ trunk

a Common Lisp implementation

Bug supervisor: no
Bug tracker: no
Branch: no

There are no registered releases for the clisp ⇒ trunk.

The Mantic Minotaur (current stable release)
8.5dfsg-5 release (universe)
The Lunar Lobster (supported)
8.5dfsg-5 release (universe)
The Jammy Jellyfish (supported)
8.4dfsg-2 release (universe)
The Focal Fossa (supported)
8.2dfsg-3build1 release (universe)
The Bionic Beaver (supported)
8.0dfsg-1 release (universe)
The Xenial Xerus (supported)
7.1-1 release (universe)
The Trusty Tahr (supported)
6.3-5 release (universe)