{"app_name":"Debian Janitor","binary_packages":["spass-dbgsym","spass"],"branch_url":"https://salsa.debian.org/science-team/spass.git/","build_distribution":"sid","campaign":"lintian-fixes","change_set":"774cf116-5704-449b-a171-6f10979e9e44","codebase":"spass","command":"DEB_UPDATE_CHANGELOG=auto lintian-brush --exclude=uses-debhelper-compat-file","current_year":"2026","description":"","is_admin":false,"lintian_result":{"groups":[{"group_id":"spass_3.9-2~jan+lint1","input_files":[{"hints":[{"experimental":false,"note":"","pointer":{"item":{"index":"spass-dbgsym_3.9-2~jan+lint1_amd64.deb (installed)","name":"usr/lib/debug/.build-id/96/2dcee32c286698050fe2de64b4c8ebc89d5763.debug"},"line_position":0},"tag":"debug-file-with-no-debug-symbols","visibility":"warning"}],"path":"spass-dbgsym_3.9-2~jan+lint1_amd64.deb"},{"hints":[{"experimental":false,"note":"","pointer":{"item":{"index":"spass_3.9-2~jan+lint1.dsc (patched)","name":"debian/changelog"},"line_position":1},"tag":"no-nmu-in-changelog","visibility":"warning"},{"experimental":false,"note":"3","pointer":{"item":{"index":"spass_3.9-2~jan+lint1.dsc (patched)","name":"debian/watch"},"line_position":0},"tag":"obsolete-debian-watch-file-standard","visibility":"warning"},{"experimental":false,"note":"3.9-2~jan+lint1","pointer":{"item":{"index":"spass_3.9-2~jan+lint1.dsc (patched)","name":"debian/changelog"},"line_position":1},"tag":"source-nmu-has-incorrect-version-number","visibility":"warning"}],"path":"spass_3.9-2~jan+lint1.dsc"},{"hints":[],"path":"spass_3.9-2~jan+lint1_amd64.buildinfo"},{"hints":[{"experimental":false,"note":"sid lintian-fixes","tag":"distribution-and-changes-mismatch","visibility":"warning"}],"path":"spass_3.9-2~jan+lint1_amd64.changes"},{"hints":[{"experimental":false,"note":"lintian-fixes != sid","pointer":{"item":{"index":"spass_3.9-2~jan+lint1_amd64.deb (installed)","name":"usr/share/doc/spass/changelog.Debian.gz"},"line_position":1},"tag":"changelog-distribution-does-not-match-changes-file","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"spass_3.9-2~jan+lint1_amd64.deb (installed)","name":"usr/bin/FLOTTER"},"line_position":0},"tag":"no-manual-page","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"spass_3.9-2~jan+lint1_amd64.deb (installed)","name":"usr/bin/SPASS"},"line_position":0},"tag":"no-manual-page","visibility":"warning"}],"path":"spass_3.9-2~jan+lint1_amd64.deb"}],"source_name":"spass","source_version":"3.9-2~jan+lint1"}],"lintian_version":"2.135.0"},"logs":{"build":{"description":"build","name":"build.log","url":"/lintian-fixes/c/spass/774cf116-5704-449b-a171-6f10979e9e44/logs/build.log"},"codemod":{"description":"codemod","name":"codemod.log","url":"/lintian-fixes/c/spass/774cf116-5704-449b-a171-6f10979e9e44/logs/codemod.log"},"worker":{"description":"worker","name":"worker.log","url":"/lintian-fixes/c/spass/774cf116-5704-449b-a171-6f10979e9e44/logs/worker.log"}},"my_review":null,"other_reviews":[],"primary_log":"worker","publish_history":[],"queue_position":36742,"result":{"applied":[{"certainty":null,"description":"Trim trailing whitespace.","fixed_lintian_issues":[{"info":"[debian/changelog:6]","package":null,"package_type":"source","tag":"trailing-whitespace"},{"info":"[debian/changelog:20]","package":null,"package_type":"source","tag":"trailing-whitespace"},{"info":"[debian/changelog:21]","package":null,"package_type":"source","tag":"trailing-whitespace"},{"info":"[debian/changelog:44]","package":null,"package_type":"source","tag":"trailing-whitespace"},{"info":"[debian/changelog:126]","package":null,"package_type":"source","tag":"trailing-whitespace"}],"fixer_name":"file-contains-trailing-whitespace","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:723e74d06c3e1d262efb5028a4c3d2c2ae655dac","summary":"Trim trailing whitespace."},{"certainty":null,"description":"Use secure URI in Homepage field.","fixed_lintian_issues":[{"info":"http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/","package":null,"package_type":"source","tag":"homepage-field-uses-insecure-uri"}],"fixer_name":"homepage-field-uses-insecure-uri","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:a95e7f34ea05dfe57deb0b8782d290785deb4380","summary":"Use secure URI in Homepage field."},{"certainty":null,"description":"Bump debhelper from old 12 to 13.","fixed_lintian_issues":[{"info":"12","package":null,"package_type":"source","tag":"package-uses-old-debhelper-compat-version"}],"fixer_name":"package-uses-deprecated-debhelper-compat-version","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:1c17dc1ab222c6f749429400ef8d90489de5da89","summary":"Bump debhelper from old 12 to 13."},{"certainty":"certain","description":"Update standards version to 4.7.4, no changes needed.\n\nUpgrade checklist verified:\n 4.5.0 → 4.5.1:\n  * Package does not have any patches\n 4.5.1 → 4.6.0:\n  * Package does not contain any references to lib64\n 4.6.1 → 4.6.2:\n  * Package does not provide x-window-manager alternative\n 4.6.2 → 4.7.0:\n  * Package does not use dpkg-divert\n 4.7.0 → 4.7.1:\n  * Package does not install to non-/usr paths\n 4.7.3 → 4.7.4:\n  * Package is not in non-free-firmware","fixed_lintian_issues":[{"info":"4.5.0 (released 2020-01-20) (current is 4.7.4.1)","package":null,"package_type":"source","tag":"ancient-standards-version"}],"fixer_name":"out-of-date-standards-version","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:57a56908db0ee6aa3379676beea67e6d6a22f3b1","summary":"Update standards version to 4.7.4, no changes needed."}],"changelog_behaviour":{"explanation":"Assuming changelog should be updated","update":true},"failed":{}},"result_code":"success","resume_from":null,"reviews":[],"revision":"git-v1:57a56908db0ee6aa3379676beea67e6d6a22f3b1","run":{"branch_url":"https://salsa.debian.org/science-team/spass.git/","build_version":null,"change_set":"774cf116-5704-449b-a171-6f10979e9e44","codebase":"spass","command":"DEB_UPDATE_CHANGELOG=auto lintian-brush --exclude=uses-debhelper-compat-file","context":"\"debian-watch-does-not-check-openpgp-signature package-uses-old-debhelper-compat-version trailing-whitespace trailing-whitespace trailing-whitespace trailing-whitespace trailing-whitespace upstream-metadata-file-is-missing debian-watch-uses-insecure-uri out-of-date-standards-version obsolete-debian-watch-file-standard unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override unused-override\"","debian_build_distribution":"sid","debian_build_version":null,"description":"","duration_seconds":218,"failure_stage":null,"failure_transient":null,"finish_time":"2026-05-10T23:48:44.719879Z","id":"774cf116-5704-449b-a171-6f10979e9e44","logfilenames":["worker.log","build.log","codemod.log"],"main_branch_revision":"git-v1:a8481bf8caf3d24f1b8fb7f494f22709905bd482","publish_status":"unknown","result":{"applied":[{"certainty":null,"description":"Trim trailing whitespace.","fixed_lintian_issues":[{"info":"[debian/changelog:6]","package":null,"package_type":"source","tag":"trailing-whitespace"},{"info":"[debian/changelog:20]","package":null,"package_type":"source","tag":"trailing-whitespace"},{"info":"[debian/changelog:21]","package":null,"package_type":"source","tag":"trailing-whitespace"},{"info":"[debian/changelog:44]","package":null,"package_type":"source","tag":"trailing-whitespace"},{"info":"[debian/changelog:126]","package":null,"package_type":"source","tag":"trailing-whitespace"}],"fixer_name":"file-contains-trailing-whitespace","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:723e74d06c3e1d262efb5028a4c3d2c2ae655dac","summary":"Trim trailing whitespace."},{"certainty":null,"description":"Use secure URI in Homepage field.","fixed_lintian_issues":[{"info":"http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/","package":null,"package_type":"source","tag":"homepage-field-uses-insecure-uri"}],"fixer_name":"homepage-field-uses-insecure-uri","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:a95e7f34ea05dfe57deb0b8782d290785deb4380","summary":"Use secure URI in Homepage field."},{"certainty":null,"description":"Bump debhelper from old 12 to 13.","fixed_lintian_issues":[{"info":"12","package":null,"package_type":"source","tag":"package-uses-old-debhelper-compat-version"}],"fixer_name":"package-uses-deprecated-debhelper-compat-version","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:1c17dc1ab222c6f749429400ef8d90489de5da89","summary":"Bump debhelper from old 12 to 13."},{"certainty":"certain","description":"Update standards version to 4.7.4, no changes needed.\n\nUpgrade checklist verified:\n 4.5.0 → 4.5.1:\n  * Package does not have any patches\n 4.5.1 → 4.6.0:\n  * Package does not contain any references to lib64\n 4.6.1 → 4.6.2:\n  * Package does not provide x-window-manager alternative\n 4.6.2 → 4.7.0:\n  * Package does not use dpkg-divert\n 4.7.0 → 4.7.1:\n  * Package does not install to non-/usr paths\n 4.7.3 → 4.7.4:\n  * Package is not in non-free-firmware","fixed_lintian_issues":[{"info":"4.5.0 (released 2020-01-20) (current is 4.7.4.1)","package":null,"package_type":"source","tag":"ancient-standards-version"}],"fixer_name":"out-of-date-standards-version","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:57a56908db0ee6aa3379676beea67e6d6a22f3b1","summary":"Update standards version to 4.7.4, no changes needed."}],"changelog_behaviour":{"explanation":"Assuming changelog should be updated","update":true},"failed":{}},"result_branches":[{"absorbed":false,"base_revision":"git-v1:a8481bf8caf3d24f1b8fb7f494f22709905bd482","diff":"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","remote_name":"master","revision":"git-v1:57a56908db0ee6aa3379676beea67e6d6a22f3b1","role":"main"}],"result_code":"success","result_tags":[],"revision":"git-v1:57a56908db0ee6aa3379676beea67e6d6a22f3b1","start_time":"2026-05-10T23:45:05.808660Z","subpath":"","suite":"lintian-fixes","target_branch_url":null,"vcs_type":"git","worker":"osuosl32-amd64"},"run_id":"774cf116-5704-449b-a171-6f10979e9e44","success_probability":1.0,"suite":"lintian-fixes","total_previous_runs":1,"unchanged_run":{"branch_url":"https://salsa.debian.org/science-team/spass.git/","build_version":"3.9-1~jan+control1","change_set":"774cf116-5704-449b-a171-6f10979e9e44","codebase":"spass","command":"brz up '--revision=git-v1:a8481bf8caf3d24f1b8fb7f494f22709905bd482'","context":null,"debian_build_distribution":"sid","debian_build_version":"3.9-1~jan+control1","description":"No change build","failure_stage":null,"failure_transient":null,"finish_time":"2026-05-10T23:51:49.788674Z","id":"b7815f10-b4aa-4aa7-b9e2-72d8cc6104b0","logfilenames":["worker.log","build.log","codemod.log"],"main_branch_revision":"git-v1:a8481bf8caf3d24f1b8fb7f494f22709905bd482","publish_status":"unknown","result_branches":[],"result_code":"success","result_tags":[],"revision":"git-v1:a8481bf8caf3d24f1b8fb7f494f22709905bd482","start_time":"2026-05-10T23:49:05.594445Z","subpath":"","suite":"control","target_branch_url":null,"vcs_type":"git","worker":"osuosl32-amd64"},"utcnow":"2026-06-16T02:03:09.177487112+00:00","vcs_type":"git","vcs_url":"https://salsa.debian.org/science-team/spass.git/","version":"0.0.0","worker_name":"osuosl32-amd64"}