Package "acl2"
Name: | acl2 |
Description: |
Computational Logic for Applicative Common Lisp: main binary |
Latest version: | 6.3-5 |
Release: | trusty (14.04) |
Level: | base |
Repository: | universe |
Links
Download "acl2"
Other versions of "acl2" in Trusty
No other version of this package is available in the Trusty release.Packages in group
Deleted packages are displayed in grey.
- acl2-books
- acl2-books-certs
- acl2-books-source
- acl2-doc
- acl2-emacs
- acl2-infix
- acl2-infix-source
- acl2-source
Changelog
There is no recent update for this package.
About
-
Send Feedback to @ubuntu_updates