debian/changelog

@@ -3,9 +3,7 @@ maude (2.7.1-1) UNRELEASED; urgency=medium
   [ Andreas Tille ]
   * New upstream version
   * Fix watch file
-  * debhelper 11
   * Point Vcs fields to salsa.debian.org
-  * Standards-Version: 4.1.4
   * Build-Depends: libcvc4-dev
   * Avoid parallel build
   * export DEB_CXXFLAGS_MAINT_APPEND=-fpermissive (thanks to Dan Kegel)
@@ -13,6 +11,11 @@ maude (2.7.1-1) UNRELEASED; urgency=medium
   [ Jelmer Vernooij ]
   * Use secure copyright file specification URI.
 
+  [ Andreas Tille ]
+  * debhelper 12
+  * Standards-Version: 4.3.0
+  * Remove trailing whitespace in debian/copyright
+
  -- Andreas Tille <tille@debian.org>  Fri, 03 Aug 2018 16:04:54 +0200
 
 maude (2.7-2) unstable; urgency=medium

debian/compat

-11
+12

debian/control

@@ -4,7 +4,7 @@ Uploaders: Scott Christley <schristley@mac.com>,
            Andreas Tille <tille@debian.org>
 Section: science
 Priority: optional
-Build-Depends: debhelper (>= 11~),
+Build-Depends: debhelper (>= 12~),
                libtecla-dev,
                libbdd-dev,
                libgmp3-dev,
@@ -13,7 +13,7 @@ Build-Depends: debhelper (>= 11~),
                flex (>= 2.5.36),
                libncurses5-dev,
                libcvc4-dev
-Standards-Version: 4.1.4
+Standards-Version: 4.3.0
 Vcs-Browser: https://salsa.debian.org/med-team/maude
 Vcs-Git: https://salsa.debian.org/med-team/maude.git
 Homepage: http://maude.cs.uiuc.edu