Ubuntu
acl2 package

Change logs for acl2 source package in Groovy

  1. Groovy (20.10)
  2. Change log 
  • acl2 (8.3dfsg-1) unstable; urgency=medium

  * New upstream release

 -- Camm Maguire <email address hidden>  Sat, 22 Aug 2020 14:29:22 +0000
  • acl2 (8.2dfsg-3build1) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Mon, 23 Mar 2020 07:09:23 +0100