Change logs for acl2 source package in Disco

acl2 (8.0dfsg-1build1) disco; urgency=medium

  * No-change rebuild for readline soname change.

 -- Matthias Klose <email address hidden>  Tue, 15 Jan 2019 10:25:21 +0000

acl2 (8.0dfsg-1) unstable; urgency=medium

  * New upstream release
  * Applied dfsg changes from 7.1
  * build-dep latest gcl

 -- Camm Maguire <email address hidden>  Fri, 12 Jan 2018 14:04:36 +0000