maude (3.2-2build1) noble; urgency=high

  * No change rebuild against libtecla1t64.

 -- Julian Andres Klode <juliank@ubuntu.com>  Mon, 08 Apr 2024 17:00:35 +0200

maude (3.2-2) unstable; urgency=medium

  * Team upload.
  * Add patch to fix FTBFS against glibc 2.34
    + Thanks vorlon for the patch (Closes: #1014627)

 -- Nilesh Patra <nilesh@debian.org>  Tue, 12 Jul 2022 19:53:44 +0530

maude (3.2-1) unstable; urgency=medium

  * Point watch file to Github
  * New upstream version
  * Standards-Version: 4.6.0 (routine-update)
  * Set upstream metadata fields: Bug-Database, Bug-Submit.
  * Skip one fialing test

 -- Andreas Tille <tille@debian.org>  Sat, 19 Feb 2022 21:29:38 +0100

maude (3.1-2) unstable; urgency=medium

  * Team Upload.
  * Fix for 32-bit arches
  * Standards-Version: 4.5.1

 -- Nilesh Patra <npatra974@gmail.com>  Tue, 15 Dec 2020 21:59:43 +0530

maude (3.1-1) unstable; urgency=medium

  * Team upload.
  * New upstream version
  * debhelper-compat 13 (routine-update)
  * Refreshed patches

 -- Nilesh Patra <npatra974@gmail.com>  Sat, 31 Oct 2020 16:52:20 +0530

maude (3.0-1) unstable; urgency=medium

  [ Jelmer Vernooĳ ]
  * Use secure copyright file specification URI.

  [ Andreas Tille ]
  * New upstream version
  * Fix watch file
  * Point Vcs fields to salsa.debian.org
  * Build-Depends: libcvc4-dev
  * Avoid parallel build
  * export DEB_CXXFLAGS_MAINT_APPEND=-fpermissive (thanks to Dan Kegel)
  * debhelper 12
  * Standards-Version: 4.5.0
  * Remove trailing whitespace in debian/copyright
  * debhelper-compat 12 (routine-update)
  * Add salsa-ci file (routine-update)
  * Rules-Requires-Root: no (routine-update)
  * Remove obsolete fields Contact, Name from debian/upstream/metadata
    (already present in machine-readable debian/copyright).
  * Build with --with-yices2=no since
       https://github.com/SRI-CSL/yices2
    is not packaged

 -- Andreas Tille <tille@debian.org>  Thu, 16 Apr 2020 15:34:47 +0200

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 <tille@debian.org>  Tue, 05 Apr 2016 10:48:06 +0200

maude (2.7-1) unstable; urgency=medium

  * New upstream version
    Closes: #790260

 -- Andreas Tille <tille@debian.org>  Wed, 16 Dec 2015 22:57:25 +0100

maude (2.6-6) unstable; urgency=medium

  * Fix Build-Dependency after renamed libtecla-dev
    Closes: #763694
  * cme fix dpkg-control

 -- Andreas Tille <tille@debian.org>  Thu, 02 Oct 2014 08:03:45 +0200

maude (2.6-5) unstable; urgency=medium

  * move debian/upstream to debian/upstream/metadata
  * Three helpful pathces provided by Jakub Wilk to deal with bison
    problems - many thanks to Jakub!
    Closes: #733407
  * cme fix dpkg-control

 -- Andreas Tille <tille@debian.org>  Tue, 20 May 2014 14:02:43 +0200

maude (2.6-4) unstable; urgency=low

  * debian/rules: dh --with autotools_dev
    Closes: #727454

 -- Andreas Tille <tille@debian.org>  Thu, 24 Oct 2013 09:22:27 +0200

maude (2.6-3) unstable; urgency=low

  * renamed debian/upstream-metadata.yaml to debian/upstream
  * debian/copyright: cme fix dpkg-copyright
  * debian/control:
     - cme fix dpkg-control
     - debhelper 9
     - drop cdbs, quilt from Build-Depends
     - Use anonscm in Vcs fields
  * debian/rules:
     - use short dh instead of cdbs
     - fix clean target

 -- Andreas Tille <tille@debian.org>  Tue, 09 Jul 2013 15:19:51 +0200

maude (2.6-2) unstable; urgency=low

  * Rebuilded after cleaning up
    Closes: #643212
  * Added myself to Uploaders
  * Follow hint of ftpmaster to fix clean target and clean up
    src/Mixfix/surface.output
  * debian/control:
    - Standards-Version: 3.9.2 (no changes needed)
    - Fixed Vcs fields
    - Drop article 'A' from start of short description
  * Debhelper 8 (control+compat)
  * debian/copyright: DEP5 compatibility
  * debian/upstream-metadata.yaml: citing information

 -- Andreas Tille <tille@debian.org>  Fri, 04 Nov 2011 15:37:12 +0100

maude (2.6-1) unstable; urgency=low

  * Initial Release. (closes: #611927)

 -- Scott Christley <schristley@mac.com>  Thu, 10 Feb 2011 14:11:58 -0800
