Profiles › full › package: alt-ergo-free › 2.0.0

alt-ergo-free.2.0.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:06:55Z2026-06-24-203345successdocsb85d436c0f93blessed27dd43db614c—
2026-06-24T13:37:07Z2026-06-24-113204successbuild—blessedae7ccad1d910
17 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.07
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.3.23.1
  • 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
  • zarith.1.14
2026-06-23T20:01:29Z2026-06-23-185007successdocsb85d436c0f93blessed5b1ef18c2133—
2026-06-23T18:37:38Z2026-06-23-164340successbuild—blessed2a1acf76823a
17 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.07
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.3.23.1
  • 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
  • zarith.1.14
2026-06-23T09:53:16Z2026-06-23-092928successdocsb85d436c0f93blessed519094c2c391—
2026-06-19T20:46:29Z2026-06-19-192323successdocsb85d436c0f93blessed361de8be0c1b—
2026-06-16T20:12:12Z2026-06-16-193644successdocsb85d436c0f93blessedacb230cc7ce4—
2026-06-16T12:55:11Z2026-06-16-113640successbuild—blessede746d1df859c—