2026-08-05 16:47.29: New job: build conf-arb.1 (b3ad22f30ced)
2026-08-05 16:47.29: Waiting for resource in pool day11-builds
2026-08-05 17:12.44: Got resource from pool day11-builds
2026-08-05 17:12.44: [profile full] build conf-arb.1
2026-08-05 17:12.44: build conf-arb.1 (b3ad22f30ced)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
Processing: [default: loading data]
[WARNING] These additional system packages are required, but not available on your system: libflint-arb-dev
[conf-arb: sh echo "#include  \"arb.h\"" > test.c]
+ /usr/bin/sh "-exc" "echo \"#include  \\\"arb.h\\\"\" > test.c" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-arb.1)
- + echo #include  "arb.h"
[conf-arb: sh]
+ /usr/bin/sh "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-arb.1)
- + cc -c -I/usr/local/include test.c
- test.c:1:11: fatal error: arb.h: No such file or directory
-     1 | #include  "arb.h"
-       |           ^~~~~~~
- compilation terminated.
[ERROR] The compilation of conf-arb.1 failed at "sh -exc cc -c $CFLAGS -I/usr/local/include test.c".
build failed... 

=== STDERR ===

2026-08-05 17:14.05: FAILED: build conf-arb.1
2026-08-05 17:14.05: Job failed: build failed: conf-arb.1