Profiles › full › package: pgsolver › 4.3

pgsolver.4.3

No rendered docs found on disk, though the latest blessed build succeeded — the output may still be syncing.

History

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-09-09T20:38:52Z2026-09-09-194724successdocsb97d152ed58eblessed0258ecccbc01—
2026-09-09T09:52:43Z2026-09-09-084957successdocsb97d152ed58eblessed547f2c073880—
2026-09-08T18:51:59Z2026-09-08-174327successdocsb97d152ed58eblessed8403411a4b68—
2026-09-07T23:06:02Z2026-09-07-214511successdocsb97d152ed58eblessed6db5b1e556d2—
2026-09-06T21:23:18Z2026-09-06-193832successdocsb97d152ed58eblessed1915aba13611—
2026-09-04T20:55:22Z2026-09-04-173559successdocsb97d152ed58eblessedbce6b319ed6a—
2026-09-04T02:54:39Z2026-09-03-223036successdocsb97d152ed58eblessedaddf9fe3baa1—
2026-09-03T22:01:21Z2026-09-03-173109successbuild—blessedb22c21e0505b
18 deps
  • TCSLib.0.3
  • base-threads.base
  • base-unix.base
  • cppo.1.8.0
  • dune.3.24.2
  • extlib.1.8.0
  • minisat.0.6
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml-sat-solvers.0.8
  • ocaml.4.14.4
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
  • ounit.2.2.7
  • ounit2.2.2.7
  • seq.base
  • stdlib-shims.0.3.0