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 9 matching packages.

Exact hits

Package acl2

• lucid (math): A Computational Logic for Applicative Common Lisp: main binary [universe]
  3.6-4: amd64 i386
• precise (math): A Computational Logic for Applicative Common Lisp: main binary [universe]
  4.2-1: amd64 i386
• quantal (math): Computational Logic for Applicative Common Lisp: main binary [universe]
  4.3-3: amd64 i386
• raring (math): Computational Logic for Applicative Common Lisp: main binary [universe]
  6.0-2: amd64 i386

Other hits

Package acl2-books

• lucid (math): A Computational Logic for Applicative Common Lisp: compiled libraries [universe]
  3.6-4: amd64 i386
• precise (math): A Computational Logic for Applicative Common Lisp: compiled libraries [universe]
  4.2-1: amd64 i386
• quantal (math): Computational Logic for Applicative Common Lisp: compiled libraries [universe]
  4.3-3: amd64 i386
• raring (math): Computational Logic for Applicative Common Lisp: compiled libraries [universe]
  6.0-2: amd64 i386

Package acl2-books-certs

• lucid (math): A Computational Logic for Applicative Common Lisp: library certificates [universe]
  3.6-4: all
• precise (math): A Computational Logic for Applicative Common Lisp: library certificates [universe]
  4.2-1: all
• quantal (math): Computational Logic for Applicative Common Lisp: library certificates [universe]
  4.3-3: all
• raring (math): Computational Logic for Applicative Common Lisp: library certificates [universe]
  6.0-2: all

Package acl2-books-source

• lucid (math): A Computational Logic for Applicative Common Lisp: library sources [universe]
  3.6-4: all
• precise (math): A Computational Logic for Applicative Common Lisp: library sources [universe]
  4.2-1: all
• quantal (math): Computational Logic for Applicative Common Lisp: library sources [universe]
  4.3-3: all
• raring (math): Computational Logic for Applicative Common Lisp: library sources [universe]
  6.0-2: all

Package acl2-doc

• lucid (doc): A Computational Logic for Applicative Common Lisp: documentation [universe]
  3.6-4: all
• precise (doc): A Computational Logic for Applicative Common Lisp: documentation [universe]
  4.2-1: all
• quantal (doc): Computational Logic for Applicative Common Lisp: documentation [universe]
  4.3-3: all
• raring (doc): Computational Logic for Applicative Common Lisp: documentation [universe]
  6.0-2: all

Package acl2-emacs

• lucid (math): A Computational Logic for Applicative Common Lisp: emacs interface [universe]
  3.6-4: all
• precise (math): A Computational Logic for Applicative Common Lisp: emacs interface [universe]
  4.2-1: all
• quantal (math): Computational Logic for Applicative Common Lisp: emacs interface [universe]
  4.3-3: all
• raring (math): Computational Logic for Applicative Common Lisp: emacs interface [universe]
  6.0-2: all

Package acl2-infix

• lucid (math): A Computational Logic for Applicative Common Lisp: infix interface [universe]
  3.6-4: amd64 i386
• precise (math): A Computational Logic for Applicative Common Lisp: infix interface [universe]
  4.2-1: amd64 i386
• quantal (math): Computational Logic for Applicative Common Lisp: infix interface [universe]
  4.3-3: amd64 i386
• raring (math): Computational Logic for Applicative Common Lisp: infix interface [universe]
  6.0-2: amd64 i386

Package acl2-infix-source

• lucid (math): A Computational Logic for Applicative Common Lisp: infix source [universe]
  3.6-4: all
• precise (math): A Computational Logic for Applicative Common Lisp: infix source [universe]
  4.2-1: all
• quantal (math): Computational Logic for Applicative Common Lisp: infix source [universe]
  4.3-3: all
• raring (math): Computational Logic for Applicative Common Lisp: infix source [universe]
  6.0-2: all

Package acl2-source

• lucid (math): A Computational Logic for Applicative Common Lisp: source files [universe]
  3.6-4: all
• precise (math): A Computational Logic for Applicative Common Lisp: source files [universe]
  4.2-1: all
• quantal (math): Computational Logic for Applicative Common Lisp: source files [universe]
  4.3-3: all
• raring (math): Computational Logic for Applicative Common Lisp: source files [universe]
  6.0-2: all