Build:
- 0
2026-09-03 19:58.44: New job: build coqide-server.8.19.2 (3f228c0d49b6) 2026-09-03 19:58.44: Waiting for resource in pool day11-builds 2026-09-03 21:41.11: Got resource from pool day11-builds 2026-09-03 21:41.11: [profile full] build coqide-server.8.19.2 2026-09-03 21:41.11: build coqide-server.8.19.2 (3f228c0d49b6) === DEPENDENCIES (13 transitive) === base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e conf-gmp.5 eac5259e412f conf-linux-libc-dev.0 0af5b24bacd0 conf-pkg-config.5 74f50f3cfe72 coq-core.8.19.2 03c594d6962e dune.3.23.1 8d06ddbdcff0 ocaml.5.4.1 f01fda733396 ocaml-base-compiler.5.4.1 d24c54dd04d7 ocaml-compiler.5.4.1 5e4d2e54ea9c ocaml-config.3 d59e78145b7c ocamlfind.1.9.8 d0ee8c624584 zarith.1.14 10f02761c35e === STDOUT === Processing: [default: loading data] [coqide-server.8.19.2: extract] -> retrieved coqide-server.8.19.2 (cached) [coqide-server: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "coqide-server" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/coqide-server.8.19.2) [coqide-server: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "coqide-server" "--create-install-files" "coqide-server" (CWD=/home/opam/.opam/default/.opam-switch/build/coqide-server.8.19.2) -> compiled coqide-server.8.19.2 -> installed coqide-server.8.19.2 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-09-03 21:41.36: OK: build coqide-server.8.19.2 (runc: 10.2s, disk: 7KB) 2026-09-03 21:41.36: Job succeeded