2026-10-21 16:48.08: New job: build conf-gtksourceview.2 (4a99ed9f1d04)
2026-10-21 16:48.08: Waiting for resource in pool day11-builds
2026-10-21 16:48.16: Got resource from pool day11-builds
2026-10-21 16:48.16: [profile odoc-master-mini] build conf-gtksourceview.2
2026-10-21 16:48.16: build conf-gtksourceview.2 (4a99ed9f1d04)
=== DEPENDENCIES (1 transitive) ===
  conf-pkg-config.5                                  26be2768a637
=== 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-21 16:48.23: FAILED: build conf-gtksourceview.2
2026-10-21 16:48.23: Job failed: build failed: conf-gtksourceview.2