Profiles › full › package: ocaml-sat-solvers › 0.8

ocaml-sat-solvers.0.8

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:46:46Z2026-06-24-195017successdocs98056fa199c2blessed1afc84d5dfd2—
2026-06-24T20:46:36Z2026-06-24-195017successdocseffccda13752—ca76c89657f8—
2026-06-24T13:10:53Z2026-06-24-113204successbuild—blessed85837acb226f
8 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • dune.3.23.1
  • minisat.0.6
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
2026-06-24T12:11:13Z2026-06-24-103903successbuild—blessed9e2a617e6dca
7 deps
  • base-threads.base
  • base-unix.base
  • dune.3.23.1
  • minisat.0.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
2026-06-23T09:37:49Z2026-06-23-084455successdocs98056fa199c2blessed79cc43c2a261—
2026-06-23T09:32:19Z2026-06-23-084455successdocseffccda13752—cd813b2f236b—
2026-06-20T20:01:26Z2026-06-20-192413successdocs98056fa199c2blessed6eb821c318a7—
2026-06-20T17:04:01Z2026-06-20-153623successbuild—blessed395b5286740f—
2026-06-19T21:11:22Z2026-06-19-202157successdocsd23da58adb1bblessed6c698be1ee4f—
2026-06-19T20:19:14Z2026-06-19-192323successdocseffccda13752—39f713a59d0d—
2026-06-16T20:04:03Z2026-06-16-183655successdocsd879d05dee3cblessed832b37cf3df7—
2026-06-16T19:50:25Z2026-06-16-183655successdocseffccda13752—a757c2ef0acc—
2026-06-16T13:55:22Z2026-06-16-113640successbuild—blesseda964e7941e9c—
2026-06-16T12:14:50Z2026-06-16-113640successbuild—blessed01adcaa53396—