2026-11-05 17:29.48: New job: build conf-sdpa.1 (3c53436b4fdc)
2026-11-05 17:29.48: Waiting for resource in pool day11-builds
2026-11-05 17:34.35: Got resource from pool day11-builds
2026-11-05 17:34.35: [profile full] build conf-sdpa.1
2026-11-05 17:34.35: build conf-sdpa.1 (3c53436b4fdc)
=== 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-11-05 17:36.20: FAILED: build conf-sdpa.1
2026-11-05 17:36.20: Job failed: build failed: conf-sdpa.1