2026-07-14 16:36.07: New job: build conf-sdpa.1 (6dbd794ac8e3)
2026-07-14 16:36.07: Waiting for resource in pool day11-builds
2026-07-14 16:43.38: Got resource from pool day11-builds
2026-07-14 16:43.38: [profile full] build conf-sdpa.1
2026-07-14 16:43.38: build conf-sdpa.1 (6dbd794ac8e3)
=== 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-14 16:44.00: FAILED: build conf-sdpa.1
2026-07-14 16:44.00: Job failed: build failed: conf-sdpa.1