Profiles › full › package: alt-ergo › 2.4.0

alt-ergo.2.4.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:58:29Z2026-06-24-213246successdocs52fbb0f9b490blessedb70d8f5bfc43—
2026-06-24T16:53:19Z2026-06-24-153355successbuild—blessedfeb00416dcb4
27 deps
  • alt-ergo-lib.2.4.0
  • alt-ergo-parsers.2.4.0
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.0.4
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.1
  • dune-configurator.2.9.3
  • dune.2.9.3
  • menhir.20211128
  • menhirLib.20211128
  • menhirSdk.20211128
  • 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
  • psmt2-frontend.0.4.0
  • result.1.5
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-06-23T21:28:00Z2026-06-23-203059successdocs52fbb0f9b490blessed8af73add7fe5—
2026-06-23T20:51:45Z2026-06-23-193124successbuild—blessed79dfa48a830c
27 deps
  • alt-ergo-lib.2.4.0
  • alt-ergo-parsers.2.4.0
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.0.4
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.1
  • dune-configurator.2.9.3
  • dune.2.9.3
  • menhir.20211128
  • menhirLib.20211128
  • menhirSdk.20211128
  • 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
  • psmt2-frontend.0.4.0
  • result.1.5
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-06-23T10:32:47Z2026-06-23-092928successdocs52fbb0f9b490blessed8238a029f2fb—
2026-06-19T21:27:22Z2026-06-19-202157successdocs52fbb0f9b490blessedc22ffae21e5d—
2026-06-16T20:51:18Z2026-06-16-193644successdocs52fbb0f9b490blessed75772a6054fc—
2026-06-16T15:57:11Z2026-06-16-133735successbuild—blessede9d4097134e0—