Ubuntu
maude package

Change logs for maude source package in Bionic

  1. Bionic (18.04)
  2. Change log 
  • maude (2.7-2) unstable; urgency=medium

  [ Andreas Tille ]
  * Moved packaging from SVN to Git
  * cme fix dpkg-control

  [ Alexis Bienvenüe]
  * Strip build date from banner to get reproducible build.
    Closes: #819948

 -- Andreas Tille <email address hidden>  Tue, 05 Apr 2016 10:48:06 +0200