acl2 (6.2-6) unstable; urgency=low * fix elementary-bounders.acl2 Date: 2013-07-30 22:11:06.388384+00:00 Signed-By: Colin Watson <cjwatson at canonical.com> https://launchpad.net/ubuntu/saucy/+source/acl2/6.2-6 -------------- next part -------------- Sorry, changesfile not available.