Build:
- 0
2026-06-16 16:54.58: New job: build coq-of-ocaml.2.5.3+4.13 (ba7a7b2aef08) 2026-06-16 16:54.58: Waiting for resource in pool day11-builds 2026-06-16 17:31.07: Got resource from pool day11-builds 2026-06-16 17:31.07: [profile full] build coq-of-ocaml.2.5.3+4.13 2026-06-16 17:31.07: build coq-of-ocaml.2.5.3+4.13 (ba7a7b2aef08) === DEPENDENCIES (17 transitive) === angstrom.0.16.1 4d106da1ac11 base-threads.base b7164ff76afe base-unix.base 839dc585f12d bigstringaf.0.10.0 a7cacff6b32a csexp.1.5.2 3fd7f8aa8729 dune.3.23.1 4ab42388130e dune-configurator.3.22.2 382d29bb807e ocaml.4.13.1 374ce8822fbe ocaml-base-compiler.4.13.1 3060c22370ce ocaml-config.2 7e2bf3da2a6e ocaml-secondary-compiler.4.14.2 208983c0e1e0 ocaml-syntax-shims.1.0.0 67d60f1c8a14 ocamlfind.1.9.6 233791feab3d ocamlfind-secondary.1.9.6 f311c6b5c8e3 result.1.5 fbf565328f9a smart-print.0.3.0 41a330c69333 yojson.3.0.0 ce928728c044 === 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-16 17:32.08: OK: build coq-of-ocaml.2.5.3+4.13 (runc: 43.1s, disk: 7KB) 2026-06-16 17:32.08: Job succeeded