Profiles › full › package: satML-plugin › 0.99.1

satML-plugin.0.99.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T13:19:44Z2026-06-26-123844successdocse8b06b6a40d9blessed9114d7891a40—
2026-06-24T21:05:17Z2026-06-24-203345successdocse8b06b6a40d9blessede0252a4e2c79—
2026-06-24T13:28:26Z2026-06-24-113204successbuild—blessed72de6ea9be02
14 deps
  • alt-ergo.0.99.1
  • base-threads.base
  • base-unix.base
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.3.23.1
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • ocamlgraph.2.2.0
  • zarith.1.14
2026-06-23T20:54:07Z2026-06-23-193124successdocse8b06b6a40d9blessed1ab0916fd4e8—
2026-06-23T19:58:18Z2026-06-23-173316successbuild—blessedce54da8f8619
14 deps
  • alt-ergo.0.99.1
  • base-threads.base
  • base-unix.base
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.3.23.1
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • ocamlgraph.2.2.0
  • zarith.1.14
2026-06-23T09:53:22Z2026-06-23-092928successdocse8b06b6a40d9blessed82f2cc6f07fe—
2026-06-19T20:46:30Z2026-06-19-192323successdocse8b06b6a40d9blessed760f853b2e9e—
2026-06-16T20:11:59Z2026-06-16-193644successdocse8b06b6a40d9blessed620db922cd19—
2026-06-16T12:54:30Z2026-06-16-113640successbuild—blessed067e5ab550b7—