Profiles › full › package: mlsolver › 1.5

mlsolver.1.5

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T13:42:42Z2026-06-26-123844successdocs4e7c521c8cf5blessed99619e606fe2—
2026-06-26T10:28:22Z2026-06-26-094606successbuild—blessed49c692c2857a
14 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • cppo.1.8.0
  • dune.3.23.1
  • extlib.1.8.0
  • minisat.0.6
  • num.1.6
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml-sat-solvers.0.8
  • ocaml.5.5.0
  • pgsolver.4.4
  • tcs-lib.0.6
2026-06-24T21:37:17Z2026-06-24-203345successdocs4e7c521c8cf5blessedeecfb7365e0a—
2026-06-24T16:54:28Z2026-06-24-153355successbuild—blessedf811943c7d24
14 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • cppo.1.8.0
  • dune.3.23.1
  • extlib.1.8.0
  • minisat.0.6
  • num.1.6
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml-sat-solvers.0.8
  • ocaml.5.5.0
  • pgsolver.4.4
  • tcs-lib.0.6
2026-06-23T10:19:41Z2026-06-23-092928successdocs4e7c521c8cf5blessed49a626a2a54a—
2026-06-20T20:20:14Z2026-06-20-192413successdocs4e7c521c8cf5blessedc1538f3bc805—
2026-06-20T19:07:36Z2026-06-20-182523successbuild—blessed890463f6d652—
2026-06-19T21:41:54Z2026-06-19-212218successdocsd736975566b7blessed01f2d46dbaa3—
2026-06-19T19:57:53Z2026-06-19-192323successbuild—blessed9c50af390168—
2026-06-16T20:42:44Z2026-06-16-193644successdocsd333bb32996fblessed65c782ed65a7—
2026-06-16T16:32:37Z2026-06-16-153709successbuild—blessed2243deae73c7—