-
acl2 (8.5dfsg-5) unstable; urgency=medium
* relieve memory pressure in build via GCL_MEM_MULTIPLE=0.1
-- Camm Maguire <email address hidden> Sun, 15 Jan 2023 20:02:50 -0500
-
acl2 (8.5dfsg-4) unstable; urgency=medium
* build depend latest gcl
-- Camm Maguire <email address hidden> Sun, 08 Jan 2023 17:09:23 -0500
-
acl2 (8.5dfsg-3) unstable; urgency=medium
* build depend latest gcl
-- Camm Maguire <email address hidden> Sun, 25 Dec 2022 18:10:20 -0500
-
acl2 (8.5dfsg-2) unstable; urgency=medium
* Bug fix: "FTBFS: make: *** [debian/rules:160: infix-stamp] Error 2", thanks to Lucas Nussbaum (Closes: #1026795).
* build depend latest gcl
* remove superfluous tex-common from build-deps
-- Camm Maguire <email address hidden> Wed, 21 Dec 2022 10:43:39 -0500
-
acl2 (8.5dfsg-1) unstable; urgency=medium
* New upstream release
* Bug fix: "Please remove dependency on install-info", thanks to Hilmar
Preusse (Closes: #1013453).
-- Camm Maguire <email address hidden> Wed, 27 Jul 2022 09:42:51 -0400
