Profiles › full › package: rocq-runtime › 9.1.1

rocq-runtime.9.1.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:06:30Z2026-06-24-203345successdocs88e367159c60blessedd743f38dfc1b—
2026-06-24T20:42:40Z2026-06-24-195017successdocsbc634e705e8a—7a5d4bdcc735—
2026-06-24T20:36:24Z2026-06-24-195017successdocs0fbe7c55d317—e3b5c14ea2f4—
2026-06-24T14:00:11Z2026-06-24-135303successbuild—blessed8c98c2b0cc9c
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:03Z2026-06-24-113204successbuild—blessedab92723e8ce7
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-24T12:18:33Z2026-06-24-103903successbuild—blessed5c8d6a381281
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:50:23Z2026-06-23-173316successdocs88e367159c60blessed20881f5feeac—
2026-06-23T19:49:02Z2026-06-23-173316successdocsbc634e705e8a—17a00dc7289a—
2026-06-23T19:35:30Z2026-06-23-173316successdocs0fbe7c55d317—eedd5f5d67b1—
2026-06-23T18:08:35Z2026-06-23-164340successbuild—blessedbe8c8eab3fc0
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:04:45Z2026-06-23-164340successbuild—blessedc89d350084d4
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-23T16:46:58Z2026-06-23-164340successbuild—blessed1eb3bac6e03c
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-23T10:12:35Z2026-06-23-092928successdocs88e367159c60blessedc98f2a41b79b—
2026-06-23T09:52:39Z2026-06-23-084455successdocsbc634e705e8a—f7417f9aecea—
2026-06-23T09:45:35Z2026-06-23-084455successdocs0fbe7c55d317—eec1c47406cb—
2026-06-20T20:01:55Z2026-06-20-192413successdocs0fbe7c55d317—b67ff43cf3c2—
2026-06-20T18:57:37Z2026-06-20-174847successdocsbc634e705e8a—cc617c2988f9—
2026-06-20T18:56:47Z2026-06-20-174847successdocs88e367159c60blessed65890924cc0b—
2026-06-20T16:21:47Z2026-06-20-153623successbuild—blessed88bdb50b50fb—
2026-06-20T15:57:05Z2026-06-20-153623successdocs88e367159c60blessed9b719f6834cf—
2026-06-20T15:51:12Z2026-06-20-153623successdocsbc634e705e8a—3ac69100de33—
2026-06-19T21:16:43Z2026-06-19-202157successdocs67a23a5c270d—eed73fea2001—
2026-06-19T20:53:40Z2026-06-19-192323successdocs88e367159c60blessedc45dd328b472—
2026-06-19T20:06:08Z2026-06-19-192323successdocsbc634e705e8a—641694f85a01—
2026-06-16T20:24:23Z2026-06-16-193644successdocs88e367159c60blessed037fd8b4c015—
2026-06-16T20:02:35Z2026-06-16-183655successdocsbc634e705e8a—2314fe5d5429—
2026-06-16T15:30:59Z2026-06-16-133735successbuild—blessedd2f669d78dfb—
2026-06-16T13:04:42Z2026-06-16-113640successbuild—blessed455891216bd3—