Profiles › full › package: alt-ergo-lib › 2.4.3

alt-ergo-lib.2.4.3

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:56:24Z2026-06-24-195017successdocs0de7e29eade9blessed334e0bdaff1b—
2026-06-24T15:56:27Z2026-06-24-135303successbuild—blessedb2c91729b468
19 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • csexp.1.5.2
  • dune-build-info.3.23.1
  • dune-configurator.3.23.1
  • dune.3.23.1
  • num.1.6
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.8
  • ocplib-simplex.0.4.1
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-06-23T19:28:44Z2026-06-23-173316successdocs0de7e29eade9blessed4227fe212d16—
2026-06-23T17:22:34Z2026-06-23-164340successbuild—blessed3a62dece6c1f
19 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • csexp.1.5.2
  • dune-build-info.3.23.1
  • dune-configurator.3.23.1
  • dune.3.23.1
  • num.1.6
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.8
  • ocplib-simplex.0.4.1
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-06-23T09:59:02Z2026-06-23-092928successdocs0de7e29eade9blessedbb22eeb591b0—
2026-06-20T20:08:58Z2026-06-20-192413successdocs0de7e29eade9blessedd89be89c15cc—
2026-06-20T18:22:00Z2026-06-20-162540successbuild—blessed603d83a52974—
2026-06-19T21:29:22Z2026-06-19-202157successdocs72295bd6eb76blessed1861ee7d509b—
2026-06-19T19:29:38Z2026-06-19-183411successbuild—blessede0b58a896f2b—
2026-06-16T20:19:42Z2026-06-16-193644successdocse765f55407a5blessed53058eb2624f—
2026-06-16T15:23:56Z2026-06-16-133735successbuild—blessedfff0ca24a4d8—