You have searched for packages that names contain acl2-books in all suites, all sections, and architecture(s) i386.
Found 3 matching packages.
Exact hits
Package acl2-books
- etch (oldstable) (math):
A Computational Logic for Applicative Common Lisp: compiled libraries
3.1-1: i386
- squeeze (testing) (math):
A Computational Logic for Applicative Common Lisp: compiled libraries
3.4-2: i386
- sid (unstable) (math):
A Computational Logic for Applicative Common Lisp: compiled libraries
3.4-2: i386
Other hits
Package acl2-books-certs
- etch (oldstable) (math):
A Computational Logic for Applicative Common Lisp: library certificates
3.1-1: all
- etch-m68k (math):
A Computational Logic for Applicative Common Lisp: library certificates
3.1-1: all
- squeeze (testing) (math):
A Computational Logic for Applicative Common Lisp: library certificates
3.4-2: all
- sid (unstable) (math):
A Computational Logic for Applicative Common Lisp: library certificates
3.4-2: all
Package acl2-books-source
- etch (oldstable) (math):
A Computational Logic for Applicative Common Lisp: library sources
3.1-1: all
- etch-m68k (math):
A Computational Logic for Applicative Common Lisp: library sources
3.1-1: all
- squeeze (testing) (math):
A Computational Logic for Applicative Common Lisp: library sources
3.4-2: all
- sid (unstable) (math):
A Computational Logic for Applicative Common Lisp: library sources
3.4-2: all
