-
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.4dfsg-3) unstable; urgency=medium
* build-dep latest gcl
* revert mxgot for mips64
-- Camm Maguire <email address hidden> Thu, 08 Jun 2017 22:34:51 +0000
-
acl2 (7.4dfsg-2build1) artful; urgency=medium
* No-change rebuild to pick up -fPIE compiler default in static
libraries
-- Steve Langasek <email address hidden> Fri, 02 Jun 2017 22:35:11 +0000
-
acl2 (7.4dfsg-2) unstable; urgency=medium
* Set GCL_MULTIPROCESS_MEMORY_POOL for certifications
* build-dep latest gcl for mips64el fix
* Bug fix: "build fails on mips (mips-aql-05)", thanks to Héctor Orón
Martínez (Closes: #863224).
* mxgot .acl2 files patch
-- Camm Maguire <email address hidden> Sun, 28 May 2017 12:14:24 +0000
-
acl2 (7.4dfsg-1) unstable; urgency=medium
* New upstream release
-- Camm Maguire <email address hidden> Mon, 08 May 2017 16:58:52 +0000
-
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-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
