{"base_revision":"git-v1:e97d7c1d066302ed3811c668807976a11f9278d1","content":"diff --git a/debian/changelog b/debian/changelog\nindex d1a923c..1726244 100644\n--- a/debian/changelog\n+++ b/debian/changelog\n@@ -1,3 +1,9 @@\n+eprover (3.2.5+ds-2) UNRELEASED; urgency=low\n+\n+  * Update standards version to 4.7.4, no changes needed.\n+\n+ -- Debian Janitor <janitor@jelmer.uk>  Sun, 03 May 2026 02:44:10 +0000\n+\n eprover (3.2.5+ds-1) unstable; urgency=medium\n \n   * New upstream release.\ndiff --git a/debian/control b/debian/control\nindex 01ef430..71f7c3f 100644\n--- a/debian/control\n+++ b/debian/control\n@@ -3,7 +3,7 @@ Maintainer: Debian Math Team <team+math@tracker.debian.org>\n Uploaders: Julien Puydt <jpuydt@debian.org>\n Section: math\n Priority: optional\n-Standards-Version: 4.7.0\n+Standards-Version: 4.7.4\n Homepage: https://eprover.org\n Build-Depends: debhelper-compat (= 13), help2man, picosat\n Rules-Requires-Root: no\n","content_type":"text/plain","diff_type":"vcs","new_revision":"git-v1:4dbc520d8bc62c2feeab97b202a19e43c61a29d0"}