Profiles › full › package: rocq-prover › 9.0.0

rocq-prover.9.0.0

No rendered docs found on disk, though the latest blessed build and docs succeeded — the output may still be syncing.

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T11:59:36Z2026-06-26-113840successbuild—blessed6e0b4b0f12bb
17 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • cppo.1.8.0
  • dune.3.23.1
  • memprof-limits.0.3.0
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • rocq-core.9.0.1
  • rocq-runtime.9.0.1
  • rocq-stdlib.9.1.0
  • zarith.1.14
2026-06-24T18:09:39Z2026-06-24-163243successbuild—blessed872ab40452f7
17 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • cppo.1.8.0
  • dune.3.23.1
  • memprof-limits.0.3.0
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • rocq-core.9.0.1
  • rocq-runtime.9.0.1
  • rocq-stdlib.9.1.0
  • zarith.1.14
2026-06-24T17:13:08Z2026-06-24-153355successbuild—blessedb617f6183d7a
15 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • dune.3.23.1
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • rocq-core.9.0.1
  • rocq-runtime.9.0.1
  • rocq-stdlib.9.0.0
  • zarith.1.14
2026-06-24T16:23:03Z2026-06-24-135303successbuild—blessed82089fc9017d
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.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-runtime.9.2.0
  • rocq-stdlib.9.1.0
  • zarith.1.14
2026-06-23T21:25:19Z2026-06-23-203059successbuild—blessedd04f00038809
17 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • cppo.1.8.0
  • dune.3.23.1
  • memprof-limits.0.3.0
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • rocq-core.9.0.1
  • rocq-runtime.9.0.1
  • rocq-stdlib.9.1.0
  • zarith.1.14
2026-06-23T21:23:53Z2026-06-23-203059successbuild—blessed179cf8959ae5
15 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • dune.3.23.1
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • rocq-core.9.0.1
  • rocq-runtime.9.0.1
  • rocq-stdlib.9.0.0
  • zarith.1.14
2026-06-23T21:00:05Z2026-06-23-193124successbuild—blessed4baf885e3a31
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.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-runtime.9.2.0
  • rocq-stdlib.9.1.0
  • zarith.1.14
2026-06-20T19:14:49Z2026-06-20-182523successbuild—blessed68c7cb58a48b—
2026-06-19T19:56:14Z2026-06-19-183411successbuild—blessed2a2cbc1bc7b1—
2026-06-16T17:58:51Z2026-06-16-163632successbuild—blessede10570bb2537—
2026-06-16T17:01:04Z2026-06-16-153709successbuild—blessed82f833161146—
2026-06-16T17:00:04Z2026-06-16-153709successbuild—blessed78e9800cb22d—