acl2 source package in Noble
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-5build3 (universe)
acl2 information
- Current version:
- 8.5dfsg-5build3
- 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-5build3)
| File | Size | SHA-256 Checksum |
|---|---|---|
| acl2_8.5dfsg.orig.tar.gz | 213.2 MiB | 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 |
| acl2_8.5dfsg-5build3.debian.tar.xz | 305.7 KiB | 4fb14d3b1a83741437778df30d1aa9b6db595a821235a5b401e4f67a02fefc6d |
| acl2_8.5dfsg-5build3.dsc | 2.3 KiB | adaf1b1fe9072d9497b3d7c74cfb606731b37d67ae2c99d2eebb3fbe37eb8534 |
Package relationships
Build dependencies
|
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |
