2026-10-06 16:45.13: New job: build conf-gtksourceview.2 (2771fda1b70a)
2026-10-06 16:45.13: Waiting for resource in pool day11-builds
2026-10-06 16:47.54: Got resource from pool day11-builds
2026-10-06 16:47.54: [profile odoc-master-mini] build conf-gtksourceview.2
2026-10-06 16:47.54: build conf-gtksourceview.2 (2771fda1b70a)
=== DEPENDENCIES (1 transitive) ===
  conf-pkg-config.5                                  e39f7209b38f
=== STDOUT ===
Processing: [default: loading data]
[WARNING] These additional system packages are required, but not available on your system: libgtksourceview2.0-dev
[conf-gtksourceview: pkg-config gtksourceview-2.0]
+ /usr/bin/pkg-config "--short-errors" "--print-errors" "gtksourceview-2.0" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-gtksourceview.2)
- Package 'gtksourceview-2.0', required by 'virtual:world', not found
[ERROR] The compilation of conf-gtksourceview.2 failed at "pkg-config --short-errors --print-errors gtksourceview-2.0".
build failed... 

=== STDERR ===

2026-10-06 16:49.29: FAILED: build conf-gtksourceview.2
2026-10-06 16:49.29: Job failed: build failed: conf-gtksourceview.2