Profiles › full › package: satML-plugin › 1.30

satML-plugin.1.30

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T13:20:21Z2026-06-26-123844successdocs3e6fadcada5ablessedca32fe83767c—
2026-06-24T21:09:21Z2026-06-24-203345successdocs3e6fadcada5ablessed817e869f1ab7—
2026-06-24T13:21:11Z2026-06-24-113204successbuild—blessedc7ab6118c581
12 deps
  • alt-ergo.1.30
  • 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:54:03Z2026-06-23-193124successdocs3e6fadcada5ablessed77334eeb62da—
2026-06-23T19:58:31Z2026-06-23-173316successbuild—blessedc4dd3c82d6a0
12 deps
  • alt-ergo.1.30
  • 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:53:22Z2026-06-23-092928successdocs3e6fadcada5ablessed0896014796c9—
2026-06-19T20:48:10Z2026-06-19-192323successdocs3e6fadcada5ablessed25571b10e77f—
2026-06-16T20:12:14Z2026-06-16-193644successdocs3e6fadcada5ablessedec6bc7856dee—
2026-06-16T12:48:18Z2026-06-16-113640successbuild—blessed2e1e97da2070—