Profiles › full › package: hol_light › 3.0.0

hol_light.3.0.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-25T07:08:50Z2026-06-25-064654successdocs6c3d67cd990fblessedbd8b7e38e098—
2026-06-24T23:06:03Z2026-06-24-223251successdocs6c3d67cd990fblessedc19100dbda87—
2026-06-24T19:24:49Z2026-06-24-183226successbuild—blessed447f6d7d4f13
44 deps
  • astring.0.8.5
  • base-threads.base
  • base-unix.base
  • bos.0.3.0
  • camlp-streams.5.0.1
  • camlp5-buildscripts.0.07
  • camlp5.8.03.06
  • conf-bash.1
  • conf-gmp.5
  • conf-libpcre2-8.2
  • conf-m4.1
  • conf-perl.2
  • conf-pkg-config.5
  • conf-which.1
  • csexp.1.5.2
  • cstruct.6.2.0
  • dune-compiledb.0.6.0
  • dune-configurator.3.23.1
  • dune.3.23.1
  • ezjsonm.1.3.0
  • fmt.0.11.0
  • fpath.0.7.3
  • hex.1.5.0
  • jsonm.1.0.2
  • ledit.2.08
  • logs.0.10.0
  • not-ocamlfind.0.14
  • num.1.6
  • ocaml-base-compiler.5.3.0
  • ocaml-compiler.5.3.0
  • ocaml-config.3
  • ocaml.5.3.0
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
  • ocamlgraph.2.2.0
  • parsexp.v0.17.0
  • pcre2.8.0.4
  • re.1.14.0
  • rresult.0.7.0
  • sexplib.v0.17.0
  • sexplib0.v0.17.0
  • topkg.1.1.1
  • uutf.1.0.4
  • zarith.1.14
2026-06-24T07:48:11Z2026-06-24-074420successdocs6c3d67cd990fblessed10e50f7ade3f—
2026-06-23T22:15:18Z2026-06-23-203059successdocs6c3d67cd990fblessedfe5ca9635fdb—
2026-06-23T21:24:43Z2026-06-23-203059successbuild—blessed2e6d98a23cc3
44 deps
  • astring.0.8.5
  • base-threads.base
  • base-unix.base
  • bos.0.3.0
  • camlp-streams.5.0.1
  • camlp5-buildscripts.0.07
  • camlp5.8.03.06
  • conf-bash.1
  • conf-gmp.5
  • conf-libpcre2-8.2
  • conf-m4.1
  • conf-perl.2
  • conf-pkg-config.5
  • conf-which.1
  • csexp.1.5.2
  • cstruct.6.2.0
  • dune-compiledb.0.6.0
  • dune-configurator.3.23.1
  • dune.3.23.1
  • ezjsonm.1.3.0
  • fmt.0.11.0
  • fpath.0.7.3
  • hex.1.5.0
  • jsonm.1.0.2
  • ledit.2.08
  • logs.0.10.0
  • not-ocamlfind.0.14
  • num.1.6
  • ocaml-base-compiler.5.3.0
  • ocaml-compiler.5.3.0
  • ocaml-config.3
  • ocaml.5.3.0
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
  • ocamlgraph.2.2.0
  • parsexp.v0.17.0
  • pcre2.8.0.4
  • re.1.14.0
  • rresult.0.7.0
  • sexplib.v0.17.0
  • sexplib0.v0.17.0
  • topkg.1.1.1
  • uutf.1.0.4
  • zarith.1.14
2026-06-23T12:08:08Z2026-06-23-114544successdocs6c3d67cd990fblessedce82ef134ff5—
2026-06-22T22:52:03Z2026-06-22-224339successdocs6c3d67cd990fblessed0762cda6c8f2—
2026-06-20T15:57:54Z2026-06-20-153623successdocs6c3d67cd990fblessed215782428b68—
2026-06-20T08:50:54Z2026-06-20-083553successdocs6c3d67cd990fblessed854febab3327—
2026-06-19T20:57:23Z2026-06-19-202157successdocs6c3d67cd990fblessedd6d7ec1dfc09—
2026-06-16T21:59:25Z2026-06-16-213711successdocs6c3d67cd990fblessed42c5471ee947—
2026-06-16T19:13:52Z2026-06-16-183655successbuild—blessedc15bee76fe7c—