acl2 source package in Focal
acl2: No summary available for acl2 in ubuntu eoan.
acl2-books: No summary available for acl2-books in ubuntu eoan.
acl2-books-certs: No summary available for acl2-books-certs in ubuntu eoan.
acl2-books-source: No summary available for acl2-books-source in ubuntu eoan.
acl2-doc: Computational Logic for Applicative Common Lisp: documentation
acl2-emacs: No summary available for acl2-emacs in ubuntu eoan.
acl2-infix: No summary available for acl2-infix in ubuntu eoan.
acl2-infix-source: Computational Logic for Applicative Common Lisp: infix source
acl2-source: No summary available for acl2-source in ubuntu eoan.
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- acl2 8.2dfsg-3build1 (universe)
acl2 information
- Current version:
- 8.2dfsg-3build1
- Uploaded:
- Urgency:
- Medium Urgency
Upstream connections
Releases in Ubuntu
Binary packages
- acl2 (amd64) (arm64) (armhf) (ppc64el) (s390x)
- acl2-books (amd64) (arm64) (armhf) (ppc64el) (s390x)
- acl2-books-certs (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- acl2-books-source (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- acl2-doc (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- acl2-emacs (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- acl2-infix (amd64) (arm64) (armhf) (ppc64el) (s390x)
- acl2-infix-source (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- acl2-source (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
Download files from current release (8.2dfsg-3build1)
| File | Size | SHA-256 Checksum |
|---|---|---|
| acl2_8.2dfsg.orig.tar.gz | 76.9 MiB | 2548331764e904e00d654b5d703b6e0b43992a1716a40fd8f5ac322052cef987 |
| acl2_8.2dfsg-3build1.debian.tar.xz | 201.2 KiB | 6d368a69d31d7d09df4adfeec8decb4515bdea662086b945da0a35ef73a685aa |
| acl2_8.2dfsg-3build1.dsc | 2.2 KiB | e64bca725c4f55374e2ad36d6037292f815e89c9b24d6f7e353ee5507185cc6f |
Package relationships
Build dependencies |
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |
