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

alt-ergo-lib.2.4.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:04:20Z2026-06-24-203345successdocsa38dbbe47783blessede5aac9046d0d—
2026-06-24T13:21:11Z2026-06-24-113204successbuild—blessed60bc10231d9a
18 deps
  • base-threads.base
  • base-unix.base
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • csexp.1.5.1
  • dune-configurator.2.9.3
  • 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
  • result.1.5
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-06-23T20:01:49Z2026-06-23-185007successdocsa38dbbe47783blessed4d0d1f2127a6—
2026-06-23T18:32:19Z2026-06-23-164340successbuild—blessed08c4e45a57d8
18 deps
  • base-threads.base
  • base-unix.base
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • csexp.1.5.1
  • dune-configurator.2.9.3
  • 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
  • result.1.5
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-06-23T09:51:34Z2026-06-23-084455successdocsa38dbbe47783blessed95ad45478c14—
2026-06-19T20:51:37Z2026-06-19-202157successdocsa38dbbe47783blessed31d38d9ec037—
2026-06-16T20:10:55Z2026-06-16-193644successdocsa38dbbe47783blessedd7037ec03381—
2026-06-16T12:47:08Z2026-06-16-113640successbuild—blessedeef112a6606a—