Ubuntu
acl2 package

Branches for Intrepid

Name		Status	Last Modified	Last Commit
lp:ubuntu/intrepid/acl2		2 Mature	2009-12-19 05:34:26 UTC 2009-12-19	11. * Non-maintainer upload. * Build depe... Author: Peter Eisentraut Revision Date: 2008-04-05 18:49:49 UTC * Non-maintainer upload. * Build depend on time, so that it works with shells other than bash (Closes: #459060).