Profiles › full › package: rocq-runtime › 9.2.0

rocq-runtime.9.2.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:34:13Z2026-06-24-195017successdocs0fbe7c55d317blessed39b79b80924a—
2026-06-24T12:21:00Z2026-06-24-103903successbuild—blessedf6467920e438
12 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
  • zarith.1.14
2026-06-23T19:32:38Z2026-06-23-173316successdocs0fbe7c55d317blessedee5baca609fd—
2026-06-23T16:56:49Z2026-06-23-164340successbuild—blessed7783771bba73
12 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
  • zarith.1.14
2026-06-23T09:45:23Z2026-06-23-084455successdocs0fbe7c55d317blessed01e3d0695cbf—
2026-06-20T20:02:16Z2026-06-20-192413successdocs0fbe7c55d317blessed256c05f46272—
2026-06-20T16:22:38Z2026-06-20-153623successbuild—blessedb19aff710082—
2026-06-19T21:16:32Z2026-06-19-202157successdocs67a23a5c270dblessedea03b0f8418f—
2026-06-16T20:02:35Z2026-06-16-183655successdocsbc634e705e8ablessed319c5bbdeb9d—
2026-06-16T13:04:43Z2026-06-16-113640successbuild—blesseddc86f207cf30—