{"app_name":"Debian Janitor","binary_packages":[],"branch_url":"git+ssh://git@salsa.debian.org/ocaml-team/coq-corn.git","build_log_highlight_lines":[271],"build_log_include_lines":[256,271],"build_log_line_count":271,"build_log_name":"build.log","campaign":"lintian-fixes","change_set":"1c97b53d-5c25-464f-b06f-611103ddd8f3","codebase":"coq-corn","codemod_log_name":"codemod.log","command":"DEB_UPDATE_CHANGELOG=auto lintian-brush","current_year":"2026","description":"unsatisfied apt dependencies: coq:amd64 (>= 9)","failure_excerpt":{"full_log_url":"/lintian-fixes/c/coq-corn/1c97b53d-5c25-464f-b06f-611103ddd8f3/logs/build.log","highlighted_indices":[16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31],"lines":["","","Setup apt archive","-----------------","","Merged Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-elpi, libcoq-math-classes, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential","Filtered Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-elpi, libcoq-math-classes, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential","dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-8XlfLt/apt_archive/sbuild-build-depends-main-dummy.deb'.","Ign:1 copy:/build/reproducible-path/resolver-8XlfLt/apt_archive ./ InRelease","Get:2 copy:/build/reproducible-path/resolver-8XlfLt/apt_archive ./ Release [609 B]","Ign:3 copy:/build/reproducible-path/resolver-8XlfLt/apt_archive ./ Release.gpg","Get:4 copy:/build/reproducible-path/resolver-8XlfLt/apt_archive ./ Sources [718 B]","Get:5 copy:/build/reproducible-path/resolver-8XlfLt/apt_archive ./ Packages [757 B]","Fetched 2084 B in 0s (0 B/s)","Reading package lists...","Ign:1 http://192.168.49.2 unchanged InRelease","Ign:1 http://192.168.49.2 unchanged InRelease","Ign:1 http://192.168.49.2 unchanged InRelease","Err:1 http://192.168.49.2 unchanged InRelease","  Could not connect to 192.168.49.2:80 (192.168.49.2), connection timed out","  Could not resolve '192.168.49.2'","Reading package lists...","W: Failed to fetch http://192.168.49.2/dists/unchanged/InRelease  Could not resolve '192.168.49.2'","W: Some index files failed to download. They have been ignored, or old ones used instead.","Reading package lists...","","Install main build dependencies (apt-based resolver)","----------------------------------------------------","","Installing build dependencies","Reading package lists...","Building dependency tree...","Reading state information...","Solving dependencies...","Some packages could not be installed. This may mean that you have","requested an impossible situation or if you are using the unstable","distribution that some required packages have not yet been created","or been moved out of Incoming.","The following information may help to resolve the situation:","","The following packages have unmet dependencies:"," sbuild-build-depends-main-dummy : Depends: coq (>= 9) but it is not going to be installed","                                   Depends: debhelper-compat (= 13)","                                   Depends: dh-coq but it is not going to be installed","                                   Depends: dh-ocaml but it is not going to be installed","                                   Depends: libcoq-bignums but it is not going to be installed","                                   Depends: libcoq-elpi but it is not going to be installed","                                   Depends: libcoq-math-classes but it is not going to be installed","                                   Depends: libcoq-core-ocaml-dev but it is not going to be installed","                                   Depends: libcoq-stdlib but it is not going to be installed","E: Unable to satisfy dependencies. Reached two conflicting assignments:","   1. sbuild-build-depends-main-dummy:amd64=0.invalid.0 is selected for install","   2. sbuild-build-depends-main-dummy:amd64 Depends coq (>= 9)","      but none of the choices are installable:","      [no choices]","apt-get failed.","E: Package installation failed","Not removing build depends: cloned chroot in use","","Setup apt archive","-----------------","","Merged Build-Depends: dose-distcheck","Filtered Build-Depends: dose-distcheck","dpkg-deb: building package 'sbuild-build-depends-dose3-dummy' in '/build/reproducible-path/resolver-8XlfLt/apt_archive/sbuild-build-depends-dose3-dummy.deb'.","Ign:1 copy:/build/reproducible-path/resolver-8XlfLt/apt_archive ./ InRelease","Get:2 copy:/build/reproducible-path/resolver-8XlfLt/apt_archive ./ Release [615 B]","Ign:3 copy:/build/reproducible-path/resolver-8XlfLt/apt_archive ./ Release.gpg","Get:4 copy:/build/reproducible-path/resolver-8XlfLt/apt_archive ./ Sources [1297 B]","Get:5 copy:/build/reproducible-path/resolver-8XlfLt/apt_archive ./ Packages [1372 B]","Fetched 3284 B in 0s (0 B/s)","Reading package lists...","Ign:1 http://192.168.49.2 unchanged InRelease","Ign:1 http://192.168.49.2 unchanged InRelease","Ign:1 http://192.168.49.2 unchanged InRelease","Err:1 http://192.168.49.2 unchanged InRelease","  Could not connect to 192.168.49.2:80 (192.168.49.2), connection timed out","  Could not resolve '192.168.49.2'","Reading package lists...","W: Failed to fetch http://192.168.49.2/dists/unchanged/InRelease  Could not resolve '192.168.49.2'","W: Some index files failed to download. They have been ignored, or old ones used instead.","Reading package lists...","","Install dose3 build dependencies (apt-based resolver)","-----------------------------------------------------","","Installing build dependencies","Reading package lists...","Building dependency tree...","Reading state information...","Solving dependencies...","The following additional packages will be installed:","  dose-distcheck","The following NEW packages will be installed:","  dose-distcheck sbuild-build-depends-dose3-dummy","0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded.","Need to get 1264 kB of archives.","After this operation, 5135 kB of additional disk space will be used.","Get:1 copy:/build/reproducible-path/resolver-8XlfLt/apt_archive ./ sbuild-build-depends-dose3-dummy 0.invalid.0 [836 B]","Get:2 http://deb.debian.org/debian sid/main amd64 dose-distcheck amd64 7.0.0-8+b1 [1263 kB]","Fetched 1264 kB in 0s (30.6 MB/s)","Selecting previously unselected package dose-distcheck.","(Reading database ... 11860 files and directories currently installed.)","Preparing to unpack .../dose-distcheck_7.0.0-8+b1_amd64.deb ...","Unpacking dose-distcheck (7.0.0-8+b1) ...","Selecting previously unselected package sbuild-build-depends-dose3-dummy.","Preparing to unpack .../sbuild-build-depends-dose3-dummy_0.invalid.0_amd64.deb ...","Unpacking sbuild-build-depends-dose3-dummy (0.invalid.0) ...","Setting up dose-distcheck (7.0.0-8+b1) ...","Setting up sbuild-build-depends-dose3-dummy (0.invalid.0) ...","(I)Doseparse: Parsing and normalizing...","(I)Dose_deb: Parsing Packages file -...","(I)Dose_common: total packages 75661","(I)Dose_applications: Cudf Universe: 75661 packages","(I)Dose_applications: --checkonly specified, consider all packages as background packages","(I)Dose_applications: Solving...","output-version: 1.2","native-architecture: amd64","report:"," -","  package: sbuild-build-depends-main-dummy","  version: 0.invalid.0","  architecture: amd64","  status: broken","  reasons:","   -","    missing:","     pkg:","      package: sbuild-build-depends-main-dummy","      version: 0.invalid.0","      architecture: amd64","      unsat-dependency: coq:amd64 (>= 9)"," ","background-packages: 75660","foreground-packages: 1","total-packages: 75661","broken-packages: 1"],"log_name":"build.log","match_lines":["output-version: 1.2\n","native-architecture: amd64\n","report:\n"," -\n","  package: sbuild-build-depends-main-dummy\n","  version: 0.invalid.0\n","  architecture: amd64\n","  status: broken\n","  reasons:\n","   -\n","    missing:\n","     pkg:\n","      package: sbuild-build-depends-main-dummy\n","      version: 0.invalid.0\n","      architecture: amd64\n","      unsat-dependency: coq:amd64 (>= 9)\n"],"start_line":101,"title":"Install package build dependencies"},"is_admin":false,"lintian_result":null,"logs":{"build":{"description":"build","name":"build.log","url":"/lintian-fixes/c/coq-corn/1c97b53d-5c25-464f-b06f-611103ddd8f3/logs/build.log"},"codemod":{"description":"codemod","name":"codemod.log","url":"/lintian-fixes/c/coq-corn/1c97b53d-5c25-464f-b06f-611103ddd8f3/logs/codemod.log"},"worker":{"content":"[2026-07-02T07:25:20Z INFO  janitor_worker] Opening branch at https://salsa.debian.org/ocaml-team/coq-corn.git\n[2026-07-02T07:27:37Z INFO  janitor_worker] Cached branch URL http://janitor.debian.net/git/coq-corn missing: http://tyr@janitor.debian.net/git/coq-corn/\n[2026-07-02T07:27:37Z DEBUG janitor_worker] Workspace path: /srv/worker/output/1/janitor-worker-Lrfa2P/coq-corn\n[2026-07-02T07:27:37Z DEBUG silver_platter::workspace] Creating sprout from git+ssh://git@salsa.debian.org/ocaml-team/coq-corn.git\nTotal 1409 (delta 237), reused 743 (delta 237), pack-reused 665 (from 1)\nNothing to delete.\n[2026-07-02T07:29:56Z DEBUG silver_platter::workspace] Fetching colocated branches: {}\n[2026-07-02T07:29:56Z INFO  janitor_worker] Workspace ready - starting.\n[2026-07-02T07:29:56Z INFO  janitor_worker::debian] Running [\"lintian-brush\"]\n[2026-07-02T07:29:56Z DEBUG debian_analyzer::detect_gbp_dch] Branch history analysis: changelog_only: 14, other_only: 2, mixed: 11, dch_references: 0, unreleased_references: 14\nfound 423 deltas to reuse\n[2026-07-02T07:30:07Z INFO  ognibuild::debian::fix_build] Using fixers: [PgBuildExtOutOfDateControlFixer, MissingConfigureFixer, MissingAutomakeInputFixer, MissingConfigStatusInputFixer, MissingPerlFileFixer, DebcargoUnacceptablePredicateFixer, DebcargoUnacceptableComparatorFixer, RetryAptFetchFailure, PackageDependencyFixer]\n[2026-07-02T07:30:07Z DEBUG ognibuild::debian::build] Adding dummy changelog entry 9.0.0-3~jan+lint1 for build\n[2026-07-02T07:30:07Z DEBUG ognibuild::debian::build] Writing build log to /srv/worker/output/1/janitor-worker-Lrfa2P/build.log\n[2026-07-02T07:30:07Z INFO  ognibuild::debian::build] Building debian packages, running sbuild --chroot-mode=unshare --no-clean-source -A -s -v -d sid.\n[2026-07-02T07:34:04Z WARN  buildlog_consultant::sbuild] Unknown line in summary: --------------------------------------------------------------------------------\n    \n[2026-07-02T07:34:04Z WARN  buildlog_consultant::sbuild] Unknown line in summary: Finished at 2026-07-02T07:30:09Z\n    \n[2026-07-02T07:34:04Z WARN  buildlog_consultant::sbuild] Unknown line in summary: Build needed 00:00:00, no disk space\n    \n[2026-07-02T07:34:04Z WARN  buildlog_consultant::sbuild] Unknown key in summary: E\n[2026-07-02T07:34:04Z WARN  buildlog_consultant::sbuild] Unknown key in summary: brz\n[2026-07-02T07:34:04Z INFO  ognibuild::debian::fix_build] Attempting to use fixer PackageDependencyFixer to address UnsatisfiedAptDependencies(\"coq:amd64 (>= 9)\")\n[2026-07-02T07:34:04Z DEBUG ognibuild::debian::apt] No Debian dependency candidates for dependency DebianDependency(\"coq:amd64 (>= 9)\")\n[2026-07-02T07:34:04Z WARN  ognibuild::debian::fix_build] Failed to resolve error UnsatisfiedAptDependencies(\"coq:amd64 (>= 9)\"). Giving up.\n","description":"worker","name":"worker.log","url":"/lintian-fixes/c/coq-corn/1c97b53d-5c25-464f-b06f-611103ddd8f3/logs/worker.log"}},"my_review":null,"other_reviews":[],"primary_log":"worker","publish_blockers":{"backoff":{"details":{"attempt_count":0,"next_try_time":"2026-07-02T07:34:04.849758Z"},"result":true},"change_set":{"details":{"change_set_id":"1c97b53d-5c25-464f-b06f-611103ddd8f3","change_set_state":"working"},"result":false},"command":{"details":{"actual":"DEB_UPDATE_CHANGELOG=auto lintian-brush","correct":"DEB_UPDATE_CHANGELOG=auto lintian-brush"},"result":true},"inactive":{"details":{"inactive":false},"result":true},"previous_mp":{"details":[],"result":true},"propose_rate_limit":{"details":{"bucket":"debian-ocaml-maint@lists.debian.org"},"result":true},"publish_status":{"details":{"reviews":{},"status":"unknown"},"result":false},"success":{"details":{"result_code":"unsatisfied-apt-dependencies"},"result":false}},"publish_history":[],"queue_position":38759,"result":{"applied":[{"certainty":"certain","description":"Update watch file format version to 5.","fixed_lintian_issues":[{"info":"4","package":null,"package_type":"source","tag":"older-debian-watch-file-standard"}],"fixer_name":"debian-watch-file-old-format","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:619e47ce37888acf000597d7dc1108acc6ec1d8d","summary":"Update watch file format version to 5."},{"certainty":"certain","description":"Use GitHub template in watch file instead of explicit Source/Matching-Pattern.","fixed_lintian_issues":[],"fixer_name":"debian-watch-use-templates","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:5a354b208cac9e00a2b5e7cddfd1d3b2b16d243b","summary":"Use GitHub template in watch file instead of explicit Source/Matching-Pattern."},{"certainty":"certain","description":"Set upstream metadata fields: Repository, Repository-Browse.","fixed_lintian_issues":[{"info":"[debian/upstream/metadata]","package":null,"package_type":"source","tag":"upstream-metadata-missing-repository"}],"fixer_name":"upstream-metadata-file","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:3fe7b368c19f4f909a06805aa0d381dac389c7e7","summary":"Set upstream metadata fields: Repository, Repository-Browse."},{"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:f6b6c4a6c944890f816425fb3bed5eb1078c05ff","summary":"Update standards version to 4.7.4, no changes needed."}],"changelog_behaviour":{"explanation":"Assuming changelog should be updated","update":true},"failed":{}},"result_code":"unsatisfied-apt-dependencies","resume_from":"{build,build,build}","reviews":[],"revision":"git-v1:f6b6c4a6c944890f816425fb3bed5eb1078c05ff","run":{"branch_url":"git+ssh://git@salsa.debian.org/ocaml-team/coq-corn.git","build_version":null,"change_set":"1c97b53d-5c25-464f-b06f-611103ddd8f3","codebase":"coq-corn","command":"DEB_UPDATE_CHANGELOG=auto lintian-brush","context":"\"debian-watch-does-not-check-openpgp-signature package-uses-old-debhelper-compat-version older-debian-watch-file-standard upstream-metadata-missing-bug-tracking\"","debian_build_distribution":null,"debian_build_version":null,"description":"unsatisfied apt dependencies: coq:amd64 (>= 9)","duration_seconds":525,"failure_stage":"{build,build,build}","failure_transient":null,"finish_time":"2026-07-02T07:34:04.849758Z","id":"1c97b53d-5c25-464f-b06f-611103ddd8f3","logfilenames":["worker.log","codemod.log","build.log"],"main_branch_revision":"git-v1:976d7c392670d5316c6e7c3507d1352508665147","publish_status":"unknown","result":{"applied":[{"certainty":"certain","description":"Update watch file format version to 5.","fixed_lintian_issues":[{"info":"4","package":null,"package_type":"source","tag":"older-debian-watch-file-standard"}],"fixer_name":"debian-watch-file-old-format","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:619e47ce37888acf000597d7dc1108acc6ec1d8d","summary":"Update watch file format version to 5."},{"certainty":"certain","description":"Use GitHub template in watch file instead of explicit Source/Matching-Pattern.","fixed_lintian_issues":[],"fixer_name":"debian-watch-use-templates","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:5a354b208cac9e00a2b5e7cddfd1d3b2b16d243b","summary":"Use GitHub template in watch file instead of explicit Source/Matching-Pattern."},{"certainty":"certain","description":"Set upstream metadata fields: Repository, Repository-Browse.","fixed_lintian_issues":[{"info":"[debian/upstream/metadata]","package":null,"package_type":"source","tag":"upstream-metadata-missing-repository"}],"fixer_name":"upstream-metadata-file","overridden_lintian_issues":[],"patch_name":null,"revision_id":"git-v1:3fe7b368c19f4f909a06805aa0d381dac389c7e7","summary":"Set upstream metadata fields: Repository, Repository-Browse."},{"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:f6b6c4a6c944890f816425fb3bed5eb1078c05ff","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:976d7c392670d5316c6e7c3507d1352508665147","remote_name":"master","revision":"git-v1:f6b6c4a6c944890f816425fb3bed5eb1078c05ff","role":"main"}],"result_code":"unsatisfied-apt-dependencies","result_tags":[],"revision":"git-v1:f6b6c4a6c944890f816425fb3bed5eb1078c05ff","start_time":"2026-07-02T07:25:18.950682Z","subpath":"","suite":"lintian-fixes","target_branch_url":null,"vcs_type":"git","worker":"tyr"},"run_id":"1c97b53d-5c25-464f-b06f-611103ddd8f3","success_probability":0.0,"suite":"lintian-fixes","total_previous_runs":1,"utcnow":"2026-07-06T05:36:44.678050366+00:00","vcs_type":"git","vcs_url":"git+ssh://git@salsa.debian.org/ocaml-team/coq-corn.git","version":"0.0.0","worker_log_name":"worker.log","worker_name":"tyr"}