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 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 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 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 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 Sat, 31 Oct 2020 16:52:20 +0530 maude (3.0-1) unstable; urgency=medium [ Jelmer Vernooij ] * 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 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 Tue, 05 Apr 2016 10:48:06 +0200 maude (2.7-1) unstable; urgency=medium * New upstream version Closes: #790260 -- Andreas Tille 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 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 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 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 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 Fri, 04 Nov 2011 15:37:12 +0100 maude (2.6-1) unstable; urgency=low * Initial Release. (closes: #611927) -- Scott Christley Thu, 10 Feb 2011 14:11:58 -0800