You have searched for packages that names contain acl2-books-certs in all suites, all sections, and all architectures.
Found 1 matching packages.
Exact hits
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
packages