Ubuntu – Package Search Results -- acl

» Ubuntu » Packages » Package Search Results

Search in specific suite: [focal] [focal-updates] [focal-backports] [jammy] [jammy-updates] [jammy-backports] [lunar] [lunar-updates] [lunar-backports] [mantic] [mantic-updates] [mantic-backports] [noble]

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

You have searched for packages that names contain acl in all suites, all sections, and all architectures. Found 11 matching packages.

Your keyword was too generic, for optimizing reasons some results might have been suppressed.
Please consider using a longer keyword or more keywords.

Exact hits

Package acl

focal (20.04LTS) (utils): access control list - utilities
2.2.53-6: amd64 arm64 armhf i386 ppc64el riscv64 s390x
jammy (22.04LTS) (utils): access control list - utilities
2.3.1-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
lunar (23.04) (utils): access control list - utilities
2.3.1-3: amd64 arm64 armhf i386 ppc64el riscv64 s390x
mantic (23.10) (utils): access control list - utilities
2.3.1-3: amd64 arm64 armhf i386 ppc64el riscv64 s390x
noble (utils): access control list - utilities
2.3.2-1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x

Other hits

Package acl2

focal (20.04LTS) (math): Computational Logic for Applicative Common Lisp: main binary [universe]
8.2dfsg-3build1: amd64 arm64 armhf ppc64el s390x
jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: main binary [universe]
8.4dfsg-2: amd64 arm64 armhf ppc64el s390x
lunar (23.04) (math): Computational Logic for Applicative Common Lisp: main binary [universe]
8.5dfsg-5: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): Computational Logic for Applicative Common Lisp: main binary [universe]
8.5dfsg-5: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): Computational Logic for Applicative Common Lisp: main binary [universe]
8.5dfsg-5build3: amd64 arm64 armhf ppc64el riscv64 s390x

Package acl2-books

focal (20.04LTS) (math): Computational Logic for Applicative Common Lisp: compiled libraries [universe]
8.2dfsg-3build1: amd64 arm64 armhf ppc64el s390x
jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: compiled libraries [universe]
8.4dfsg-2: amd64 arm64 armhf ppc64el s390x
lunar (23.04) (math): Computational Logic for Applicative Common Lisp: compiled libraries [universe]
8.5dfsg-5: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): Computational Logic for Applicative Common Lisp: compiled libraries [universe]
8.5dfsg-5: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): Computational Logic for Applicative Common Lisp: compiled libraries [universe]
8.5dfsg-5build3: amd64 arm64 armhf ppc64el riscv64 s390x

Package acl2-books-certs

focal (20.04LTS) (math): Computational Logic for Applicative Common Lisp: library certificates [universe]
8.2dfsg-3build1: all
jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: library certificates [universe]
8.4dfsg-2: all
lunar (23.04) (math): Computational Logic for Applicative Common Lisp: library certificates [universe]
8.5dfsg-5: all
mantic (23.10) (math): Computational Logic for Applicative Common Lisp: library certificates [universe]
8.5dfsg-5: all
noble (math): Computational Logic for Applicative Common Lisp: library certificates [universe]
8.5dfsg-5build3: all

Package acl2-books-source

focal (20.04LTS) (math): Computational Logic for Applicative Common Lisp: library sources [universe]
8.2dfsg-3build1: all
jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: library sources [universe]
8.4dfsg-2: all
lunar (23.04) (math): Computational Logic for Applicative Common Lisp: library sources [universe]
8.5dfsg-5: all
mantic (23.10) (math): Computational Logic for Applicative Common Lisp: library sources [universe]
8.5dfsg-5: all
noble (math): Computational Logic for Applicative Common Lisp: library sources [universe]
8.5dfsg-5build3: all

Package acl2-doc

focal (20.04LTS) (doc): Computational Logic for Applicative Common Lisp: documentation [universe]
8.2dfsg-3build1: all
jammy (22.04LTS) (doc): Computational Logic for Applicative Common Lisp: documentation [universe]
8.4dfsg-2: all
lunar (23.04) (doc): Computational Logic for Applicative Common Lisp: documentation [universe]
8.5dfsg-5: all
mantic (23.10) (doc): Computational Logic for Applicative Common Lisp: documentation [universe]
8.5dfsg-5: all
noble (doc): Computational Logic for Applicative Common Lisp: documentation [universe]
8.5dfsg-5build3: all

Package acl2-emacs

focal (20.04LTS) (math): Computational Logic for Applicative Common Lisp: emacs interface [universe]
8.2dfsg-3build1: all

Package acl2-infix

focal (20.04LTS) (math): Computational Logic for Applicative Common Lisp: infix interface [universe]
8.2dfsg-3build1: amd64 arm64 armhf ppc64el s390x
jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: infix interface [universe]
8.4dfsg-2: amd64 arm64 armhf ppc64el s390x
lunar (23.04) (math): Computational Logic for Applicative Common Lisp: infix interface [universe]
8.5dfsg-5: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): Computational Logic for Applicative Common Lisp: infix interface [universe]
8.5dfsg-5: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): Computational Logic for Applicative Common Lisp: infix interface [universe]
8.5dfsg-5build3: amd64 arm64 armhf ppc64el riscv64 s390x

Package acl2-infix-source

focal (20.04LTS) (math): Computational Logic for Applicative Common Lisp: infix source [universe]
8.2dfsg-3build1: all
jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: infix source [universe]
8.4dfsg-2: all
lunar (23.04) (math): Computational Logic for Applicative Common Lisp: infix source [universe]
8.5dfsg-5: all
mantic (23.10) (math): Computational Logic for Applicative Common Lisp: infix source [universe]
8.5dfsg-5: all
noble (math): Computational Logic for Applicative Common Lisp: infix source [universe]
8.5dfsg-5build3: all

Package acl2-source

focal (20.04LTS) (math): Computational Logic for Applicative Common Lisp: source files [universe]
8.2dfsg-3build1: all
jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: source files [universe]
8.4dfsg-2: all
lunar (23.04) (math): Computational Logic for Applicative Common Lisp: source files [universe]
8.5dfsg-5: all
mantic (23.10) (math): Computational Logic for Applicative Common Lisp: source files [universe]
8.5dfsg-5: all
noble (math): Computational Logic for Applicative Common Lisp: source files [universe]
8.5dfsg-5build3: all

Package aclock.app

focal (20.04LTS) (x11): Analog dockapp clock for GNUstep [universe]
0.4.0-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
jammy (22.04LTS) (x11): Analog dockapp clock for GNUstep [universe]
0.4.0-2build4: amd64 arm64 armhf ppc64el riscv64 s390x
lunar (23.04) (x11): Analog dockapp clock for GNUstep [universe]
0.4.0-2build4: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (x11): Analog dockapp clock for GNUstep [universe]
0.4.0-2build5: amd64 arm64 armhf ppc64el riscv64 s390x
noble (x11): Analog dockapp clock for GNUstep [universe]
0.4.0-2build5: amd64 arm64 armhf ppc64el riscv64 s390x