acl2 (7.2dfsg-2) unstable; urgency=medium * Bug fix: "FTBFS in kfreebsd-amd64", thanks to Andreas Beckmann (Closes: #815312). Reduce GCL_MEM_MULTIPLE setting. * Bug fix: "FTBFS in stretch (looks like the same problem in maxima)", thanks to Santiago Vila (Closes: #819447). -- Camm Maguire <email address hidden> Tue, 03 May 2016 15:05:07 +0000