Profiles › full › package: zipperposition › 2.1

zipperposition.2.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T14:30:49Z2026-06-26-133904successdocs82d1946834afblessed955bf034f90a—
2026-06-24T22:35:46Z2026-06-24-213246successdocs82d1946834afblessedc12d9dbc61c0—
2026-06-24T18:10:12Z2026-06-24-163243successbuild—blessede053a06fd4c5
29 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.22.2
  • 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.4.12.1
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
  • oseq.0.3
  • seq.base
  • topkg.1.1.1
  • zarith.1.14
2026-06-23T21:26:23Z2026-06-23-203059successdocs82d1946834afblessede06251105498—
2026-06-23T20:50:10Z2026-06-23-193124successbuild—blesseda297629f2f6e
29 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.22.2
  • 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.4.12.1
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
  • oseq.0.3
  • seq.base
  • topkg.1.1.1
  • zarith.1.14
2026-06-23T11:42:54Z2026-06-23-105300successdocs82d1946834afblessed6b0abc0d79c9—
2026-06-16T21:28:26Z2026-06-16-203648successdocs82d1946834afblessed6efdb25290cf—
2026-06-16T17:19:27Z2026-06-16-163632successbuild—blessed4fb329396a32—