maude (3.5.1-1) unstable; urgency=medium

  * Team Upload.
  * New upstream version 3.5.1. Re-diff patches
  * Bump Standards-Version to 4.7.2 (no changes needed)
  * Drop Redundant "Rules-Requires-Root: no"

 -- Nilesh Patra <nilesh@debian.org>  Sat, 25 Oct 2025 16:33:16 +0530

maude (3.4-1) unstable; urgency=medium

  * Team Upload.
  * New upstream version 3.4 (Closes: #1067957)
  * Refresh, update patches
  * Drop patch file
  * Update Builddep from libncurses5-dev => libncurses-dev
    (former is a virtual package)
  * Bump Standards-Version to 4.6.2 (no changes needed)
  * Remove copyright for superfluous file

 -- Nilesh Patra <nilesh@iki.fi>  Sun, 07 Apr 2024 16:28:11 +0530

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

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog maude`.
