Profiles › full › package: satML-plugin › 1.01

satML-plugin.1.01

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T13:19:41Z2026-06-26-123844successdocsaacdcaacffc2blessed6d886144bbc2—
2026-06-24T20:57:55Z2026-06-24-203345successdocsaacdcaacffc2blessed60fd0e02f962—
2026-06-24T13:15:14Z2026-06-24-113204successbuild—blessed695f73562142
9 deps
  • alt-ergo.1.01
  • 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:53:56Z2026-06-23-193124successdocsaacdcaacffc2blessed48b6bb29fa28—
2026-06-23T19:57:47Z2026-06-23-173316successbuild—blessed01bdace9e21d
9 deps
  • alt-ergo.1.01
  • 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:50:58Z2026-06-23-084455successdocsaacdcaacffc2blessed3330a8b69697—
2026-06-19T20:43:35Z2026-06-19-192323successdocsaacdcaacffc2blessed595443f39025—
2026-06-16T20:10:27Z2026-06-16-193644successdocsaacdcaacffc2blessede218cf64d6af—
2026-06-16T12:47:24Z2026-06-16-113640successbuild—blessed7a31a68e1685—