Search in specific suite: [hardy] [hardy-updates] [hardy-backports] [lucid] [lucid-updates] [lucid-backports] [natty] [natty-updates] [natty-backports] [oneiric] [oneiric-updates] [oneiric-backports] [precise] [precise-updates] [precise-backports] [quantal]
Limit search to a specific architecture: [i386] [amd64] [powerpc] [armel]
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
- hardy (math):
A Computational Logic for Applicative Common Lisp: main binary [universe]
3.3-1ubuntu1: amd64
3.1-1: i386 - lucid (math):
A Computational Logic for Applicative Common Lisp: main binary [universe]
3.6-4: amd64 i386 - natty (math):
A Computational Logic for Applicative Common Lisp: main binary [universe]
4.1-5: amd64 i386 - oneiric (math):
A Computational Logic for Applicative Common Lisp: main binary [universe]
4.2-1: 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-2: amd64 i386
Other hits
Package acl2-books
- hardy (math):
A Computational Logic for Applicative Common Lisp: compiled libraries [universe]
3.3-1ubuntu1: amd64
3.1-1: i386 - lucid (math):
A Computational Logic for Applicative Common Lisp: compiled libraries [universe]
3.6-4: amd64 i386 - natty (math):
A Computational Logic for Applicative Common Lisp: compiled libraries [universe]
4.1-5: amd64 i386 - oneiric (math):
A Computational Logic for Applicative Common Lisp: compiled libraries [universe]
4.2-1: 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-2: amd64 i386
Package acl2-books-certs
- hardy (math):
A Computational Logic for Applicative Common Lisp: library certificates [universe]
3.1-1: all - lucid (math):
A Computational Logic for Applicative Common Lisp: library certificates [universe]
3.6-4: all - natty (math):
A Computational Logic for Applicative Common Lisp: library certificates [universe]
4.1-5: all - oneiric (math):
A Computational Logic for Applicative Common Lisp: library certificates [universe]
4.2-1: 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-2: all
Package acl2-books-source
- hardy (math):
A Computational Logic for Applicative Common Lisp: library sources [universe]
3.1-1: all - lucid (math):
A Computational Logic for Applicative Common Lisp: library sources [universe]
3.6-4: all - natty (math):
A Computational Logic for Applicative Common Lisp: library sources [universe]
4.1-5: all - oneiric (math):
A Computational Logic for Applicative Common Lisp: library sources [universe]
4.2-1: 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-2: all
Package acl2-doc
- hardy (doc):
A Computational Logic for Applicative Common Lisp: documentation [universe]
3.1-1: all - lucid (doc):
A Computational Logic for Applicative Common Lisp: documentation [universe]
3.6-4: all - natty (doc):
A Computational Logic for Applicative Common Lisp: documentation [universe]
4.1-5: all - oneiric (doc):
A Computational Logic for Applicative Common Lisp: documentation [universe]
4.2-1: 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-2: all
Package acl2-emacs
- hardy (math):
A Computational Logic for Applicative Common Lisp: emacs interface [universe]
3.1-1: all - lucid (math):
A Computational Logic for Applicative Common Lisp: emacs interface [universe]
3.6-4: all - natty (math):
A Computational Logic for Applicative Common Lisp: emacs interface [universe]
4.1-5: all - oneiric (math):
A Computational Logic for Applicative Common Lisp: emacs interface [universe]
4.2-1: 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-2: all
Package acl2-infix
- hardy (math):
A Computational Logic for Applicative Common Lisp: infix interface [universe]
3.3-1ubuntu1: amd64
3.1-1: i386 - lucid (math):
A Computational Logic for Applicative Common Lisp: infix interface [universe]
3.6-4: amd64 i386 - natty (math):
A Computational Logic for Applicative Common Lisp: infix interface [universe]
4.1-5: amd64 i386 - oneiric (math):
A Computational Logic for Applicative Common Lisp: infix interface [universe]
4.2-1: 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-2: amd64 i386
Package acl2-infix-source
- hardy (math):
A Computational Logic for Applicative Common Lisp: infix source [universe]
3.1-1: all - lucid (math):
A Computational Logic for Applicative Common Lisp: infix source [universe]
3.6-4: all - natty (math):
A Computational Logic for Applicative Common Lisp: infix source [universe]
4.1-5: all - oneiric (math):
A Computational Logic for Applicative Common Lisp: infix source [universe]
4.2-1: 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-2: all
Package acl2-source
- hardy (math):
A Computational Logic for Applicative Common Lisp: source files [universe]
3.1-1: all - lucid (math):
A Computational Logic for Applicative Common Lisp: source files [universe]
3.6-4: all - natty (math):
A Computational Logic for Applicative Common Lisp: source files [universe]
4.1-5: all - oneiric (math):
A Computational Logic for Applicative Common Lisp: source files [universe]
4.2-1: 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-2: all