Profiles › odoc-master-mini › package: minisat › 0.6

minisat.0.6

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-10-24T09:36:36Z2026-10-24-093125successdocscf24a5cca10ablessed49a87c95e7a2—
2026-10-23T20:28:54Z2026-10-23-201001successdocscf24a5cca10ablessed0ffa2adb9c3d—
2026-10-23T20:15:49Z2026-10-23-201001successbuild—blessed96fbe6965404
7 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • dune.3.24.2
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler.5.5.2
  • ocaml.5.5.2
2026-10-22T17:19:57Z2026-10-22-171433successdocs789953d198c6blessed8761b3b687d1—
2026-10-21T17:17:06Z2026-10-21-164626successdocs789953d198c6blessed367880dbf331—
2026-10-21T16:59:59Z2026-10-21-164626successbuild—blesseda9b372aa860e
7 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • dune.3.24.2
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
2026-10-21T14:05:20Z2026-10-21-135957successdocs789953d198c6blessed8044291f704d—
2026-10-14T14:11:34Z2026-10-14-140618successdocs789953d198c6blessede4cdb1b82c93—
2026-10-12T14:02:43Z2026-10-12-135739successdocs789953d198c6blessed3b7ce2637bc9—
2026-10-09T15:32:28Z2026-10-09-151157successdocs789953d198c6blessed8c6741917df0—
2026-10-06T17:33:05Z2026-10-06-163534successdocs789953d198c6blessed5c871fa64d69—
2026-10-06T17:05:00Z2026-10-06-163534successbuild—blessedfd2f2fcf0269
7 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • dune.3.24.2
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
2026-10-01T22:42:00Z2026-10-01-224134successbuild—blessedcf35f3a26698—
2026-09-29T10:08:13Z2026-09-29-100610successdocs789953d198c6blessed791b8e2079e2—
2026-09-28T18:01:20Z2026-09-28-175741successdocs789953d198c6blessed3f1f5c6d7379—
2026-09-28T15:09:43Z2026-09-28-150303successdocs789953d198c6blessed75de2059744e—