Ubuntu
acl2 package

Change logs for acl2 source package in Trusty

  1. Trusty (14.04)
  2. Change log 
  • 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-6) unstable; urgency=low


  * fix elementary-bounders.acl2

 -- Camm Maguire <email address hidden>  Mon, 29 Jul 2013 18:54:53 +0000