Debian
acl2 package

Change logs for acl2 source package in Squeeze

  1. Squeeze (6.0)
  2. Change log 
  • acl2 (4.0-3) unstable; urgency=low


  * compile nats to avoid invocation stack overflow on #-native-reloc
    machines

 -- Camm Maguire <email address hidden>  Fri, 09 Jul 2010 13:00:12 +0000
  • acl2 (3.6.1-2) unstable; urgency=low


  * Bug fix: "acl2 depends on old / broken emacs22 package", thanks to
    Andreas Barth (Closes: #585405).
  * lintian fixes

 -- Camm Maguire <email address hidden>  Thu, 10 Jun 2010 14:09:37 +0000
  • acl2 (3.6-4) unstable; urgency=low


  * Bug fix: "FTBFS [hppa] - **CERTIFICATION FAILED** for ram2b.lisp",
    thanks to dann frazier (Closes: #564247).

 -- Camm Maguire <email address hidden>  Mon, 11 Jan 2010 17:44:36 +0000
  • acl2 (3.4-2) unstable; urgency=low


  * New maintainer address
  * sparc sgc workaround -- disable sgc here only

 -- Camm Maguire <email address hidden>  Mon, 23 Feb 2009 01:54:24 +0000