[ubuntu/saucy-proposed] acl2 6.2-5 (Accepted)

[Colin Watson]

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.