acl2 source package in Mantic
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
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- acl2 8.5dfsg-5 (universe)
acl2 information
- Current version:
- 8.5dfsg-5
- Uploaded:
- Urgency:
- Medium Urgency
Upstream connections
Releases in Ubuntu
Binary packages
- acl2 (amd64) (arm64) (armhf) (ppc64el) (riscv64) (s390x)
- acl2-books (amd64) (arm64) (armhf) (ppc64el) (riscv64) (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) (riscv64) (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.5dfsg-5)
| File | Size | SHA-256 Checksum |
|---|---|---|
| acl2_8.5dfsg-5.dsc | 2.2 KiB | 3dfa419ecdde8564078f408338a8ef338f4209c476c3918c236e9bed7cc068d5 |
| acl2_8.5dfsg.orig.tar.gz | 213.2 MiB | 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 |
| acl2_8.5dfsg-5.debian.tar.xz | 305.6 KiB | 68b7e667901b0b77e27f9884f8b96b5571858a1e0a3a38ca3289440f39f93008 |
Package relationships
Build dependencies
|
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |
