-
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.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