Profiles › full › package: zipperposition-tools › 2.1

zipperposition-tools.2.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T14:43:05Z2026-06-26-133904successdocs448ffad15f23blessed2a25c680a59a—
2026-06-25T07:17:39Z2026-06-25-064654successdocs448ffad15f23blessed88a1997c5c6c—
2026-06-24T22:49:57Z2026-06-24-223251successdocs448ffad15f23blessede0ace01ca814—
2026-06-24T18:59:05Z2026-06-24-183226successbuild—blesseddeae623d68d8
31 deps
  • base-bigarray.base
  • base-bytes.base
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • containers-data.3.18
  • containers.3.18
  • csexp.1.5.2
  • dune-configurator.3.22.2
  • dune.3.23.1
  • either.1.0.0
  • iter.1.9
  • libzipperposition.2.1
  • logtk.2.1
  • menhir.20211128
  • menhirLib.20211128
  • menhirSdk.20211128
  • msat.0.9.1
  • mtime.1.4.0
  • ocaml-base-compiler.4.12.1
  • ocaml-config.2
  • ocaml-secondary-compiler.4.14.2
  • ocaml.4.12.1
  • ocamlbuild.0.16.1
  • ocamlfind-secondary.1.9.6
  • ocamlfind.1.9.6
  • oseq.0.3
  • seq.base
  • topkg.1.1.1
  • zarith.1.14
2026-06-23T21:42:35Z2026-06-23-203059successdocs448ffad15f23blesseddc6e6553dca8—
2026-06-23T20:59:28Z2026-06-23-193124successbuild—blessedcda20732d43f
31 deps
  • base-bigarray.base
  • base-bytes.base
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • containers-data.3.18
  • containers.3.18
  • csexp.1.5.2
  • dune-configurator.3.22.2
  • dune.3.23.1
  • either.1.0.0
  • iter.1.9
  • libzipperposition.2.1
  • logtk.2.1
  • menhir.20211128
  • menhirLib.20211128
  • menhirSdk.20211128
  • msat.0.9.1
  • mtime.1.4.0
  • ocaml-base-compiler.4.12.1
  • ocaml-config.2
  • ocaml-secondary-compiler.4.14.2
  • ocaml.4.12.1
  • ocamlbuild.0.16.1
  • ocamlfind-secondary.1.9.6
  • ocamlfind.1.9.6
  • oseq.0.3
  • seq.base
  • topkg.1.1.1
  • zarith.1.14
2026-06-23T11:53:00Z2026-06-23-114544successdocs448ffad15f23blessedcee006877103—
2026-06-16T21:41:30Z2026-06-16-203648successdocs448ffad15f23blessed481e47f49de2—
2026-06-16T18:30:18Z2026-06-16-173722successbuild—blessed05a15cb80d23—