Profiles › full › package: zipperposition-tools › 2.0

zipperposition-tools.2.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T14:43:04Z2026-06-26-133904successdocs4354b5cbe2c7blessed7d765b472bbf—
2026-06-25T07:17:21Z2026-06-25-064654successdocs4354b5cbe2c7blessed3bca0c88c614—
2026-06-24T22:49:51Z2026-06-24-223251successdocs4354b5cbe2c7blessedab65fe280e96—
2026-06-24T18:58:45Z2026-06-24-183226successbuild—blessedeba0e5bbe204
28 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.0
  • logtk.2.0
  • menhir.20211128
  • menhirLib.20211128
  • menhirSdk.20211128
  • msat.0.8.3
  • ocaml-base-compiler.4.12.1
  • ocaml-config.2
  • ocaml-secondary-compiler.4.14.2
  • ocaml.4.12.1
  • ocamlfind-secondary.1.9.6
  • ocamlfind.1.9.6
  • oseq.0.3
  • seq.base
  • zarith.1.14
2026-06-23T21:42:30Z2026-06-23-203059successdocs4354b5cbe2c7blessed0ff606d5d293—
2026-06-23T20:59:01Z2026-06-23-193124successbuild—blessed45b57a92eeb4
28 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.0
  • logtk.2.0
  • menhir.20211128
  • menhirLib.20211128
  • menhirSdk.20211128
  • msat.0.8.3
  • ocaml-base-compiler.4.12.1
  • ocaml-config.2
  • ocaml-secondary-compiler.4.14.2
  • ocaml.4.12.1
  • ocamlfind-secondary.1.9.6
  • ocamlfind.1.9.6
  • oseq.0.3
  • seq.base
  • zarith.1.14
2026-06-23T11:52:39Z2026-06-23-114544successdocs4354b5cbe2c7blessed576c7db5f63b—
2026-06-16T21:41:17Z2026-06-16-203648successdocs4354b5cbe2c7blessed1e1e1e0d70e3—
2026-06-16T18:30:18Z2026-06-16-173722successbuild—blessed2bb521e3e474—