Ubuntu
acl2 package

Branches for Hardy

Name		Status	Last Modified	Last Commit
lp:ubuntu/hardy/acl2		2 Mature	2009-12-19 05:34:14 UTC 2009-12-19	10. * debian/control: + Add time to Bui... Author: Michael Bienia Revision Date: 2008-02-17 00:01:22 UTC * debian/control: + Add time to Build-Depends (fixes FTBFS, LP: #185102). + Modify Maintainer value to match DebianMaintainerField spec.