Profiles › full › package: alt-ergo › 1.01

alt-ergo.1.01

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:31:36Z2026-06-24-195017successdocsee4f891e3edablessed97d60ac37d40—
2026-06-24T11:55:14Z2026-06-24-103903successbuild—blessed40fcfc5626c3
8 deps
  • 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
  • zarith.1.14
2026-06-23T20:01:22Z2026-06-23-185007successdocsee4f891e3edablessedfe8542e0c4e4—
2026-06-23T18:18:42Z2026-06-23-164340successbuild—blessed2f54dd52309f
8 deps
  • 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
  • zarith.1.14
2026-06-23T09:26:28Z2026-06-23-084455successdocsee4f891e3edablessede04c1183bdc8—
2026-06-19T20:17:15Z2026-06-19-192323successdocsee4f891e3edablessedc81bcae08f10—
2026-06-16T19:47:46Z2026-06-16-183655successdocsee4f891e3edablessed252b830bb148—
2026-06-16T12:05:40Z2026-06-16-113640successbuild—blessed4b7a2001e8aa—