Search in specific suite: [dapper] [dapper-updates] [dapper-backports] [feisty] [feisty-updates] [feisty-backports] [gutsy] [gutsy-updates] [gutsy-backports] [hardy] [hardy-updates] [hardy-backports] [intrepid] [intrepid-updates] [intrepid-backports] [jaunty]
Limit search to a specific architecture: [i386] [amd64] [powerpc]
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
- dapper (math):
A Computational Logic for Applicative Common Lisp: main binary [universe]
2.9.3-7: amd64 i386 powerpc - feisty (math):
A Computational Logic for Applicative Common Lisp: main binary [universe]
3.1-1: amd64 i386 powerpc - gutsy (math):
A Computational Logic for Applicative Common Lisp: main binary [universe]
3.1-1: amd64 i386 powerpc - hardy (math):
A Computational Logic for Applicative Common Lisp: main binary [universe]
3.3-1ubuntu1: amd64
3.1-1: i386 - intrepid (math):
A Computational Logic for Applicative Common Lisp: main binary [universe]
3.3-1.1: amd64 i386 - jaunty (math):
A Computational Logic for Applicative Common Lisp: main binary [universe]
3.4-1: amd64 i386
Other hits
Package acl2-books
- dapper (math):
A Computational Logic for Applicative Common Lisp: compiled libraries [universe]
2.9.3-7: amd64 i386 powerpc - feisty (math):
A Computational Logic for Applicative Common Lisp: compiled libraries [universe]
3.1-1: amd64 i386 powerpc - gutsy (math):
A Computational Logic for Applicative Common Lisp: compiled libraries [universe]
3.1-1: amd64 i386 powerpc - hardy (math):
A Computational Logic for Applicative Common Lisp: compiled libraries [universe]
3.3-1ubuntu1: amd64
3.1-1: i386 - intrepid (math):
A Computational Logic for Applicative Common Lisp: compiled libraries [universe]
3.3-1.1: amd64 i386 - jaunty (math):
A Computational Logic for Applicative Common Lisp: compiled libraries [universe]
3.4-1: amd64 i386
Package acl2-books-certs
- dapper (math):
A Computational Logic for Applicative Common Lisp: library certificates [universe]
2.9.3-7: all - feisty (math):
A Computational Logic for Applicative Common Lisp: library certificates [universe]
3.1-1: all - gutsy (math):
A Computational Logic for Applicative Common Lisp: library certificates [universe]
3.1-1: all - hardy (math):
A Computational Logic for Applicative Common Lisp: library certificates [universe]
3.1-1: all - intrepid (math):
A Computational Logic for Applicative Common Lisp: library certificates [universe]
3.3-1.1: all - jaunty (math):
A Computational Logic for Applicative Common Lisp: library certificates [universe]
3.4-1: all
Package acl2-books-source
- dapper (math):
A Computational Logic for Applicative Common Lisp: library sources [universe]
2.9.3-7: all - feisty (math):
A Computational Logic for Applicative Common Lisp: library sources [universe]
3.1-1: all - gutsy (math):
A Computational Logic for Applicative Common Lisp: library sources [universe]
3.1-1: all - hardy (math):
A Computational Logic for Applicative Common Lisp: library sources [universe]
3.1-1: all - intrepid (math):
A Computational Logic for Applicative Common Lisp: library sources [universe]
3.3-1.1: all - jaunty (math):
A Computational Logic for Applicative Common Lisp: library sources [universe]
3.4-1: all
Package acl2-doc
- dapper (doc):
A Computational Logic for Applicative Common Lisp: documentation [universe]
2.9.3-7: all - feisty (doc):
A Computational Logic for Applicative Common Lisp: documentation [universe]
3.1-1: all - gutsy (doc):
A Computational Logic for Applicative Common Lisp: documentation [universe]
3.1-1: all - hardy (doc):
A Computational Logic for Applicative Common Lisp: documentation [universe]
3.1-1: all - intrepid (doc):
A Computational Logic for Applicative Common Lisp: documentation [universe]
3.3-1.1: all - jaunty (doc):
A Computational Logic for Applicative Common Lisp: documentation [universe]
3.4-1: all
Package acl2-emacs
- dapper (math):
A Computational Logic for Applicative Common Lisp: emacs interface [universe]
2.9.3-7: all - feisty (math):
A Computational Logic for Applicative Common Lisp: emacs interface [universe]
3.1-1: all - gutsy (math):
A Computational Logic for Applicative Common Lisp: emacs interface [universe]
3.1-1: all - hardy (math):
A Computational Logic for Applicative Common Lisp: emacs interface [universe]
3.1-1: all - intrepid (math):
A Computational Logic for Applicative Common Lisp: emacs interface [universe]
3.3-1.1: all - jaunty (math):
A Computational Logic for Applicative Common Lisp: emacs interface [universe]
3.4-1: all
Package acl2-infix
- dapper (math):
A Computational Logic for Applicative Common Lisp: infix interface [universe]
2.9.3-7: amd64 i386 powerpc - feisty (math):
A Computational Logic for Applicative Common Lisp: infix interface [universe]
3.1-1: amd64 i386 powerpc - gutsy (math):
A Computational Logic for Applicative Common Lisp: infix interface [universe]
3.1-1: amd64 i386 powerpc - hardy (math):
A Computational Logic for Applicative Common Lisp: infix interface [universe]
3.3-1ubuntu1: amd64
3.1-1: i386 - intrepid (math):
A Computational Logic for Applicative Common Lisp: infix interface [universe]
3.3-1.1: amd64 i386 - jaunty (math):
A Computational Logic for Applicative Common Lisp: infix interface [universe]
3.4-1: amd64 i386
Package acl2-infix-source
- dapper (math):
A Computational Logic for Applicative Common Lisp: infix source [universe]
2.9.3-7: all - feisty (math):
A Computational Logic for Applicative Common Lisp: infix source [universe]
3.1-1: all - gutsy (math):
A Computational Logic for Applicative Common Lisp: infix source [universe]
3.1-1: all - hardy (math):
A Computational Logic for Applicative Common Lisp: infix source [universe]
3.1-1: all - intrepid (math):
A Computational Logic for Applicative Common Lisp: infix source [universe]
3.3-1.1: all - jaunty (math):
A Computational Logic for Applicative Common Lisp: infix source [universe]
3.4-1: all
Package acl2-source
- dapper (math):
A Computational Logic for Applicative Common Lisp: source files [universe]
2.9.3-7: all - feisty (math):
A Computational Logic for Applicative Common Lisp: source files [universe]
3.1-1: all - gutsy (math):
A Computational Logic for Applicative Common Lisp: source files [universe]
3.1-1: all - hardy (math):
A Computational Logic for Applicative Common Lisp: source files [universe]
3.1-1: all - intrepid (math):
A Computational Logic for Applicative Common Lisp: source files [universe]
3.3-1.1: all - jaunty (math):
A Computational Logic for Applicative Common Lisp: source files [universe]
3.4-1: all