-
acl2 (7.2dfsg-3) unstable; urgency=medium
* build-dep against latest gcl
* upstream pathname patch
-- Camm Maguire <email address hidden> Sat, 15 Oct 2016 11:39:07 +0000
-
acl2 (7.2dfsg-2build2) yakkety; urgency=medium
* Rebuild against gcl and readline
-- Graham Inggs <email address hidden> Mon, 26 Sep 2016 17:10:30 +0200
-
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