Profiles › full › package: subtype-refinement › 0.2

subtype-refinement.0.2

Open rendered docs

History

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T12:29:34Z2026-06-26-113840successdocs9dd8b2c487f0blessed6e2be4627e3e—
2026-06-24T20:16:22Z2026-06-24-195017successdocs9dd8b2c487f0blessedca3b3197458c—
2026-06-24T11:38:18Z2026-06-24-103903successbuild—blessed364fb60be7bb
7 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • dune.3.23.1
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
2026-06-23T09:19:32Z2026-06-23-084455successdocs9dd8b2c487f0blesseda5d25e1b3803—
2026-06-20T19:48:11Z2026-06-20-192413successdocs9dd8b2c487f0blessedfbfae81d0e1a—
2026-06-20T16:02:36Z2026-06-20-153623successbuild—blessed32cd6be93381—
2026-06-19T20:56:13Z2026-06-19-202157successdocs6981799b926bblesseddef9cb7eb29e—
2026-06-16T19:31:41Z2026-06-16-183655successdocs147506da56b8blessed2024df3c90e7—
2026-06-16T12:25:52Z2026-06-16-113640successbuild—blessed5438a6d74225—