No summary available for acl2-books-certs in ubuntu quantal.

Source package

Published versions

• acl2-books-certs 4.2-1 in amd64 (Release)
• acl2-books-certs 4.2-1 in armel (Release)
• acl2-books-certs 4.2-1 in armhf (Release)
• acl2-books-certs 4.2-1 in i386 (Release)
• acl2-books-certs 4.2-1 in powerpc (Release)