-
acl2 (8.0dfsg-1) unstable; urgency=medium
* New upstream release
* Applied dfsg changes from 7.1
* build-dep latest gcl
-- Camm Maguire <email address hidden> Fri, 12 Jan 2018 14:04:36 +0000
-
acl2 (7.4dfsg-4) unstable; urgency=medium
* Accept NMU, thanks to Sean Whitton
* build-dep latest gcl
-- Camm Maguire <email address hidden> Tue, 29 Aug 2017 23:11:16 +0000
-
acl2 (7.4dfsg-3.1) unstable; urgency=medium
* Non-maintainer upload.
* Bump {build-,}deps emacs24 -> emacs25 (Closes: #870663).
-- Sean Whitton <email address hidden> Thu, 03 Aug 2017 17:27:43 -0400
-
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