acl2 source package in Bionic
acl2: No summary available for acl2 in ubuntu yakkety.
acl2-books: No summary available for acl2-books in ubuntu artful.
acl2-books-certs: No summary available for acl2-books-certs in ubuntu yakkety.
acl2-books-source: No summary available for acl2-books-source in ubuntu zesty.
acl2-doc: No summary available for acl2-doc in ubuntu artful.
acl2-emacs: Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix: Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source: No summary available for acl2-infix-source in ubuntu zesty.
acl2-source: No summary available for acl2-source in ubuntu yakkety.
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- acl2 8.0dfsg-1 (universe)
acl2 information
- Current version:
- 8.0dfsg-1
- Uploaded:
- Urgency:
- Medium Urgency
Upstream connections
Releases in Ubuntu
Binary packages
- acl2 (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- acl2-books (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- acl2-books-certs (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- acl2-books-source (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- acl2-doc (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- acl2-emacs (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- acl2-infix (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- acl2-infix-source (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- acl2-source (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
Download files from current release (8.0dfsg-1)
| File | Size | SHA-256 Checksum |
|---|---|---|
| acl2_8.0dfsg-1.dsc | 2.2 KiB | a6066382f31e54b8f2b0799035547acab3e1f97c515d4ec529644ed5731c24c2 |
| acl2_8.0dfsg.orig.tar.gz | 74.0 MiB | e1ec509864d0ffc1235cf727ffac1ca0d8cd7f9ab4915cc71ceb4bdadfdcc145 |
| acl2_8.0dfsg-1.debian.tar.xz | 200.0 KiB | 9d041ee94da76dcc1dfdb0f3bfdf913d96beb410b6ac4a00f1f145fb44d39ea7 |
Package relationships
Build dependencies |
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |
