IN een specifieke suite zoeken: [ecne] [ecne-updates] [ecne-security] [ecne-backports] [aramo] [aramo-updates] [aramo-security] [aramo-backports]
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el] [riscv64]
Some results have not been displayed due to the search parameters.
You have searched for pakketten that names contain acl2-books in alle suites, alle secties, and alle platforms. Found 3 matching packages.
Exacte resultaten
Pakket acl2-books
- aramo (math):
Computational Logic for Applicative Common Lisp: compiled libraries
8.4dfsg-2: amd64 arm64 armhf ppc64el
Overige resultaten
Pakket acl2-books-certs
- aramo (math):
Computational Logic for Applicative Common Lisp: library certificates
8.4dfsg-2: all
Pakket acl2-books-source
- aramo (math):
Computational Logic for Applicative Common Lisp: library sources
8.4dfsg-2: all