Build:
- 0
2026-06-16 16:40.39: New job: build coq-of-ocaml.2.5.3+4.12 (318f4f293739) 2026-06-16 16:40.39: Waiting for resource in pool day11-builds 2026-06-16 17:16.12: Got resource from pool day11-builds 2026-06-16 17:16.12: [profile full] build coq-of-ocaml.2.5.3+4.12 2026-06-16 17:16.12: build coq-of-ocaml.2.5.3+4.12 (318f4f293739) === DEPENDENCIES (17 transitive) === angstrom.0.16.1 9f0d650aad47 base-threads.base b7164ff76afe base-unix.base 839dc585f12d bigstringaf.0.10.0 79c728334d28 csexp.1.5.2 2dc1d42cb195 dune.3.23.1 6e9c895d33c4 dune-configurator.3.22.2 b3ee8ff25f05 ocaml.4.12.1 b220906b3826 ocaml-base-compiler.4.12.1 ce8680725b32 ocaml-config.2 3a99bd9dbb34 ocaml-secondary-compiler.4.14.2 208983c0e1e0 ocaml-syntax-shims.1.0.0 d10b7a5e5f51 ocamlfind.1.9.6 6a204c1e4cf6 ocamlfind-secondary.1.9.6 74c288ceaf87 result.1.5 be123bcfc185 smart-print.0.3.0 7f0e6e3b4951 yojson.3.0.0 f9b228d9a129 === STDOUT === Processing: [default: loading data] [coq-of-ocaml.2.5.3+4.12: dl] [coq-of-ocaml.2.5.3+4.12: extract] -> retrieved coq-of-ocaml.2.5.3+4.12 (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.12) -> compiled coq-of-ocaml.2.5.3+4.12 -> installed coq-of-ocaml.2.5.3+4.12 === STDERR === 2026-06-16 17:17.05: OK: build coq-of-ocaml.2.5.3+4.12 (runc: 43.2s, disk: 7KB) 2026-06-16 17:17.05: Job succeeded