Build:
- 0
2026-09-03 22:57.50: New job: build coq-of-ocaml.2.5.3+4.12 (e3aeacae2810) 2026-09-03 22:57.50: Waiting for resource in pool day11-builds 2026-09-03 23:51.36: Got resource from pool day11-builds 2026-09-03 23:51.36: [profile full] build coq-of-ocaml.2.5.3+4.12 2026-09-03 23:51.36: build coq-of-ocaml.2.5.3+4.12 (e3aeacae2810) === DEPENDENCIES (17 transitive) === angstrom.0.16.1 1beb2b968c40 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e bigstringaf.0.10.0 cc3ab1833179 csexp.1.5.2 45da150ac45d dune.3.24.2 03fddf396e0b dune-configurator.3.22.2 9de81b632721 ocaml.4.12.1 40bf037a0516 ocaml-base-compiler.4.12.1 e714dfd3f0fe ocaml-config.2 75bd2fc1f23b ocaml-secondary-compiler.4.14.2 d66c1c5ac958 ocaml-syntax-shims.1.0.0 70ba68081b80 ocamlfind.1.9.6 b1980dc27cfd ocamlfind-secondary.1.9.6 cd09f5be8757 result.1.5 901d6a7defa5 smart-print.0.3.0 db2d49380f76 yojson.3.0.0 5e3b9784c7aa === 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-09-03 23:52.25: OK: build coq-of-ocaml.2.5.3+4.12 (runc: 32.2s, disk: 7KB) 2026-09-03 23:52.25: Job succeeded