Profiles › odoc-master-mini › package: lstar-rocq › 3.0

lstar-rocq.3.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-10-24T09:52:57Z2026-10-24-093125successdocs63e4d569c94cblessed9d3115864936—
2026-10-23T20:36:46Z2026-10-23-201001successdocs63e4d569c94cblessed221d0475681a—
2026-10-23T20:28:33Z2026-10-23-201001successbuild—blessedd8c6d3d89e64
16 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • dune.3.24.2
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler.5.5.2
  • ocaml.5.5.2
  • ocamlfind.1.9.9~preview
  • rocq-core.9.3.0
  • rocq-prover.meta.1
  • rocq-runtime.9.3.0
  • rocq-stdlib.9.2.0
  • zarith.1.14
2026-10-22T17:38:44Z2026-10-22-171433successdocs058786d52300blessede7b64b1d04d6—
2026-10-21T17:28:49Z2026-10-21-164626successdocs058786d52300blessed577c68c6fbe0—
2026-10-21T17:15:58Z2026-10-21-164626successbuild—blessed321697d292fd
16 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • dune.3.24.2
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • ocamlfind.1.9.9~preview
  • rocq-core.9.3.0
  • rocq-prover.meta.1
  • rocq-runtime.9.3.0
  • rocq-stdlib.9.2.0
  • zarith.1.14
2026-10-21T14:26:34Z2026-10-21-135957successdocs058786d52300blessedc91fa4a962e3—
2026-10-14T14:30:58Z2026-10-14-140618successdocs058786d52300blessed491234c6ae44—
2026-10-12T14:11:29Z2026-10-12-135739successdocs058786d52300blessed7158e4fb324f—
2026-10-09T16:29:22Z2026-10-09-151157successdocs058786d52300blessed1f8563659cd6—
2026-10-06T18:16:20Z2026-10-06-163534successdocs058786d52300blessed10b8f00ba8a2—
2026-10-06T17:21:10Z2026-10-06-163534successbuild—blessedd120778d29de
16 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • dune.3.24.2
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • ocamlfind.1.9.9~preview
  • rocq-core.9.3.0
  • rocq-prover.meta.1
  • rocq-runtime.9.3.0
  • rocq-stdlib.9.2.0
  • zarith.1.14
2026-09-29T19:09:02Z2026-09-29-190202successdocs058786d52300blessededc9d5283832—
2026-09-29T19:09:01Z2026-09-29-190202successbuild—blessed1b8f2629d2d9—
2026-09-29T10:15:29Z2026-09-29-100610successdocs3ff5ef303ef8blessedbf5ea8e67d00—
2026-09-28T18:07:57Z2026-09-28-175741successdocs3ff5ef303ef8blessede2b0e1f5bddb—
2026-09-28T15:21:07Z2026-09-28-150303successdocs3ff5ef303ef8blessed597797fd0557—