Build:
- 0
2026-06-24 17:02.38: New job: build coq-of-ocaml.2.5.3+4.12 (039c3b46b575) 2026-06-24 17:02.38: Waiting for resource in pool day11-builds 2026-06-24 17:46.43: Got resource from pool day11-builds 2026-06-24 17:46.43: [profile full] build coq-of-ocaml.2.5.3+4.12 2026-06-24 17:46.43: build coq-of-ocaml.2.5.3+4.12 (039c3b46b575) === DEPENDENCIES (17 transitive) === angstrom.0.16.1 49f06d53b59a base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb bigstringaf.0.10.0 dc648b47a3c3 csexp.1.5.2 cbff46c78e23 dune.3.23.1 ec34fe9ebf2c dune-configurator.3.22.2 f3081e3d47cb ocaml.4.12.1 dee35ad2ab01 ocaml-base-compiler.4.12.1 16a69ab1424d ocaml-config.2 e77f021f2144 ocaml-secondary-compiler.4.14.2 fb63d435ed9e ocaml-syntax-shims.1.0.0 0bbcec0141dc ocamlfind.1.9.6 8d8d9a490c0f ocamlfind-secondary.1.9.6 e7e9f5a4b1a5 result.1.5 b2f02c331fa8 smart-print.0.3.0 489cd80edcaa yojson.3.0.0 9255a8519b65 === 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-24 17:47.39: OK: build coq-of-ocaml.2.5.3+4.12 (runc: 33.7s, disk: 7KB) 2026-06-24 17:47.39: Job succeeded