[ubuntu/saucy-proposed] acl2 6.2-5 (Accepted)
Colin Watson
cjwatson at canonical.com
Mon Jul 29 17:23:54 UTC 2013
acl2 (6.2-5) unstable; urgency=low
* (setq si::*optimize-maximum-pages* nil) in elementary-bounders.acl2
* build-dep against latest gcl
Date: 2013-07-28 22:10:52.322395+00:00
Signed-By: Colin Watson <cjwatson at canonical.com>
https://launchpad.net/ubuntu/saucy/+source/acl2/6.2-5
-------------- next part --------------
Sorry, changesfile not available.
More information about the Saucy-changes
mailing list