Profilesfullpackage: 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-113204successbuildblessedc7ab6118c581
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-173316successbuildblessedc4dd3c82d6a0
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-113640successbuildblessed2e1e97da2070