Build:
- 0
2026-09-03 22:37.49: New job: build coq-of-ocaml.2.5.3+4.13 (ad3cf6fe2514) 2026-09-03 22:37.49: Waiting for resource in pool day11-builds 2026-09-03 23:17.01: Got resource from pool day11-builds 2026-09-03 23:17.01: [profile full] build coq-of-ocaml.2.5.3+4.13 2026-09-03 23:17.01: build coq-of-ocaml.2.5.3+4.13 (ad3cf6fe2514) === DEPENDENCIES (17 transitive) === angstrom.0.16.1 b1fdfbea4057 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e bigstringaf.0.10.0 df1aba6571a0 csexp.1.5.2 736db9409a7a dune.3.24.2 d7ac63a1e14a dune-configurator.3.22.2 bee289d571f2 ocaml.4.13.1 87019ce58e6b ocaml-base-compiler.4.13.1 8da2ad413a13 ocaml-config.2 dd7a6703ffd4 ocaml-secondary-compiler.4.14.2 d66c1c5ac958 ocaml-syntax-shims.1.0.0 1e7817342b92 ocamlfind.1.9.6 a2ee5a486e5a ocamlfind-secondary.1.9.6 4a14eb7d6568 result.1.5 35dc6eff1a41 smart-print.0.3.0 46bc84d88a6d yojson.3.0.0 f3dffe7264c2 === 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-09-03 23:17.43: OK: build coq-of-ocaml.2.5.3+4.13 (runc: 24.1s, disk: 7KB) 2026-09-03 23:17.43: Job succeeded