Profiles › full › package: abella › 2.0.7

abella.2.0.7

Open rendered docs

History

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:23:39Z2026-06-24-195017successdocs251032a50214blessedb255207d2949—
2026-06-24T11:25:26Z2026-06-24-103903successbuild—blessed8b42280bb59d
5 deps
  • ocaml-base-compiler.4.12.1
  • ocaml-config.2
  • ocaml.4.12.1
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
2026-06-23T09:17:04Z2026-06-23-084455successdocs251032a50214blessedaabad58cf64e—
2026-06-16T19:29:28Z2026-06-16-183655successdocs251032a50214blessed1209e9b8548c—
2026-06-16T11:41:48Z2026-06-16-105147successbuild—blessed6f1a2bcfcb29—