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

alt-ergo-free.2.2.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:35:07Z2026-06-24-203345successdocs6df1500279c0blessedfab946f028b8—
2026-06-24T16:00:32Z2026-06-24-135303successbuild—blessed5e666dd5c803
19 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • 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
  • psmt2-frontend.0.1
  • zarith.1.14
2026-06-23T20:01:39Z2026-06-23-185007successdocs6df1500279c0blessed7ddc7f342813—
2026-06-23T18:45:44Z2026-06-23-164340successbuild—blessed59ec25ba72ba
19 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • 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
  • psmt2-frontend.0.1
  • zarith.1.14
2026-06-23T10:13:18Z2026-06-23-092928successdocs6df1500279c0blessed63a23b620328—
2026-06-19T21:06:13Z2026-06-19-202157successdocs6df1500279c0blessed4ee48cf371bb—
2026-06-16T20:32:07Z2026-06-16-193644successdocs6df1500279c0blessed3469772c8d7e—
2026-06-16T14:22:07Z2026-06-16-123625successbuild—blessed620166798851—