Profiles › full › package: rocq-runtime › 9.0.1

rocq-runtime.9.0.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:06:01Z2026-06-24-203345successdocs88e367159c60blesseddb48cc8deca6—
2026-06-24T20:43:13Z2026-06-24-195017successdocsbc634e705e8a—cf3998759664—
2026-06-24T13:59:18Z2026-06-24-135303successbuild—blessedc94014eeaee0
14 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
  • zarith.1.14
2026-06-24T13:39:36Z2026-06-24-113204successbuild—blessed4fe769c2ca5c
12 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
  • zarith.1.14
2026-06-23T19:49:52Z2026-06-23-173316successdocsbc634e705e8a—9f31a5e07b24—
2026-06-23T19:48:23Z2026-06-23-173316successdocs88e367159c60blessed09b3b6a4d836—
2026-06-23T18:06:52Z2026-06-23-164340successbuild—blessedac2f9d7b9775
12 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
  • zarith.1.14
2026-06-23T18:06:43Z2026-06-23-164340successbuild—blessedf2cb8f4ee799
14 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
  • zarith.1.14
2026-06-23T10:12:52Z2026-06-23-092928successdocs88e367159c60blessed0173c15b535a—
2026-06-23T09:52:42Z2026-06-23-084455successdocsbc634e705e8a—8e12dd167985—
2026-06-20T19:00:18Z2026-06-20-174847successdocs88e367159c60blessed26036fbc615a—
2026-06-20T18:57:37Z2026-06-20-174847successdocsbc634e705e8a—348c5c70a5d9—
2026-06-20T15:55:20Z2026-06-20-153623successdocs88e367159c60blessed87dc6327acea—
2026-06-20T15:52:25Z2026-06-20-153623successdocsbc634e705e8a—28686d393574—
2026-06-19T20:52:36Z2026-06-19-192323successdocs88e367159c60blessed7433acac75ca—
2026-06-19T20:04:41Z2026-06-19-192323successdocsbc634e705e8a—5df4467fd24a—
2026-06-16T20:24:25Z2026-06-16-193644successdocs88e367159c60blessed329d3a4e10f8—
2026-06-16T20:02:35Z2026-06-16-183655successdocsbc634e705e8a—2c8322a03b11—
2026-06-16T15:30:59Z2026-06-16-133735successbuild—blessed3c5fa4af8b08—
2026-06-16T13:04:42Z2026-06-16-113640successbuild—blessed436c8db50a27—