Ubuntu
acl2 package

Branches for Jaunty

Name		Status	Last Modified	Last Commit
lp:ubuntu/jaunty/acl2		2 Mature	2009-12-19 05:34:36 UTC 2009-12-19	12. * New upstream release * Bug fix: "ac... Author: Camm Maguire Revision Date: 2008-08-24 21:26:46 UTC * New upstream release * Bug fix: "acl2-status.txt should contain :INITIALIZED.", thanks to Lucas Nussbaum (Closes: #494328). New release works around compiler issue. * Bug fix: "FTBFS when converted to new source format 3.0 (quilt)", thanks to hertzog@debian.org</a>; (Closes: #482594). patches -> dpatches