Profiles › full › package: alt-ergo › 0.99.1

alt-ergo.0.99.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:42:52Z2026-06-24-195017successdocs8df658715fb5blessedf0809fc36405—
2026-06-24T12:10:36Z2026-06-24-103903successbuild—blessedc378773a1c3d
13 deps
  • base-threads.base
  • base-unix.base
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.3.23.1
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • ocamlgraph.2.2.0
  • zarith.1.14
2026-06-23T20:01:34Z2026-06-23-185007successdocs8df658715fb5blessed4f261dc8c562—
2026-06-23T18:21:00Z2026-06-23-164340successbuild—blessedc2f14389c523
13 deps
  • base-threads.base
  • base-unix.base
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.3.23.1
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • ocamlgraph.2.2.0
  • zarith.1.14
2026-06-23T09:32:21Z2026-06-23-084455successdocs8df658715fb5blessed7d9cee7dc91d—
2026-06-19T20:19:01Z2026-06-19-192323successdocs8df658715fb5blessed13b33814d9a2—
2026-06-16T19:50:06Z2026-06-16-183655successdocs8df658715fb5blessed8e4bd3800142—
2026-06-16T12:14:42Z2026-06-16-113640successbuild—blessed2dadc7eabb8a—