Change logs for acl2 source package in Jessie

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

acl2 (6.3-6) unstable; urgency=low


  * rebuild against latest gcl

 -- Camm Maguire <email address hidden>  Fri, 15 Nov 2013 16:11:57 +0000

acl2 (6.3-5) unstable; urgency=low


  * rebuild against latest gcl

 -- Camm Maguire <email address hidden>  Fri, 18 Oct 2013 16:10:57 +0000

acl2 (6.2-7) unstable; urgency=low


  * build-dep against latest gcl
  * again allow optimize-maximum-pages in elementary-bounders.acl2

 -- Camm Maguire <email address hidden>  Tue, 06 Aug 2013 11:30:55 +0000

acl2 (6.0-2) unstable; urgency=low


  * HOME="/tmp" environment for make DOC

 -- Camm Maguire <email address hidden>  Sun, 13 Jan 2013 17:54:15 +0000