acl2 source package in Jammy
acl2: Computational Logic for Applicative Common Lisp: main binary
acl2-books: No summary available for acl2-books in ubuntu impish.
acl2-books-certs: No summary available for acl2-books-certs in ubuntu hirsute.
acl2-books-source: No summary available for acl2-books-source in ubuntu hirsute.
acl2-doc: No summary available for acl2-doc in ubuntu impish.
acl2-emacs: No summary available for acl2-emacs in ubuntu impish.
acl2-infix: No summary available for acl2-infix in ubuntu impish.
acl2-infix-source: No summary available for acl2-infix-source in ubuntu impish.
acl2-source: Computational Logic for Applicative Common Lisp: source files
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- acl2 8.4dfsg-2 (universe)
acl2 information
- Current version:
- 8.4dfsg-2
- Uploaded:
- Urgency:
- Medium Urgency
Upstream connections
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-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)
- elpa-acl2 (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
Download files from current release (8.4dfsg-2)
| File | Size | SHA-256 Checksum |
|---|---|---|
| acl2_8.4dfsg-2.dsc | 2.2 KiB | 7f5bc385e25e643ce3fb422b65a7f5c2c53b68b160a371734249e8212b473346 |
| acl2_8.4dfsg.orig.tar.gz | 193.6 MiB | 1781eda71a71e856266bed96db6f92fedf465f3ca2ea83712b9bbba81ceb04b8 |
| acl2_8.4dfsg-2.debian.tar.xz | 304.3 KiB | 80e2f616fc80e92ae0d7951c860b154951293d8405e8640e91232b79c6846446 |
Package relationships
Build dependencies
|
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |
