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:
- Ubuntu Developers
- Urgency:*
- Medium Urgency
- Architectures:*
- any all
- Latest upload:
- 8.5dfsg-5build3
*actual publishing details may vary in this distribution, these are just the package defaults.
Upstream connections
| Noble (pre-release freeze) | ||
|
|
release (universe) | |
| The Mantic Minotaur (current stable release) | ||
|
|
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) | |
