Profiles › odoc-master-mini › package: kind2 › 3.0.0

kind2.3.0.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-10-24T09:43:38Z2026-10-24-093125successdocse01159dc535cblesseda65d80c1807c—
2026-10-23T20:32:58Z2026-10-23-201001successdocse01159dc535cblessed31144a5f410a—
2026-10-23T20:22:06Z2026-10-23-201001successbuild—blessed87978536dcf9
20 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-pkg-config.5
  • conf-zmq.0.1
  • csexp.1.5.2
  • dune-build-info.3.24.2
  • dune-configurator.3.24.2
  • dune.3.24.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler.5.5.2
  • ocaml.5.5.2
  • yojson.3.0.0
  • zmq.6.0.0
2026-10-22T17:27:08Z2026-10-22-171433successdocs78cf8b218371blessed79f803145543—
2026-10-21T17:24:33Z2026-10-21-164626successdocs78cf8b218371blessedb06c45b09947—
2026-10-21T17:07:15Z2026-10-21-164626successbuild—blessed2431db1863ec
20 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-pkg-config.5
  • conf-zmq.0.1
  • csexp.1.5.2
  • dune-build-info.3.24.2
  • dune-configurator.3.24.2
  • dune.3.24.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • yojson.3.0.0
  • zmq.6.0.0
2026-10-21T14:12:28Z2026-10-21-135957successdocs78cf8b218371blessed87b63a075b39—
2026-10-14T14:19:03Z2026-10-14-140618successdocs78cf8b218371blessed97f066dda4bf—
2026-10-12T14:06:31Z2026-10-12-135739successdocs78cf8b218371blessedfb9374aa69e9—
2026-10-09T15:54:23Z2026-10-09-151157successdocs78cf8b218371blessed04d39fdcdce2—
2026-10-06T17:55:57Z2026-10-06-163534successdocs78cf8b218371blessed51da518eff48—
2026-10-06T17:13:35Z2026-10-06-163534successbuild—blessed340549b4ddad
20 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-pkg-config.5
  • conf-zmq.0.1
  • csexp.1.5.2
  • dune-build-info.3.24.2
  • dune-configurator.3.24.2
  • dune.3.24.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • yojson.3.0.0
  • zmq.6.0.0
2026-10-03T18:22:12Z2026-10-03-181805successdocs78cf8b218371blessed1956435a9a0b—
2026-10-03T18:21:19Z2026-10-03-181805successbuild—blessed7a3470e46901—
2026-10-01T19:05:57Z2026-10-01-190422successbuild—blessedc613e4b70eda—
2026-09-29T10:12:07Z2026-09-29-100610successdocs95c4c379a11cblessed4c448c4fa6f9—
2026-09-28T18:05:39Z2026-09-28-175741successdocs95c4c379a11cblesseda5c6a6e2fe03—
2026-09-28T15:15:10Z2026-09-28-150303successdocs95c4c379a11cblesseda41645bdb1d7—