You have searched for packages that names contain acl2-books in all suites, all sections, and all architectures.
Found 3 matching packages.
Exact hits
Package acl2-books
- sarge (oldstable) (math):
A Computational Logic for Applicative Common Lisp: compiled libraries
2.9-2: alpha amd64 arm hppa i386 ia64 m68k mips mipsel powerpc s390 sparc
- etch (stable) (math):
A Computational Logic for Applicative Common Lisp: compiled libraries
3.1-1: alpha amd64 arm hppa i386 ia64 mips mipsel powerpc s390 sparc
- etch-m68k (math):
A Computational Logic for Applicative Common Lisp: compiled libraries
3.1-1: m68k
- lenny (testing) (math):
A Computational Logic for Applicative Common Lisp: compiled libraries
3.1-1: alpha amd64 arm hppa i386 ia64 mips mipsel powerpc s390 sparc
- sid (unstable) (math):
A Computational Logic for Applicative Common Lisp: compiled libraries
3.3-1.1: alpha amd64 armel i386 powerpc s390 sparc
3.3-1: arm ia64 mips mipsel
3.1-1: hppa m68k
Other hits
Package acl2-books-certs
- sarge (oldstable) (math):
A Computational Logic for Applicative Common Lisp: library certificates
2.9-2: all
- etch (stable) (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
- lenny (testing) (math):
A Computational Logic for Applicative Common Lisp: library certificates
3.1-1: all
- sid (unstable) (math):
A Computational Logic for Applicative Common Lisp: library certificates
3.3-1.1: all
Package acl2-books-source
- sarge (oldstable) (math):
A Computational Logic for Applicative Common Lisp: library sources
2.9-2: all
- etch (stable) (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
- lenny (testing) (math):
A Computational Logic for Applicative Common Lisp: library sources
3.1-1: all
- sid (unstable) (math):
A Computational Logic for Applicative Common Lisp: library sources
3.3-1.1: all
