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
*actual publishing details may vary in this distribution, these are just the package defaults.
Upstream connections
| The Resolute Raccoon (active development) | ||
|
|
release (universe) | |
| The Questing Quokka (current stable release) | ||
|
|
release (universe) | |
| The Plucky Puffin (supported) | ||
|
|
release (universe) | |
| The Noble Numbat (supported) | ||
|
|
release (universe) | |
| The Jammy Jellyfish (supported) | ||
|
|
release (universe) | |
| The Focal Fossa (supported) | ||
|
|
release (universe) | |
| The Bionic Beaver (supported) | ||
|
|
release (universe) | |
|
The Xenial Xerus
(supported)
|
||
|
|
release (universe) | |
|
The Trusty Tahr
(supported)
|
||
|
|
release (universe) | |
