{"app_name":"Debian Janitor","binary_packages":["eprover-dbgsym","eprover"],"branch_url":"git+ssh://git@salsa.debian.org/math-team/eprover.git","build_distribution":"sid","build_log_highlight_lines":[],"build_log_line_count":10614,"build_log_name":"build.log","campaign":"lintian-fixes","change_set":"b0b3ce2d-72b2-4ae0-aab6-a26afb632e49","codebase":"eprover","codemod_log_name":"codemod.log","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":{"content":"[2026-05-03T02:39:20Z INFO  janitor_worker] Opening branch at https://salsa.debian.org/math-team/eprover.git\n[2026-05-03T02:41:38Z INFO  janitor_worker] Cached branch URL http://janitor.debian.net/git/eprover missing: http://frigg@janitor.debian.net/git/eprover/\n[2026-05-03T02:41:38Z DEBUG janitor_worker] Workspace path: /srv/worker/output/2/janitor-worker-BrTpas/eprover\n[2026-05-03T02:41:38Z DEBUG silver_platter::workspace] Creating sprout from git+ssh://git@salsa.debian.org/math-team/eprover.git\n19)\n28/619)\nTotal 2016 (delta 286), reused 455 (delta 200), pack-reused 1397 (from 1)\nNothing to delete.\n[2026-05-03T02:43:58Z DEBUG silver_platter::workspace] Fetching colocated branches: {}\n[2026-05-03T02:43:58Z INFO  janitor_worker] Workspace ready - starting.\n[2026-05-03T02:43:58Z INFO  janitor_worker::debian] Running [\"lintian-brush\"]\n[2026-05-03T02:43:59Z DEBUG debian_analyzer::detect_gbp_dch] Branch history analysis: changelog_only: 5, other_only: 0, mixed: 10, dch_references: 0, unreleased_references: 7\nfound 1056 deltas to reuse\n[2026-05-03T02:44:12Z INFO  ognibuild::debian::fix_build] Using fixers: [PgBuildExtOutOfDateControlFixer, MissingConfigureFixer, MissingAutomakeInputFixer, MissingConfigStatusInputFixer, MissingPerlFileFixer, DebcargoUnacceptablePredicateFixer, DebcargoUnacceptableComparatorFixer, RetryAptFetchFailure, PackageDependencyFixer]\n[2026-05-03T02:44:12Z DEBUG ognibuild::debian::build] Adding dummy changelog entry 3.2.5+ds-2~jan+lint1 for build\n[2026-05-03T02:44:12Z DEBUG ognibuild::debian::build] Writing build log to /srv/worker/output/2/janitor-worker-BrTpas/build.log\n[2026-05-03T02:44:12Z INFO  ognibuild::debian::build] Building debian packages, running sbuild --chroot-mode=unshare --no-clean-source -A -s -v -d sid.\n[2026-05-03T02:54:24Z INFO  ognibuild::debian::build] Build succeeded.\n[2026-05-03T02:54:24Z INFO  janitor_worker::debian::build] Built [\"/srv/worker/output/2/janitor-worker-BrTpas/eprover_3.2.5+ds-2~jan+lint1_amd64.changes\", \"/srv/worker/output/2/janitor-worker-BrTpas/eprover_3.2.5+ds-2~jan+lint1_amd64.deb\", \"/srv/worker/output/2/janitor-worker-BrTpas/eprover_3.2.5+ds-2~jan+lint1_amd64.buildinfo\"].\n[2026-05-03T02:54:24Z DEBUG janitor_worker::debian::lintian] Running lintian: cd \"/srv/worker/output/2/janitor-worker-BrTpas\" && \"lintian\" \"--exp-output=format=json\" \"--allow-root\" \"/srv/worker/output/2/janitor-worker-BrTpas/eprover_3.2.5+ds-2~jan+lint1_amd64.changes\" \"/srv/worker/output/2/janitor-worker-BrTpas/eprover_3.2.5+ds-2~jan+lint1_amd64.deb\" \"/srv/worker/output/2/janitor-worker-BrTpas/eprover_3.2.5+ds-2~jan+lint1_amd64.buildinfo\"\n[2026-05-03T02:54:36Z INFO  janitor_worker] Pushing result branch to http://janitor.debian.net/git/eprover\n[2026-05-03T02:54:36Z DEBUG janitor_worker::vcs] Symbolic ref creation not yet implemented: refs/heads/lintian-fixes/main -> refs/tags/run/b0b3ce2d-72b2-4ae0-aab6-a26afb632e49/main\n[2026-05-03T02:54:36Z DEBUG janitor_worker::vcs] This would create symref refs/heads/lintian-fixes/main pointing to refs/tags/run/b0b3ce2d-72b2-4ae0-aab6-a26afb632e49/main\n[2026-05-03T02:54:36Z DEBUG janitor_worker::vcs] Created symref refs/heads/lintian-fixes/main -> refs/tags/run/b0b3ce2d-72b2-4ae0-aab6-a26afb632e49/main\n[2026-05-03T02:54:36Z INFO  janitor_worker::vcs] Pushing packaging branch cache to http://janitor.debian.net/git/eprover\nfound 0 deltas to reuse\n[2026-05-03T02:54:37Z INFO  janitor_worker::vcs] Pushed packaging branch cache to http://janitor.debian.net/git/eprover\n","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":344,"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-05-06T16:48:18.947038722+00:00","vcs_type":"git","vcs_url":"git+ssh://git@salsa.debian.org/math-team/eprover.git","version":"0.0.0","worker_log_name":"worker.log","worker_name":"frigg"}