{"app_name":"Debian Janitor","binary_packages":["eprover-dbgsym","eprover"],"branch_url":"git+ssh://git@salsa.debian.org/math-team/eprover.git","build_distribution":"sid","campaign":"lintian-fixes","change_set":"b0b3ce2d-72b2-4ae0-aab6-a26afb632e49","codebase":"eprover","command":"DEB_UPDATE_CHANGELOG=auto lintian-brush","current_year":"2026","description":"","is_admin":false,"lintian_result":{"groups":[{"group_id":"eprover_3.2.5+ds-2~jan+lint1","input_files":[{"hints":[{"experimental":false,"note":"","pointer":{"item":{"index":"eprover-dbgsym_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/lib/debug/.build-id/06/79e652057a939ea2071238f027c15ea96eddcf.debug"},"line_position":0},"tag":"debug-file-with-no-debug-symbols","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover-dbgsym_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/lib/debug/.build-id/3a/1e6e7b2fe3c367a2456616e8cd3f3586ce7ad1.debug"},"line_position":0},"tag":"debug-file-with-no-debug-symbols","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover-dbgsym_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/lib/debug/.build-id/42/251d8eb83cfc5145d2eeb36d555d42deb5be7d.debug"},"line_position":0},"tag":"debug-file-with-no-debug-symbols","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover-dbgsym_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/lib/debug/.build-id/57/b0d889e89db5c317c72bc088cd1420689fb9e5.debug"},"line_position":0},"tag":"debug-file-with-no-debug-symbols","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover-dbgsym_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/lib/debug/.build-id/5c/d0fcdafa2de62b36f80b0cc7adacd05f9cbcb8.debug"},"line_position":0},"tag":"debug-file-with-no-debug-symbols","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover-dbgsym_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/lib/debug/.build-id/7a/2cae341c28d0b6e4126a60d886ca3ead0f67ad.debug"},"line_position":0},"tag":"debug-file-with-no-debug-symbols","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover-dbgsym_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/lib/debug/.build-id/7e/362364882c6d5f0a1af2b5b90a8709bc24d804.debug"},"line_position":0},"tag":"debug-file-with-no-debug-symbols","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover-dbgsym_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/lib/debug/.build-id/95/ed7d858cd9699b1276e14c4a75a662a112cc18.debug"},"line_position":0},"tag":"debug-file-with-no-debug-symbols","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover-dbgsym_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/lib/debug/.build-id/e6/41cec4406a6d3038ba565521f35a840f6f580c.debug"},"line_position":0},"tag":"debug-file-with-no-debug-symbols","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover-dbgsym_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/lib/debug/.build-id/eb/2556b78ba1c0f69f5b13736fe972a579f49844.debug"},"line_position":0},"tag":"debug-file-with-no-debug-symbols","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover-dbgsym_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/lib/debug/.build-id/eb/76eb3df037e85e1f1110345c585c87291e0b9c.debug"},"line_position":0},"tag":"debug-file-with-no-debug-symbols","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover-dbgsym_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/lib/debug/.build-id/ec/cc77aa34e618d405553ea25661bb88610f7eba.debug"},"line_position":0},"tag":"debug-file-with-no-debug-symbols","visibility":"warning"}],"path":"eprover-dbgsym_3.2.5+ds-2~jan+lint1_amd64.deb"},{"hints":[{"experimental":false,"note":"","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1.dsc (patched)","name":"debian/changelog"},"line_position":1},"tag":"no-nmu-in-changelog","visibility":"warning"},{"experimental":false,"note":"3.2.5+ds-2~jan+lint1","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1.dsc (patched)","name":"debian/changelog"},"line_position":1},"tag":"source-nmu-has-incorrect-version-number","visibility":"warning"}],"path":"eprover_3.2.5+ds-2~jan+lint1.dsc"},{"hints":[],"path":"eprover_3.2.5+ds-2~jan+lint1_amd64.buildinfo"},{"hints":[{"experimental":false,"note":"sid lintian-fixes","tag":"distribution-and-changes-mismatch","visibility":"warning"}],"path":"eprover_3.2.5+ds-2~jan+lint1_amd64.changes"},{"hints":[{"experimental":false,"note":"lintian-fixes != sid","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/share/doc/eprover/changelog.Debian.gz"},"line_position":1},"tag":"changelog-distribution-does-not-match-changes-file","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/share/man/man1/checkproof.1.gz"},"line_position":0},"tag":"useless-whatis-entry","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/share/man/man1/e_axfilter.1.gz"},"line_position":0},"tag":"useless-whatis-entry","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/share/man/man1/e_deduction_server.1.gz"},"line_position":0},"tag":"useless-whatis-entry","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/share/man/man1/e_ltb_runner.1.gz"},"line_position":0},"tag":"useless-whatis-entry","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/share/man/man1/e_stratpar.1.gz"},"line_position":0},"tag":"useless-whatis-entry","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/share/man/man1/eground.1.gz"},"line_position":0},"tag":"useless-whatis-entry","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/share/man/man1/ekb_create.1.gz"},"line_position":0},"tag":"useless-whatis-entry","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/share/man/man1/ekb_delete.1.gz"},"line_position":0},"tag":"useless-whatis-entry","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/share/man/man1/ekb_ginsert.1.gz"},"line_position":0},"tag":"useless-whatis-entry","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/share/man/man1/ekb_insert.1.gz"},"line_position":0},"tag":"useless-whatis-entry","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/share/man/man1/epclextract.1.gz"},"line_position":0},"tag":"useless-whatis-entry","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb (installed)","name":"usr/share/man/man1/eprover.1.gz"},"line_position":0},"tag":"useless-whatis-entry","visibility":"warning"}],"path":"eprover_3.2.5+ds-2~jan+lint1_amd64.deb"}],"source_name":"eprover","source_version":"3.2.5+ds-2~jan+lint1"}],"lintian_version":"2.135.0"},"logs":{"build":{"description":"build","name":"build.log","url":"/lintian-fixes/c/eprover/b0b3ce2d-72b2-4ae0-aab6-a26afb632e49/logs/build.log"},"codemod":{"description":"codemod","name":"codemod.log","url":"/lintian-fixes/c/eprover/b0b3ce2d-72b2-4ae0-aab6-a26afb632e49/logs/codemod.log"},"worker":{"description":"worker","name":"worker.log","url":"/lintian-fixes/c/eprover/b0b3ce2d-72b2-4ae0-aab6-a26afb632e49/logs/worker.log"}},"primary_log":"worker","publish_history":[],"queue_position":872,"result":{"applied":[{"certainty":"certain","description":"Update standards version to 4.7.4, no changes needed.\n\nUpgrade checklist verified:\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.7.0 (released 2024-04-07) (current is 4.7.4.1)","package":null,"package_type":"source","tag":"out-of-date-standards-version"}],"fixer_name":"out-of-date-standards-version","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:4dbc520d8bc62c2feeab97b202a19e43c61a29d0","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,"revision":"git-v1:4dbc520d8bc62c2feeab97b202a19e43c61a29d0","run":{"branch_url":"git+ssh://git@salsa.debian.org/math-team/eprover.git","build_version":null,"change_set":"b0b3ce2d-72b2-4ae0-aab6-a26afb632e49","codebase":"eprover","command":"DEB_UPDATE_CHANGELOG=auto lintian-brush","context":null,"debian_build_distribution":"sid","debian_build_version":null,"description":"","duration_seconds":917,"failure_stage":null,"failure_transient":null,"finish_time":"2026-05-03T02:54:37.275474Z","id":"b0b3ce2d-72b2-4ae0-aab6-a26afb632e49","logfilenames":["build.log","worker.log","codemod.log"],"main_branch_revision":"git-v1:e97d7c1d066302ed3811c668807976a11f9278d1","publish_status":"approved","result":{"applied":[{"certainty":"certain","description":"Update standards version to 4.7.4, no changes needed.\n\nUpgrade checklist verified:\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.7.0 (released 2024-04-07) (current is 4.7.4.1)","package":null,"package_type":"source","tag":"out-of-date-standards-version"}],"fixer_name":"out-of-date-standards-version","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:4dbc520d8bc62c2feeab97b202a19e43c61a29d0","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:e97d7c1d066302ed3811c668807976a11f9278d1","diff":"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","remote_name":"master","revision":"git-v1:4dbc520d8bc62c2feeab97b202a19e43c61a29d0","role":"main"}],"result_code":"success","result_tags":[],"revision":"git-v1:4dbc520d8bc62c2feeab97b202a19e43c61a29d0","start_time":"2026-05-03T02:39:20.166283Z","subpath":"","suite":"lintian-fixes","target_branch_url":null,"vcs_type":"git","worker":"frigg"},"run_id":"b0b3ce2d-72b2-4ae0-aab6-a26afb632e49","success_probability":1.0,"suite":"lintian-fixes","total_previous_runs":1,"utcnow":"2026-06-16T01:06:23.581695513+00:00","vcs_type":"git","vcs_url":"git+ssh://git@salsa.debian.org/math-team/eprover.git","version":"0.0.0","worker_name":"frigg"}