Profiles › full › package: alt-ergo › 1.30

alt-ergo.1.30

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:46:38Z2026-06-24-195017successdocsaa0e359e00c3blessedf038aa8c8464—
2026-06-24T12:04:05Z2026-06-24-103903successbuild—blessedc57154332d30
11 deps
  • camlzip.1.07
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • ocplib-simplex.0.3
  • zarith.1.14
2026-06-23T20:01:24Z2026-06-23-185007successdocsaa0e359e00c3blesseda8c869ba099f—
2026-06-23T18:21:37Z2026-06-23-164340successbuild—blessed56f79c48b06a
11 deps
  • camlzip.1.07
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • ocplib-simplex.0.3
  • zarith.1.14
2026-06-23T09:32:15Z2026-06-23-084455successdocsaa0e359e00c3blessed58b3c9dabe11—
2026-06-19T20:19:42Z2026-06-19-192323successdocsaa0e359e00c3blessed2ad1f1a8979e—
2026-06-16T19:50:27Z2026-06-16-183655successdocsaa0e359e00c3blessed624e05c48211—
2026-06-16T12:08:02Z2026-06-16-113640successbuild—blessedfc6bec056b89—