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

alt-ergo-lib.2.4.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:04:18Z2026-06-24-203345successdocsa38dbbe47783blessed9d63c8d381d0—
2026-06-24T13:21:11Z2026-06-24-113204successbuild—blessedf6ff4d53d104
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:56Z2026-06-23-185007successdocsa38dbbe47783blessed2e5f73cc16bc—
2026-06-23T18:28:16Z2026-06-23-164340successbuild—blessede95bbfd33497
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:45Z2026-06-23-084455successdocsa38dbbe47783blessed6597310e6397—
2026-06-19T20:51:43Z2026-06-19-202157successdocsa38dbbe47783blessed50eedcb0e887—
2026-06-16T20:10:57Z2026-06-16-193644successdocsa38dbbe47783blesseddd6629e9c3a1—
2026-06-16T12:47:11Z2026-06-16-113640successbuild—blessed43db3962fa68—