Profiles › full › package: alt-ergo › 2.4.2

alt-ergo.2.4.2

No rendered docs found on disk, though the latest blessed build succeeded — the output may still be syncing.

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-09-09T10:14:00Z2026-09-09-084957successdocsca55ebf410b0blessed204b44f04cdf—
2026-09-08T19:04:25Z2026-09-08-174327successdocsca55ebf410b0blessedde3cd5d8e5bd—
2026-09-07T23:38:38Z2026-09-07-214511successdocsca55ebf410b0blessed8b7ead499cb2—
2026-09-06T21:34:03Z2026-09-06-193832successdocsca55ebf410b0blessedf3e7b34f3585—
2026-09-04T21:06:57Z2026-09-04-173559successdocsca55ebf410b0blesseda1c1b97b774f—
2026-09-04T18:44:29Z2026-09-04-173559successbuild—blessedf3ab13870c66
29 deps
  • alt-ergo-lib.2.4.2
  • alt-ergo-parsers.2.4.2
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • compiler-cloning.enabled
  • conf-autoconf.1
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.2
  • dune-configurator.3.24.2
  • dune.3.24.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • ocamlfind.1.9.9~preview
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-09-04T03:19:38Z2026-09-03-223036successdocs3aae1a738305blessed8eef6d15cb15—
2026-09-03T23:13:25Z2026-09-03-223036successbuild—blesseddfce43f0e7c6
29 deps
  • alt-ergo-lib.2.4.2
  • alt-ergo-parsers.2.4.2
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • compiler-cloning.enabled
  • conf-autoconf.1
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.2
  • dune-configurator.3.24.2
  • dune.3.24.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.9~preview
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14