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

alt-ergo-lib.2.3.2

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:41:40Z2026-06-24-195017successdocs55470106e0a1blessed7a80edfa7555—
2026-06-24T12:04:35Z2026-06-24-103903successbuild—blessed1f22d78e6f37
15 deps
  • base-threads.base
  • base-unix.base
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.2.9.3
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • ocplib-simplex.0.4.1
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-06-23T20:01:50Z2026-06-23-185007successdocs55470106e0a1blessed5be64a546d08—
2026-06-23T18:19:43Z2026-06-23-164340successbuild—blessed8d112b85af31
15 deps
  • base-threads.base
  • base-unix.base
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.2.9.3
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • ocplib-simplex.0.4.1
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-06-23T09:27:34Z2026-06-23-084455successdocs55470106e0a1blessedcbcb8a2722b0—
2026-06-19T20:24:35Z2026-06-19-192323successdocs55470106e0a1blessedc314c4937fe8—
2026-06-16T19:50:45Z2026-06-16-183655successdocs55470106e0a1blessede9d1dbab9e82—
2026-06-16T12:07:34Z2026-06-16-113640successbuild—blesseda2565d323a7b—