-
acl2 (8.4dfsg-2) unstable; urgency=medium
* append make.log to build output
-- Camm Maguire <email address hidden> Fri, 29 Oct 2021 14:06:33 +0000
-
acl2 (8.4dfsg-1) unstable; urgency=medium
* New upstream release
* Bug fix: "run-acl2 in emacs fails", thanks to florine forine (Closes:
#987172).
-- Camm Maguire <email address hidden> Thu, 28 Oct 2021 17:26:09 +0000
-
acl2 (8.3dfsg-4) unstable; urgency=medium
* Source only upload to allow testing migration
-- Camm Maguire <email address hidden> Mon, 11 Oct 2021 12:19:41 +0000
-
acl2 (8.3dfsg-2) unstable; urgency=medium
* certify-books -> regression-fresh
* debhelper-compat ( = 13 )
* standards 4.5.0
* ISO-8859-16 -> UTF-8
* watch version 4
* lintian override: rfc2388.txt is not a license file
* clean books/centaur/vl/kit/test.vlzip books/centaur/getopt/demo2 books/centaur/getopt/demo2-test.ok
* remove w3 validation in home-page.html
-- Camm Maguire <email address hidden> Wed, 27 Jan 2021 14:05:42 +0000