This page shows all known information about package acl2-books-certs.
acl2-books-certs - Computational Logic for Applicative Common Lisp: library certificates
From source: acl2
debian/controlCopyright © 2011-2013 Enrico Zini <enrico@debian.org>. See license terms. Source code is available.
Debtags is part of Debian.