Profiles › full › package: coq-of-ocaml › 2.5.3+4.14

coq-of-ocaml.2.5.3+4.14

Open rendered docs

History

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T14:02:46Z2026-06-26-133904successdocs224ac2833524blessed5ed925b80e53—
2026-06-24T21:48:40Z2026-06-24-203345successdocs224ac2833524blessed9a9256c87df0—
2026-06-24T16:04:55Z2026-06-24-135303successbuild—blessedcb02474cce15
15 deps
  • angstrom.0.16.1
  • base-threads.base
  • base-unix.base
  • bigstringaf.0.10.0
  • csexp.1.5.2
  • dune-configurator.3.23.1
  • dune.3.23.1
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml-syntax-shims.1.0.0
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • result.1.5
  • smart-print.0.3.0
  • yojson.3.0.0
2026-06-23T10:32:18Z2026-06-23-092928successdocs224ac2833524blessedca2df8bd9eda—
2026-06-19T21:18:30Z2026-06-19-202157successdocs224ac2833524blessede4a0d9ca1061—
2026-06-16T20:51:13Z2026-06-16-193644successdocs224ac2833524blessedc8d0ccbd9977—
2026-06-16T15:58:30Z2026-06-16-133735successbuild—blessed992280826f38—