2026-07-09 17:49.45: New job: build conf-sdpa.1 (19b0541298cd)
2026-07-09 17:49.45: Waiting for resource in pool day11-builds
2026-07-09 17:54.59: Got resource from pool day11-builds
2026-07-09 17:54.59: [profile full] build conf-sdpa.1
2026-07-09 17:54.59: build conf-sdpa.1 (19b0541298cd)
=== 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-07-09 18:02.22: FAILED: build conf-sdpa.1
2026-07-09 18:02.22: Job failed: build failed: conf-sdpa.1