diff -Nru acl2-8.5dfsg/debian/changelog acl2-8.5dfsg/debian/changelog
--- acl2-8.5dfsg/debian/changelog	2023-01-08 22:09:23.000000000 +0000
+++ acl2-8.5dfsg/debian/changelog	2023-01-16 01:02:50.000000000 +0000
@@ -1,3 +1,9 @@
+acl2 (8.5dfsg-5) unstable; urgency=medium
+
+  * relieve memory pressure in build via GCL_MEM_MULTIPLE=0.1
+
+ -- Camm Maguire <camm@debian.org>  Sun, 15 Jan 2023 20:02:50 -0500
+
 acl2 (8.5dfsg-4) unstable; urgency=medium
 
   * build depend latest gcl
diff -Nru acl2-8.5dfsg/debian/rules acl2-8.5dfsg/debian/rules
--- acl2-8.5dfsg/debian/rules	2021-10-29 14:05:27.000000000 +0000
+++ acl2-8.5dfsg/debian/rules	2023-01-16 01:02:17.000000000 +0000
@@ -90,7 +90,7 @@
 #	gcl -batch -eval "(bye #-native-reloc 1)" || \
 #		(gcl -batch -eval '(load "debian/dlopen.lisp")' && $(MAKE) do_saved)
 #	gcl -batch -eval "(bye #+native-reloc 1)" || $(MAKE) GCL_ANSI=t LISP=gcl
-	$(MAKE) GCL_ANSI=t LISP=$(shell command -v gcl) & j=$$! ; tail --retry -f make.log & k=$$! ; wait $$j ; kill $$k
+	$(MAKE) GCL_MEM_MULTIPLE=0.1 GCL_ANSI=t LISP=$(shell command -v gcl) & j=$$! ; tail --retry -f make.log & k=$$! ; wait $$j ; kill $$k
 	mv *$@.gcl $@
 
 saved_acl2.c: saved_acl2