Build:
- 0
2026-06-24 17:13.31: New job: build coq-of-ocaml.2.5.3+4.13 (579083195515) 2026-06-24 17:13.31: Waiting for resource in pool day11-builds 2026-06-24 18:03.34: Got resource from pool day11-builds 2026-06-24 18:03.34: [profile full] build coq-of-ocaml.2.5.3+4.13 2026-06-24 18:03.34: build coq-of-ocaml.2.5.3+4.13 (579083195515) === DEPENDENCIES (17 transitive) === angstrom.0.16.1 ee21e7b85d6a base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb bigstringaf.0.10.0 c5c04986824f csexp.1.5.2 f264c37da222 dune.3.23.1 f4fb3ab84d16 dune-configurator.3.22.2 157a291152cd ocaml.4.13.1 7bcd41fca40b ocaml-base-compiler.4.13.1 ca45a5cca9d8 ocaml-config.2 c716fa3c25ed ocaml-secondary-compiler.4.14.2 fb63d435ed9e ocaml-syntax-shims.1.0.0 68e38f8ea18e ocamlfind.1.9.6 bd6a8f122bb3 ocamlfind-secondary.1.9.6 71c79578841d result.1.5 7b8535f7b0d4 smart-print.0.3.0 9d21597c42ca yojson.3.0.0 7e2d26c01f5e === STDOUT === Processing: [default: loading data] [coq-of-ocaml.2.5.3+4.13: dl] [coq-of-ocaml.2.5.3+4.13: extract] -> retrieved coq-of-ocaml.2.5.3+4.13 (https://opam.ocaml.org/cache) [coq-of-ocaml: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "coq-of-ocaml" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-of-ocaml.2.5.3+4.13) -> compiled coq-of-ocaml.2.5.3+4.13 -> installed coq-of-ocaml.2.5.3+4.13 === STDERR === 2026-06-24 18:04.26: OK: build coq-of-ocaml.2.5.3+4.13 (runc: 31.2s, disk: 7KB) 2026-06-24 18:04.26: Job succeeded