packages Skip to content

» Ubuntu » Packages » Package Search Results

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

Exact hits

Package acl2

• jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: main binary [universe]
  8.4dfsg-2: amd64 arm64 armhf ppc64el s390x
• noble (24.04LTS) (math): Computational Logic for Applicative Common Lisp: main binary [universe]
  8.5dfsg-5build3: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (math): Computational Logic for Applicative Common Lisp: main binary [universe]
  8.6+dfsg-3: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (math): Computational Logic for Applicative Common Lisp: main binary [universe]
  8.6+dfsg-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (math): Computational Logic for Applicative Common Lisp: main binary [universe]
  8.7+dfsg-2: amd64 arm64 armhf ppc64el riscv64 s390x

Other hits

Package acl2-books

• jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: compiled libraries [universe]
  8.4dfsg-2: amd64 arm64 armhf ppc64el s390x
• noble (24.04LTS) (math): Computational Logic for Applicative Common Lisp: compiled libraries [universe]
  8.5dfsg-5build3: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (math): Computational Logic for Applicative Common Lisp: compiled libraries [universe]
  8.6+dfsg-3: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (math): Computational Logic for Applicative Common Lisp: compiled libraries [universe]
  8.6+dfsg-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (math): Computational Logic for Applicative Common Lisp: compiled libraries [universe]
  8.7+dfsg-2: amd64 arm64 armhf ppc64el riscv64 s390x

Package acl2-books-certs

• jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: library certificates [universe]
  8.4dfsg-2: all
• noble (24.04LTS) (math): Computational Logic for Applicative Common Lisp: library certificates [universe]
  8.5dfsg-5build3: all
• questing (25.10) (math): Computational Logic for Applicative Common Lisp: library certificates [universe]
  8.6+dfsg-3: all
• resolute (26.04LTS) (math): Computational Logic for Applicative Common Lisp: library certificates [universe]
  8.6+dfsg-3build1: all
• stonking (math): Computational Logic for Applicative Common Lisp: library certificates [universe]
  8.7+dfsg-2: all

Package acl2-books-source

• jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: library sources [universe]
  8.4dfsg-2: all
• noble (24.04LTS) (math): Computational Logic for Applicative Common Lisp: library sources [universe]
  8.5dfsg-5build3: all
• questing (25.10) (math): Computational Logic for Applicative Common Lisp: library sources [universe]
  8.6+dfsg-3: all
• resolute (26.04LTS) (math): Computational Logic for Applicative Common Lisp: library sources [universe]
  8.6+dfsg-3build1: all
• stonking (math): Computational Logic for Applicative Common Lisp: library sources [universe]
  8.7+dfsg-2: all

Package acl2-doc

• jammy (22.04LTS) (doc): Computational Logic for Applicative Common Lisp: documentation [universe]
  8.4dfsg-2: all
• noble (24.04LTS) (doc): Computational Logic for Applicative Common Lisp: documentation [universe]
  8.5dfsg-5build3: all
• questing (25.10) (doc): Computational Logic for Applicative Common Lisp: documentation [universe]
  8.6+dfsg-3: all
• resolute (26.04LTS) (doc): Computational Logic for Applicative Common Lisp: documentation [universe]
  8.6+dfsg-3build1: all
• stonking (doc): Computational Logic for Applicative Common Lisp: documentation [universe]
  8.7+dfsg-2: all

Package acl2-infix

• jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: infix interface [universe]
  8.4dfsg-2: amd64 arm64 armhf ppc64el s390x
• noble (24.04LTS) (math): Computational Logic for Applicative Common Lisp: infix interface [universe]
  8.5dfsg-5build3: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (math): Computational Logic for Applicative Common Lisp: infix interface [universe]
  8.6+dfsg-3: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (math): Computational Logic for Applicative Common Lisp: infix interface [universe]
  8.6+dfsg-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (math): Computational Logic for Applicative Common Lisp: infix interface [universe]
  8.7+dfsg-2: amd64 arm64 armhf ppc64el riscv64 s390x

Package acl2-infix-source

• jammy (22.04LTS) (math): Computational Logic for Applicative Common Lisp: infix source [universe]
  8.4dfsg-2: all
• noble (24.04LTS) (math): Computational Logic for Applicative Common Lisp: infix source [universe]
  8.5dfsg-5build3: all
• questing (25.10) (math): Computational Logic for Applicative Common Lisp: infix source [universe]
  8.6+dfsg-3: all
• resolute (26.04LTS) (math): Computational Logic for Applicative Common Lisp: infix source [universe]
  8.6+dfsg-3build1: all
• stonking (math): Computational Logic for Applicative Common Lisp: infix source [universe]
  8.7+dfsg-2: all

Package acl2-source

• 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
• questing (25.10) (math): Computational Logic for Applicative Common Lisp: source files [universe]
  8.6+dfsg-3: all
• resolute (26.04LTS) (math): Computational Logic for Applicative Common Lisp: source files [universe]
  8.6+dfsg-3build1: all
• stonking (math): Computational Logic for Applicative Common Lisp: source files [universe]
  8.7+dfsg-2: all

Package elpa-acl2

• jammy (22.04LTS) (lisp): Computational Logic for Applicative Common Lisp: emacs interface [universe]
  8.4dfsg-2: all
• noble (24.04LTS) (lisp): Computational Logic for Applicative Common Lisp: emacs interface [universe]
  8.5dfsg-5build3: all
• questing (25.10) (lisp): Computational Logic for Applicative Common Lisp: emacs interface [universe]
  8.6+dfsg-3: all
• resolute (26.04LTS) (lisp): Computational Logic for Applicative Common Lisp: emacs interface [universe]
  8.6+dfsg-3build1: all
• stonking (lisp): Computational Logic for Applicative Common Lisp: emacs interface [universe]
  8.7+dfsg-2: all

Package librte-acl22

• jammy (22.04LTS) (libs): Data Plane Development Kit (librte-acl runtime library) [universe]
  21.11.9-0ubuntu0.22.04.2 [security]: amd64
  21.11-1build1 [ports]: arm64 ppc64el
• jammy-updates (libs): Data Plane Development Kit (librte-acl runtime library) [universe]
  21.11.9-0ubuntu0.22.04.2: amd64 arm64 ppc64el

Package librte-acl24

• noble (24.04LTS) (libs): Data Plane Development Kit (librte-acl runtime library) [universe]
  23.11.4-0ubuntu0.24.04.2 [security]: amd64
  23.11-1build3 [ports]: arm64 ppc64el riscv64
• noble-updates (libs): Data Plane Development Kit (librte-acl runtime library) [universe]
  23.11.4-0ubuntu0.24.04.2: amd64 arm64 ppc64el riscv64

Package librte-acl25

• questing (25.10) (libs): Data Plane Development Kit (librte-acl runtime library) [universe]
  24.11.3-1: amd64 arm64 ppc64el riscv64

Package librte-acl26

• resolute (26.04LTS) (libs): Data Plane Development Kit (librte-acl runtime library) [universe]
  25.11-2: amd64 arm64 ppc64el riscv64
• stonking (libs): Data Plane Development Kit (librte-acl runtime library) [universe]
  25.11.2-1: amd64 arm64 ppc64el riscv64