Ubuntu – Package Search Results -- acl2-source

» Ubuntu » Packages » Package Search Results

Limit search to a specific architecture: [i386] [amd64] [powerpc] [arm64] [armhf] [ppc64el] [riscv64] [s390x]

You have searched for packages that names contain acl2-source in all suites, all sections, and all architectures. Found 1 matching packages.

Exact hits

jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: source files [universe]
8.4dfsg-2: all
noble (24.04LTS) (math): Computational Logic for Applicative Common Lisp: source files [universe]
8.5dfsg-5build3: all
plucky (25.04) (math): Computational Logic for Applicative Common Lisp: source files [universe]
8.5dfsg-6: all
questing (25.10) (math): Computational Logic for Applicative Common Lisp: source files [universe]
8.6+dfsg-3: all
resolute (math): Computational Logic for Applicative Common Lisp: source files [universe]
8.6+dfsg-3: all