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

alt-ergo-lib.2.4.2

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:56:15Z2026-06-24-195017successdocs6f9bb46f95fbblessed6f544dc8a1c7—
2026-06-24T15:53:32Z2026-06-24-135303successbuild—blessed66f3376c9324
18 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-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:26Z2026-06-23-173316successdocs6f9bb46f95fbblessed93d4a97aee1a—
2026-06-23T17:09:40Z2026-06-23-164340successbuild—blessed62ca85c8db33
18 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-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:58:56Z2026-06-23-092928successdocs6f9bb46f95fbblessedaa7703591d62—
2026-06-20T20:08:58Z2026-06-20-192413successdocs6f9bb46f95fbblessed0e573d931068—
2026-06-20T18:30:33Z2026-06-20-162540successbuild—blessed127e67af7f9c—
2026-06-19T21:28:47Z2026-06-19-202157successdocsee7379a6b81bblessed5af581e3ee3a—
2026-06-19T19:30:03Z2026-06-19-183411successbuild—blessed9d565977d33c—
2026-06-16T20:19:43Z2026-06-16-193644successdocsaf69d49cc381blessed382f99632ca3—
2026-06-16T15:23:18Z2026-06-16-133735successbuild—blesseded496d7ee11e—