[ubuntu/noble-updates] acl2 8.5dfsg-5 (Accepted)

[Steve Langasek]

acl2 (8.5dfsg-5) unstable; urgency=medium

  * relieve memory pressure in build via GCL_MEM_MULTIPLE=0.1

Date: 2023-01-16 10:26:28.694356+00:00
Changed-By: Camm Maguire <camm at debian.org>
Signed-By: Steve Langasek <steve.langasek at canonical.com>
https://launchpad.net/ubuntu/+source/acl2/8.5dfsg-5
-------------- next part --------------
Sorry, changesfile not available.