-
acl2 (7.0-1) unstable; urgency=medium
* New upstream release
-- Camm Maguire <email address hidden> Fri, 16 Jan 2015 10:35:45 -0500
-
acl2 (6.5-5) unstable; urgency=medium
* fix syntax error in debian/rules
-- Camm Maguire <email address hidden> Sun, 26 Oct 2014 12:51:22 -0400
-
acl2 (6.5-4) unstable; urgency=medium
* restore tick output for slow autobuilders
-- Camm Maguire <email address hidden> Sat, 25 Oct 2014 09:01:06 -0400
-
acl2 (6.5-3) unstable; urgency=medium
* build-dep latest gcl
* abort centaur/vl/top cert if insufficient memory (mips autobuild)
-- Camm Maguire <email address hidden> Fri, 24 Oct 2014 14:07:33 -0400
-
acl2 (6.5-2) unstable; urgency=medium
* build-dep latest gcl
-- Camm Maguire <email address hidden> Wed, 20 Aug 2014 00:37:33 +0000
-
acl2 (6.4-4) unstable; urgency=low
* parse and use parallel keyword in DEB_BUILD_OPTIONS
-- Camm Maguire <email address hidden> Thu, 15 May 2014 18:49:32 +0000