Ubuntu
acl2 package

Change logs for acl2 source package in Kinetic

  1. Kinetic (22.10)
  2. Change log 
  • 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
  • acl2 (8.4dfsg-2) unstable; urgency=medium

  * append make.log to build output

 -- Camm Maguire <email address hidden>  Fri, 29 Oct 2021 14:06:33 +0000