{"base_revision":"git-v1:a8481bf8caf3d24f1b8fb7f494f22709905bd482","content":"diff --git a/debian/changelog b/debian/changelog\nindex cdd49bd..a63a3e0 100644\n--- a/debian/changelog\n+++ b/debian/changelog\n@@ -1,9 +1,18 @@\n+spass (3.9-2) UNRELEASED; urgency=low\n+\n+  * Trim trailing whitespace.\n+  * Use secure URI in Homepage field.\n+  * Bump debhelper from old 12 to 13.\n+  * Update standards version to 4.7.4, no changes needed.\n+\n+ -- Debian Janitor <janitor@jelmer.uk>  Sun, 10 May 2026 23:45:16 +0000\n+\n spass (3.9-1) unstable; urgency=medium\n \n   * New upstream version. This version fixes an FTBFS with glibc 2.26\n     (closes: #887646).\n   * Switch build-dependency debhelper to debhelper-compat, drop debian/compat\n-  * Debhelper compatibility level 12 (no change) \n+  * Debhelper compatibility level 12 (no change)\n   * Add build-dependency on bison, flex\n   * Do not attempt to install upstream documentation, it is gone from\n     version 3.9:\n@@ -17,8 +26,8 @@ spass (3.9-1) unstable; urgency=medium\n   * Create debian/spass.install as upstream's makefile doesn't do install\n   * Update Vcs-{Browser,Git} to salsa\n   * Standards-version 4.5.0:\n-    - debian/copyright: use https in format header \n-  \n+    - debian/copyright: use https in format header\n+\n  -- Ralf Treinen <treinen@debian.org>  Wed, 29 Apr 2020 11:04:25 +0200\n \n spass (3.7-4) unstable; urgency=medium\n@@ -41,7 +50,7 @@ spass (3.7-4) unstable; urgency=medium\n   * docs:\n     - install pdf documents into /usr/share/doc/spass\n     - drop the html docs which are incomplete, and superseded by the man pages\n-    \n+\n  -- Ralf Treinen <treinen@debian.org>  Sun, 23 Oct 2016 20:22:48 +0200\n \n spass (3.7-3) unstable; urgency=low\n@@ -123,7 +132,7 @@ spass (2.0-2) unstable; urgency=low\n  -- Marco Kuhlmann <mk@debian.org>  Sun,  1 Sep 2002 16:51:15 +0100\n \n spass (2.0-1) unstable; urgency=low\n-  \n+\n   * initial release (closes: #156728)\n \n  -- Marco Kuhlmann <mk@debian.org>  Thu, 22 Aug 2002 00:21:12 +0100\ndiff --git a/debian/control b/debian/control\nindex 88e00c4..1b21aa3 100644\n--- a/debian/control\n+++ b/debian/control\n@@ -1,15 +1,15 @@\n Source: spass\n Section: science\n Priority: optional\n-Build-Depends: debhelper-compat (=12),\n+Build-Depends: debhelper-compat (= 13),\n  bison,\n  flex\n Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>\n Uploaders: Ralf Treinen <treinen@debian.org>\n Vcs-Git: https://salsa.debian.org/science-team/spass.git\n Vcs-Browser: https://salsa.debian.org/science-team/spass\n-Homepage: http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/\n-Standards-Version: 4.5.0\n+Homepage: https://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/\n+Standards-Version: 4.7.4\n \n Package: spass\n Architecture: any\n","content_type":"text/plain","diff_type":"vcs","new_revision":"git-v1:57a56908db0ee6aa3379676beea67e6d6a22f3b1"}