diff -Nru acl2-8.5dfsg/debian/changelog acl2-8.5dfsg/debian/changelog
--- acl2-8.5dfsg/debian/changelog	2024-03-19 00:06:46.000000000 +0000
+++ acl2-8.5dfsg/debian/changelog	2024-04-01 05:02:30.000000000 +0000
@@ -1,3 +1,9 @@
+acl2 (8.5dfsg-5build3) noble; urgency=medium
+
+  * No-change rebuild for CVE-2024-3094
+
+ -- William Grant <wgrant@ubuntu.com>  Mon, 01 Apr 2024 16:02:30 +1100
+
 acl2 (8.5dfsg-5build2) noble; urgency=medium
 
   * No-change rebuild against libtirpc3t64