Upstream software project
acl2
Computational Logic for Applicative Common Lisp: infix interface
About acl2
Computational Logic for Applicative Common Lisp: infix interface
This project links 18 native package records across 2 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.
These are catalog observations, not a guarantee of installation, compatibility, or upstream support.
Project pictures and package coverage
Project identity
- Project
- acl2
- Publisher
- Not authoritatively mapped
- Native package records
- 18
- Operating systems
- debian-12, debian-13
- License expression
- Not reported
- Metadata completeness
- 95/100 (not a software quality rating)
- Homepage
- Visit upstream site
- Source repository
- Not reported
Source-reported description
The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.
Packages by operating system
Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.
Debian 12 (Bookworm)
- acl28.5dfsg-5
Debian 12 (Bookworm) / math
Computational Logic for Applicative Common Lisp: main binary
amd64arm64bookworm - acl2-books8.5dfsg-5
Debian 12 (Bookworm) / math / source acl2
Computational Logic for Applicative Common Lisp: compiled libraries
amd64arm64bookworm - acl2-books-certs8.5dfsg-5
Debian 12 (Bookworm) / math / source acl2
Computational Logic for Applicative Common Lisp: library certificates
allbookworm - acl2-books-source8.5dfsg-5
Debian 12 (Bookworm) / math / source acl2
Computational Logic for Applicative Common Lisp: library sources
allbookworm - acl2-doc8.5dfsg-5
Debian 12 (Bookworm) / doc / source acl2
Computational Logic for Applicative Common Lisp: documentation
allbookworm - acl2-infix8.5dfsg-5
Debian 12 (Bookworm) / math / source acl2
Computational Logic for Applicative Common Lisp: infix interface
amd64arm64bookworm - acl2-infix-source8.5dfsg-5
Debian 12 (Bookworm) / math / source acl2
Computational Logic for Applicative Common Lisp: infix source
allbookworm - acl2-source8.5dfsg-5
Debian 12 (Bookworm) / math / source acl2
Computational Logic for Applicative Common Lisp: source files
allbookworm - elpa-acl28.5dfsg-5
Debian 12 (Bookworm) / lisp / source acl2
Computational Logic for Applicative Common Lisp: emacs interface
allbookworm
Debian 13 (Trixie)
- acl28.6+dfsg-2
Debian 13 (Trixie) / math
Computational Logic for Applicative Common Lisp: main binary
amd64arm64trixie - acl2-books8.6+dfsg-2
Debian 13 (Trixie) / math / source acl2
Computational Logic for Applicative Common Lisp: compiled libraries
amd64arm64trixie - acl2-books-certs8.6+dfsg-2
Debian 13 (Trixie) / math / source acl2
Computational Logic for Applicative Common Lisp: library certificates
alltrixie - acl2-books-source8.6+dfsg-2
Debian 13 (Trixie) / math / source acl2
Computational Logic for Applicative Common Lisp: library sources
alltrixie - acl2-doc8.6+dfsg-2
Debian 13 (Trixie) / doc / source acl2
Computational Logic for Applicative Common Lisp: documentation
alltrixie - acl2-infix8.6+dfsg-2
Debian 13 (Trixie) / math / source acl2
Computational Logic for Applicative Common Lisp: infix interface
amd64arm64trixie - acl2-infix-source8.6+dfsg-2
Debian 13 (Trixie) / math / source acl2
Computational Logic for Applicative Common Lisp: infix source
alltrixie - acl2-source8.6+dfsg-2
Debian 13 (Trixie) / math / source acl2
Computational Logic for Applicative Common Lisp: source files
alltrixie - elpa-acl28.6+dfsg-2
Debian 13 (Trixie) / lisp / source acl2
Computational Logic for Applicative Common Lisp: emacs interface
alltrixie
Project resources and further reading
Mapping provenance
Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.
No field-level source record is published yet.