\nFile lists identical (after any substitutions)\n
Homepage: http://fmv.jku.at/picosat/ https://fmv.jku.at/picosat/
\nNo differences were encountered between the control files of package picosat-dbgsym","description":"","is_admin":false,"lintian_result":{"groups":[{"group_id":"picosat_965-4~jan+lint1","input_files":[{"hints":[],"path":"picosat-dbgsym_965-4~jan+lint1_amd64.deb"},{"hints":[{"experimental":false,"note":"","pointer":{"item":{"index":"picosat_965-4~jan+lint1.dsc (patched)","name":"debian/install"},"line_position":0},"tag":"dh-exec-script-without-dh-exec-features","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"picosat_965-4~jan+lint1.dsc (patched)","name":"debian/links"},"line_position":0},"tag":"dh-exec-script-without-dh-exec-features","visibility":"warning"},{"experimental":false,"note":"","pointer":{"item":{"index":"picosat_965-4~jan+lint1.dsc (patched)","name":"debian/changelog"},"line_position":1},"tag":"no-nmu-in-changelog","visibility":"warning"},{"experimental":false,"note":"3","pointer":{"item":{"index":"picosat_965-4~jan+lint1.dsc (patched)","name":"debian/watch"},"line_position":0},"tag":"obsolete-debian-watch-file-standard","visibility":"warning"},{"experimental":false,"note":"965-4~jan+lint1","pointer":{"item":{"index":"picosat_965-4~jan+lint1.dsc (patched)","name":"debian/changelog"},"line_position":1},"tag":"source-nmu-has-incorrect-version-number","visibility":"warning"}],"path":"picosat_965-4~jan+lint1.dsc"},{"hints":[],"path":"picosat_965-4~jan+lint1_amd64.buildinfo"},{"hints":[{"experimental":false,"note":"sid lintian-fixes","tag":"distribution-and-changes-mismatch","visibility":"warning"}],"path":"picosat_965-4~jan+lint1_amd64.changes"},{"hints":[{"experimental":false,"note":"lintian-fixes != sid","pointer":{"item":{"index":"picosat_965-4~jan+lint1_amd64.deb (installed)","name":"usr/share/doc/picosat/changelog.Debian.gz"},"line_position":1},"tag":"changelog-distribution-does-not-match-changes-file","visibility":"warning"},{"experimental":false,"note":"usr/lib/x86_64-linux-gnu/libpicosat-trace.so.1.0.0","pointer":{"item":{"index":"picosat_965-4~jan+lint1_amd64.deb (installed)","name":"usr/lib/x86_64-linux-gnu/libpicosat-trace.so"},"line_position":0},"tag":"link-to-shared-library-in-wrong-package","visibility":"warning"},{"experimental":false,"note":"usr/lib/x86_64-linux-gnu/libpicosat.so.1.0.0","pointer":{"item":{"index":"picosat_965-4~jan+lint1_amd64.deb (installed)","name":"usr/lib/x86_64-linux-gnu/libpicosat.so"},"line_position":0},"tag":"link-to-shared-library-in-wrong-package","visibility":"warning"},{"experimental":false,"note":"","tag":"old-fsf-address-in-copyright-file","visibility":"warning"},{"experimental":false,"note":"libpicosat-trace1 libpicosat1","tag":"package-name-doesnt-match-sonames","visibility":"warning"}],"path":"picosat_965-4~jan+lint1_amd64.deb"}],"source_name":"picosat","source_version":"965-4~jan+lint1"}],"lintian_version":"2.135.0"},"logs":{"build":{"description":"build","name":"build.log","url":"/lintian-fixes/c/picosat/c49f4a6e-1e8c-4e06-8166-31600c490285/logs/build.log"},"codemod":{"description":"codemod","name":"codemod.log","url":"/lintian-fixes/c/picosat/c49f4a6e-1e8c-4e06-8166-31600c490285/logs/codemod.log"},"worker":{"description":"worker","name":"worker.log","url":"/lintian-fixes/c/picosat/c49f4a6e-1e8c-4e06-8166-31600c490285/logs/worker.log"}},"my_review":null,"other_reviews":[],"primary_log":"worker","publish_history":[],"queue_position":35802,"result":{"applied":[{"certainty":null,"description":"Use secure URI in Homepage field.","fixed_lintian_issues":[{"info":"http://fmv.jku.at/picosat/","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:7efe87e34ca4cd760ee8b410b2721b014565a30e","summary":"Use secure URI in Homepage field."},{"certainty":null,"description":"Remove obsolete fields Contact, Name from debian/upstream/metadata (already present in machine-readable debian/copyright).","fixed_lintian_issues":[],"fixer_name":"upstream-metadata-has-obsolete-field","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:9c7460322dee0c8a83a045f4a195d786791766a7","summary":"Remove obsolete fields Contact, Name from debian/upstream/metadata (already present in machine-readable debian/copyright)."},{"certainty":"certain","description":"Update standards version to 4.7.4, no changes needed.\n\nUpgrade checklist verified:\n 4.7.3 → 4.7.4:\n * Package is not in non-free-firmware","fixed_lintian_issues":[{"info":"4.7.2 (released 2025-02-27) (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:cde93bca3df63b010005d0ab3c4829886a4701a8","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:cde93bca3df63b010005d0ab3c4829886a4701a8","run":{"branch_url":"https://salsa.debian.org/science-team/picosat.git/","build_version":null,"change_set":"c49f4a6e-1e8c-4e06-8166-31600c490285","codebase":"picosat","command":"DEB_UPDATE_CHANGELOG=auto lintian-brush --exclude=uses-debhelper-compat-file","context":null,"debian_build_distribution":"sid","debian_build_version":null,"description":"","duration_seconds":179,"failure_stage":null,"failure_transient":null,"finish_time":"2026-05-13T07:22:12.051636Z","id":"c49f4a6e-1e8c-4e06-8166-31600c490285","logfilenames":["worker.log","build.log","codemod.log"],"main_branch_revision":"git-v1:3c8c196f54d8f66ecfac52aff873053b0ee5a16d","publish_status":"unknown","result":{"applied":[{"certainty":null,"description":"Use secure URI in Homepage field.","fixed_lintian_issues":[{"info":"http://fmv.jku.at/picosat/","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:7efe87e34ca4cd760ee8b410b2721b014565a30e","summary":"Use secure URI in Homepage field."},{"certainty":null,"description":"Remove obsolete fields Contact, Name from debian/upstream/metadata (already present in machine-readable debian/copyright).","fixed_lintian_issues":[],"fixer_name":"upstream-metadata-has-obsolete-field","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:9c7460322dee0c8a83a045f4a195d786791766a7","summary":"Remove obsolete fields Contact, Name from debian/upstream/metadata (already present in machine-readable debian/copyright)."},{"certainty":"certain","description":"Update standards version to 4.7.4, no changes needed.\n\nUpgrade checklist verified:\n 4.7.3 → 4.7.4:\n * Package is not in non-free-firmware","fixed_lintian_issues":[{"info":"4.7.2 (released 2025-02-27) (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:cde93bca3df63b010005d0ab3c4829886a4701a8","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:3c8c196f54d8f66ecfac52aff873053b0ee5a16d","diff":"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