Profiles › odoc-master-mini › package: rocq-prover › meta.1

rocq-prover.meta.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-10-24T09:48:28Z2026-10-24-093125successdocs729c52e60507blessed8e3a4d396f8c—
2026-10-23T20:35:46Z2026-10-23-201001successdocs729c52e60507blessed429559b48730—
2026-10-23T20:27:51Z2026-10-23-201001successbuild—blessed38ec30883d29
15 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-runtime.9.3.0
  • rocq-stdlib.9.2.0
  • zarith.1.14
2026-10-22T17:34:40Z2026-10-22-171433successdocsbf183a753557blessed407b6e941ea4—
2026-10-21T17:27:35Z2026-10-21-164626successdocsbf183a753557blessedf65e8ca682f1—
2026-10-21T17:14:11Z2026-10-21-164626successbuild—blessed0cc0bff47185
15 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-runtime.9.3.0
  • rocq-stdlib.9.2.0
  • zarith.1.14
2026-10-21T14:24:06Z2026-10-21-135957successdocsbf183a753557blessedad93fe22de5e—
2026-10-14T14:27:36Z2026-10-14-140618successdocsbf183a753557blessed0a658a9c44e3—
2026-10-12T14:10:54Z2026-10-12-135739successdocsbf183a753557blessede3234dc8af4f—
2026-10-09T16:13:42Z2026-10-09-151157successdocsbf183a753557blessed72dc0ea8178a—
2026-10-06T18:08:11Z2026-10-06-163534successdocsbf183a753557blessedefaf49412c01—
2026-10-06T17:18:42Z2026-10-06-163534successbuild—blessedbb761a9e4494
15 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-runtime.9.3.0
  • rocq-stdlib.9.2.0
  • zarith.1.14
2026-09-29T19:08:52Z2026-09-29-190202successdocsbf183a753557blessed7a469b5404d3—
2026-09-29T19:08:51Z2026-09-29-190202successbuild—blessedfa6857fd3dd0—
2026-09-29T10:14:37Z2026-09-29-100610successdocsb16cff584cd1blessedcac9b72d52b1—
2026-09-28T18:07:17Z2026-09-28-175741successdocsb16cff584cd1blessedb5b58d789aad—
2026-09-28T15:20:47Z2026-09-28-150303successdocsb16cff584cd1blessedc70c14ccffa6—