Profiles › full › package: zipperposition › 2.0

zipperposition.2.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T14:30:46Z2026-06-26-133904successdocse77230de9c6ablessed0cb7e13a883a—
2026-06-24T22:35:43Z2026-06-24-213246successdocse77230de9c6ablessed9b307469fc00—
2026-06-24T18:09:45Z2026-06-24-163243successbuild—blessed31e45d9eab74
26 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.0
  • logtk.2.0
  • menhir.20211128
  • menhirLib.20211128
  • menhirSdk.20211128
  • msat.0.8.3
  • ocaml-base-compiler.4.12.1
  • ocaml-config.2
  • ocaml.4.12.1
  • ocamlfind.1.9.8
  • oseq.0.3
  • seq.base
  • zarith.1.14
2026-06-23T21:26:23Z2026-06-23-203059successdocse77230de9c6ablessedbafac35ce889—
2026-06-23T20:50:11Z2026-06-23-193124successbuild—blessedc54b9e1a7581
26 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.0
  • logtk.2.0
  • menhir.20211128
  • menhirLib.20211128
  • menhirSdk.20211128
  • msat.0.8.3
  • ocaml-base-compiler.4.12.1
  • ocaml-config.2
  • ocaml.4.12.1
  • ocamlfind.1.9.8
  • oseq.0.3
  • seq.base
  • zarith.1.14
2026-06-23T11:42:21Z2026-06-23-105300successdocse77230de9c6ablessedea1ad78b5088—
2026-06-16T21:28:11Z2026-06-16-203648successdocse77230de9c6ablessed275b67e82ee3—
2026-06-16T17:19:27Z2026-06-16-163632successbuild—blessedc51a8b4332a7—