Profiles › oxcaml-odoc-master › package: zipperposition › 2.1

zipperposition.2.1

Solver failure

✗ Solve failed — no dependency solution was found for this package version on Debian trixie, so it was never built. The solver's explanation:

Can't find all required versions.
Selected: base-bigarray.base base-bytes.base base-domains.base base-nnp.base
          base-threads.base base-unix.base conf-autoconf.1 conf-gmp.5
          conf-pkg-config.5 conf-which.1 containers.3.18 containers-data.3.18
          csexp.1.5.2 dune.3.24.2 dune-configurator.3.24.2 either.1.0.0
          iter.1.9 libzipperposition.2.1 logtk.2.1 msat.0.9.1 ocaml-config.3
          ocaml-options-vanilla.1 ocamlbuild.0.16.1+ox ocamlfind.1.9.8+ox
          oxcaml.latest oxcaml-compiler.5.2.0minus39 oxcaml-patch-guards.ox
          topkg.1.1.1+ox zarith.1.14 ocaml-variants&zipperposition ocaml
          ocaml-base-compiler ocaml-base-compiler base-domains
          ocaml-base-compiler oxcaml-angstrom-patches ocaml zarith
- menhir -> menhir.20211012
    logtk 2.1 requires < 20211215
    menhirLib 20211012 requires not(<> 20211012)
- menhirLib -> menhirLib.20211012
    menhir 20211012 requires = 20211012
- menhirSdk -> menhirSdk.20211012
    menhir 20211012 requires = 20211012
- mtime -> mtime.1.4.0
    logtk 2.1 requires >= 1.0 & < 2.0
- ocaml -> ocaml.5.2.0
    User requested = 5.2.0
- ocaml-base-compiler -> (problem)
    Rejected candidates:
      ocaml-base-compiler.5.5.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~rc1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~beta1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~alpha3: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~alpha1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~rc1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~beta2: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~beta1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~alpha1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.3.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.2.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.2.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.1.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.1.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.0.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.4: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.3: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.2: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.2~rc1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.13.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.13.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.12.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.12.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.11.2: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.11.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.11.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
- ocaml-variants -> ocaml-variants.5.2.0+ox
    User requested = 5.2.0+ox
- oseq -> (problem)
    logtk 2.1 requires >= 0.3 & < 0.4
    Rejected candidates:
      oseq.0.5.1: Incompatible with restriction: >= 0.3 & < 0.4
      oseq.0.5: Incompatible with restriction: >= 0.3 & < 0.4
      oseq.0.4.1: Incompatible with restriction: >= 0.3 & < 0.4
      oseq.0.4: Incompatible with restriction: >= 0.3 & < 0.4
      oseq.0.3: Requires ocaml >= 4.02.0 & < 4.13
      oseq.0.2: Incompatible with restriction: >= 0.3 & < 0.4
      oseq.0.1: Incompatible with restriction: >= 0.3 & < 0.4
- oxcaml-angstrom-patches -> (problem)
    Rejected candidates:
      oxcaml-angstrom-patches.enabled: Requires oxcaml-compiler not(< 5.4.0-ox1)
- zipperposition -> zipperposition.2.1
    User requested = 2.1

If you believe zipperposition.2.1 should be installable on Debian trixie, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue

Not built in the latest run: a build dependency may have failed, or this version isn't the blessed one. See the history below.

History

No history entries.