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 <[email protected]> https://launchpad.net/ubuntu/saucy/+source/acl2/6.2-5
Sorry, changesfile not available.
-- Saucy-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/saucy-changes
