Profiles › oxcaml-odoc-master › package: yices2_bindings › 0.2

yices2_bindings.0.2

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-domains.base base-nnp.base
          base-threads.base base-unix.base basement.v0.18~preview.130.106+341
          capsule0.v0.18~preview.130.106+341 conf-autoconf.1 conf-gmp.5
          conf-libffi.2.0.0 conf-pkg-config.5 conf-which.1 containers.3.18
          cppo.1.8.0 csexp.1.5.2 ctypes.0.24.0+ox ctypes-foreign.0.24.0+ox
          ctypes-zarith.0.2.0 dune.3.24.2 dune-configurator.3.24.2
          either.1.0.0 integers.0.8.0 num.1.6 ocaml-compiler-libs.v0.17.0+ox
          ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.16.1+ox
          ocamlfind.1.9.8+ox oxcaml.latest oxcaml-patch-guards.ox
          parsexp.v0.18~preview.130.106+341 ppx_derivers.1.2.1
          ppx_deriving.6.2.0 ppx_optcomp.v0.18~preview.130.91+190
          ppxlib.0.39.0 ppxlib_ast.0.33.0+ox2
          sexp_type.v0.18~preview.130.106+341
          sexplib.v0.18~preview.130.106+341
          sexplib0.v0.18~preview.130.106+341 stdlib-shims.0.3.0
          unique.v0.18~preview.130.106+341 zarith.1.14
          ocaml-variants&yices2_bindings ocaml ocaml-base-compiler
          ocaml-base-compiler base-domains ocaml-base-compiler
          oxcaml-angstrom-patches ocaml
- base -> (problem)
    oxcaml-compiler 5.2.0minus39 requires not(< v0.18~)
    Rejected candidates:
      base.v0.18~preview.130.106+341: Requires ppxlib_jane = v0.18~preview.130.106+341
      base.v0.18~preview.130.100+614: Requires basement = v0.18~preview.130.100+614
      base.v0.18~preview.130.91+190: Requires basement = v0.18~preview.130.91+190
      base.v0.18~preview.130.83+317: Requires basement = v0.18~preview.130.83+317
      base.v0.17.3: Requires sexplib0 >= v0.17.0 & < v0.18~
      base.v0.17.2: Incompatible with restriction: not(< v0.18~)
      base.v0.17.1: Requires sexplib0 >= v0.17 & < v0.18~
      base.v0.17.0: Requires sexplib0 >= v0.17 & < v0.18~
      base.v0.16.5: Requires sexplib0 >= v0.16 & < v0.17
      base.v0.16.4: Requires sexplib0 >= v0.16 & < v0.17
      base.v0.16.3: Requires sexplib0 >= v0.16 & < v0.17
      base.v0.16.2: Requires sexplib0 >= v0.16 & < v0.17
      base.v0.16.1: Requires sexplib0 >= v0.16 & < v0.17
      base.v0.16.0: Requires sexplib0 >= v0.16 & < v0.17
      base.v0.15.2: Requires sexplib0 >= v0.15 & < v0.16
      base.v0.15.1: Requires sexplib0 >= v0.15 & < v0.16
      base.v0.15.0: Requires ocaml >= 4.10.0 & < 5.0
      base.v0.14.4: Requires sexplib0 >= v0.14 & < v0.15
      base.v0.14.3: Requires sexplib0 >= v0.14 & < v0.15
      base.v0.14.2: Requires sexplib0 >= v0.14 & < v0.15
      base.v0.14.1: Requires ocaml >= 4.08.0 & < 4.14
      base.v0.14.0: Requires ocaml >= 4.07.0 & < 4.12
      base.v0.13.2: Requires ocaml >= 4.04.2 & < 4.12
      base.v0.13.1: Requires ocaml >= 4.04.2 & < 4.12
- 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
- oxcaml-angstrom-patches -> (problem)
    Rejected candidates:
      oxcaml-angstrom-patches.enabled: Requires oxcaml-compiler not(< 5.4.0-ox1)
- oxcaml-compiler -> oxcaml-compiler.5.2.0minus39
    basement v0.18~preview.130.106+341 requires not(< 5.2.0minus39 | >= 5.4.0-ox1)
- ppx_cstubs -> (problem)
    Rejected candidates:
      ppx_cstubs.0.7.0: Requires containers >= 2.2 & < 3.18
      ppx_cstubs.0.6.1.2: Requires ctypes >= 0.13.0 & < 0.20
      ppx_cstubs.0.6.1.1: Requires ctypes >= 0.13.0 & < 0.19
      ppx_cstubs.0.6.1: Requires ctypes >= 0.13.0 & < 0.18
      ppx_cstubs.0.6.0.1: Requires ctypes >= 0.13.0 & < 0.19
      ppx_cstubs.0.6.0: Requires ctypes >= 0.13.0 & < 0.18
      ppx_cstubs.0.5.1: Requires ctypes >= 0.13.0 & < 0.21
      ppx_cstubs.0.5.0.2: Requires ctypes >= 0.13.0 & < 0.20
      ppx_cstubs.0.5.0.1: Requires ctypes >= 0.13.0 & < 0.19
      ppx_cstubs.0.5.0: Requires ctypes >= 0.13.0 & < 0.18
      ppx_cstubs.0.4.3: Requires ctypes >= 0.13.0 & < 0.18
      ppx_cstubs.0.4.1: Requires ctypes >= 0.13.0 & < 0.18
- ppx_js_style -> (problem)
    parsexp v0.18~preview.130.106+341 requires = v0.18~preview.130.106+341
    Rejected candidates:
      ppx_js_style.v0.18~preview.130.106+341: Requires ppxlib_jane = v0.18~preview.130.106+341
      ppx_js_style.v0.18~preview.130.100+614: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.18~preview.130.91+190: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.18~preview.130.83+317: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.17.1: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.17.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.16.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.15.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.14.1: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.14.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.13.0: Incompatible with restriction: = v0.18~preview.130.106+341
- ppx_sexp_conv -> (problem)
    parsexp v0.18~preview.130.106+341 requires = v0.18~preview.130.106+341
    Rejected candidates:
      ppx_sexp_conv.v0.18~preview.130.106+341: Requires ppxlib_jane = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.18~preview.130.100+614: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.18~preview.130.91+190: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.18~preview.130.83+317: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.17.1: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.17.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.16.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.15.1: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.15.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.14.3: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.14.2: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.14.1: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.14.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.13.0: Incompatible with restriction: = v0.18~preview.130.106+341
- ppx_template -> (problem)
    capsule0 v0.18~preview.130.106+341 requires = v0.18~preview.130.106+341
    Rejected candidates:
      ppx_template.v0.18~preview.130.106+341: Requires ppxlib_jane = v0.18~preview.130.106+341
      ppx_template.v0.18~preview.130.100+614: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_template.v0.18~preview.130.91+190: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_template.v0.18~preview.130.83+317: Incompatible with restriction: = v0.18~preview.130.106+341
- ppxlib_jane -> ppxlib_jane.v0.18~preview.130.91+190
    ppx_optcomp v0.18~preview.130.91+190 requires = v0.18~preview.130.91+190
- stdio -> (problem)
    ppx_optcomp v0.18~preview.130.91+190 requires = v0.18~preview.130.91+190
    Rejected candidates:
      stdio.v0.18~preview.130.106+341: Incompatible with restriction: = v0.18~preview.130.91+190
      stdio.v0.18~preview.130.100+614: Incompatible with restriction: = v0.18~preview.130.91+190
      stdio.v0.18~preview.130.91+190: Requires sexplib0 = v0.18~preview.130.91+190
      stdio.v0.18~preview.130.83+317: Incompatible with restriction: = v0.18~preview.130.91+190
      stdio.v0.17.0: Incompatible with restriction: = v0.18~preview.130.91+190
      stdio.v0.16.0: Incompatible with restriction: = v0.18~preview.130.91+190
      stdio.v0.15.0: Incompatible with restriction: = v0.18~preview.130.91+190
      stdio.v0.14.0: Incompatible with restriction: = v0.18~preview.130.91+190
      stdio.v0.13.0: Incompatible with restriction: = v0.18~preview.130.91+190
- yices2_bindings -> yices2_bindings.0.2
    User requested = 0.2

If you believe yices2_bindings.0.2 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.