Profiles › full › 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-07-28T18:33:58Z2026-07-28-181006successdocsf4e190d2f10dblessedbc07af0c44f6—
2026-07-28T09:41:45Z2026-07-28-085842successdocsf4e190d2f10dblessed3d6b35af97b8—
2026-07-28T06:55:11Z2026-07-28-055740successdocsf4e190d2f10dblessed9b5f850c8e07—
2026-07-28T00:08:32Z2026-07-27-215638successdocsf4e190d2f10dblessedcaa1557d6790—
2026-07-27T00:15:57Z2026-07-26-224748successdocsf4e190d2f10dblessed1608264278da—
2026-07-26T19:01:14Z2026-07-26-105040successdocsf4e190d2f10dblessed130a9d9a3f9d—
2026-07-26T15:33:20Z2026-07-26-105040successbuild—blessed72d5b0853fef
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.23.1
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.9~preview
  • rocq-core.9.2.0
  • rocq-prover.meta.1
  • rocq-runtime.9.2.0
  • rocq-stdlib.9.1.0
  • zarith.1.14
2026-07-25T22:11:15Z2026-07-25-214525successdocs4adec653c1eeblessed46edcf883584—
2026-07-24T18:32:35Z2026-07-24-164945successdocs4adec653c1eeblesseda8736c51a1ce—
2026-07-24T16:55:14Z2026-07-24-134145successdocs4adec653c1eeblessed3ffcae1007bd—
2026-07-24T14:10:10Z2026-07-24-134145successbuild—blessedfd680c2cc844
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.23.1
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.8
  • rocq-core.9.2.0
  • rocq-prover.meta.1
  • rocq-runtime.9.2.0
  • rocq-stdlib.9.1.0
  • zarith.1.14