2026-09-19 16:55.33: New job: build conf-sdpa.1 (57d48560e836)
2026-09-19 16:55.33: Waiting for resource in pool day11-builds
2026-09-19 17:10.06: Got resource from pool day11-builds
2026-09-19 17:10.06: [profile full] build conf-sdpa.1
2026-09-19 17:10.06: build conf-sdpa.1 (57d48560e836)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
Processing: [default: loading data]
[WARNING] These additional system packages are required, but not available on your system: sdpa
[conf-sdpa: sh command -v sdpa]
+ /usr/bin/sh "-exc" "command -v sdpa" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-sdpa.1)
- + command -v sdpa
[ERROR] The compilation of conf-sdpa.1 failed at "sh -exc command -v sdpa".
build failed... 

=== STDERR ===

2026-09-19 17:10.24: FAILED: build conf-sdpa.1
2026-09-19 17:10.24: Job failed: build failed: conf-sdpa.1