2026-10-21 17:22.05: New job: build conf-sdpa.1 (fcc88b4d0c44)
2026-10-21 17:22.05: Waiting for resource in pool day11-builds
2026-10-21 17:30.20: Got resource from pool day11-builds
2026-10-21 17:30.20: [profile full] build conf-sdpa.1
2026-10-21 17:30.20: build conf-sdpa.1 (fcc88b4d0c44)
=== 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)
[ERROR] The compilation of conf-sdpa.1 failed at "sh -exc command -v sdpa".
- + command -v sdpa
build failed... 

=== STDERR ===

2026-10-21 17:32.45: FAILED: build conf-sdpa.1
2026-10-21 17:32.45: Job failed: build failed: conf-sdpa.1