Ubuntu
acl2 package

Branches for Lucid

Name		Status	Last Modified	Last Commit
lp:ubuntu/lucid/acl2		1 Development	2010-01-11 17:44:36 UTC 2010-01-11	14. Bug fix: "FTBFS [hppa] - CERTIFICAT... Author: Camm Maguire Revision Date: 2010-01-11 17:44:36 UTC Bug fix: "FTBFS [hppa] - CERTIFICATION FAILED** for ram2b.lisp", thanks to dann frazier (Closes: #564247).