Profiles › full › package: orthologic-coq › 0.9.1

orthologic-coq.0.9.1

Open rendered docs

History

Tick two or more build rows' checkboxes (Deps column), then for version differences.

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T13:17:42Z2026-06-26-123844successdocs28a99bba97a3blessed6216381d7a14—
2026-06-24T20:58:00Z2026-06-24-203345successdocs28a99bba97a3blessed99c098cb9f26—
2026-06-24T17:24:35Z2026-06-24-153355successbuild—blessedb70518977206
15 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-pkg-config.5
  • coq-core.8.18.0
  • coq-stdlib.8.18.0
  • coq.8.18.0
  • coqide-server.8.18.0
  • dune.3.23.1
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-23T21:58:19Z2026-06-23-203059successdocs28a99bba97a3blessed268197832cf0—
2026-06-23T21:04:55Z2026-06-23-193124successbuild—blessedd43aa4207439
15 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-pkg-config.5
  • coq-core.8.18.0
  • coq-stdlib.8.18.0
  • coq.8.18.0
  • coqide-server.8.18.0
  • dune.3.23.1
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-23T10:06:55Z2026-06-23-092928successdocs28a99bba97a3blessed8b1e9b19f719—
2026-06-20T20:11:09Z2026-06-20-192413successdocs28a99bba97a3blessedfdd87bea26d7—
2026-06-20T19:16:32Z2026-06-20-182523successbuild—blessed7b24d378fbf1—
2026-06-19T21:34:31Z2026-06-19-202157successdocsf6cde4fab58dblessedf7a253a96300—
2026-06-19T19:59:36Z2026-06-19-183411successbuild—blessed4cc0e1dae054—
2026-06-16T20:18:29Z2026-06-16-193644successdocs4cbafcf20af5blessed322e9e7594f8—
2026-06-16T17:04:28Z2026-06-16-153709successbuild—blessedec158bd0abfa—