Change logs for acl2 source package in Noble

  • acl2 (8.5dfsg-5build3) noble; urgency=medium
    
      * No-change rebuild for CVE-2024-3094
    
     -- William Grant <email address hidden>  Mon, 01 Apr 2024 16:02:30 +1100
  • acl2 (8.5dfsg-5build2) noble; urgency=medium
    
      * No-change rebuild against libtirpc3t64
    
     -- Steve Langasek <email address hidden>  Tue, 19 Mar 2024 00:06:46 +0000
  • acl2 (8.5dfsg-5build1) noble; urgency=medium
    
      * No-change rebuild against libtirpc3t64
    
     -- Steve Langasek <email address hidden>  Thu, 29 Feb 2024 09:18:42 +0000
  • 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