{"base_revision":"git-v1:3c8c196f54d8f66ecfac52aff873053b0ee5a16d","content":"diff --git a/debian/changelog b/debian/changelog\nindex 2a3aba0..9872b87 100644\n--- a/debian/changelog\n+++ b/debian/changelog\n@@ -1,3 +1,12 @@\n+picosat (965-4) UNRELEASED; urgency=low\n+\n+  * Use secure URI in Homepage field.\n+  * Remove obsolete fields Contact, Name from debian/upstream/metadata (already\n+    present in machine-readable debian/copyright).\n+  * Update standards version to 4.7.4, no changes needed.\n+\n+ -- Debian Janitor <janitor@jelmer.uk>  Wed, 13 May 2026 07:19:19 +0000\n+\n picosat (965-3) unstable; urgency=medium\n \n   * Team Upload.\ndiff --git a/debian/control b/debian/control\nindex 063a6f3..cf34acf 100644\n--- a/debian/control\n+++ b/debian/control\n@@ -5,10 +5,10 @@ Section: science\n Priority: optional\n Build-Depends: debhelper-compat (= 13),\n                dh-exec\n-Standards-Version: 4.7.2\n+Standards-Version: 4.7.4\n Vcs-Browser: https://salsa.debian.org/science-team/picosat\n Vcs-Git: https://salsa.debian.org/science-team/picosat.git\n-Homepage: http://fmv.jku.at/picosat/\n+Homepage: https://fmv.jku.at/picosat/\n \n Package: picosat\n Architecture: any\ndiff --git a/debian/upstream/metadata b/debian/upstream/metadata\ndeleted file mode 100644\nindex 846c74a..0000000\n--- a/debian/upstream/metadata\n+++ /dev/null\n@@ -1,2 +0,0 @@\n-Name: PicoSAT\n-Contact: Armin Biere <biere@jku.at>\n","content_type":"text/plain","diff_type":"vcs","new_revision":"git-v1:cde93bca3df63b010005d0ab3c4829886a4701a8"}