acl2 (6.3-6) unstable; urgency=low * rebuild against latest gcl Date: 2013-11-17 16:10:47.665020+00:00 Signed-By: Adam Conrad <adconrad at 0c3.net> https://launchpad.net/ubuntu/utopic/+source/acl2/6.3-6 -------------- next part -------------- Sorry, changesfile not available.