Package bap-ida

Failed to find a solution:

no platform:
2024-01-29 15:07.30 [INFO] Solving for ocaml-base-compiler, ocaml,
                           bap-ida using opam_repository_commit 251c5edf2ecdd2541c324dacb931c3606ee71eeb

2024-01-29 15:07.36 [INFO] base: eliminated all possibilities in 2.76 s

2024-01-29 15:07.36 [INFO] = base =

2024-01-29 15:07.36 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-domains.base base-nnp.base
          base-threads.base base-unix.base cmdliner.1.2.0 conf-ida.0.3
          conf-which.1 cppo.1.6.9 dune.3.13.0 fileutils.0.6.4
          ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-options-vanilla.1
          ocamlbuild.0.14.3 ocamlfind.1.9.6 ppx_derivers.1.2.1
          ppx_deriving.5.2.1 ppxlib.0.31.0 re.1.11.0 result.1.5 seq.base
          sexplib0.v0.16.0 stdlib-shims.0.3.0
          bap-ida&ocaml&ocaml-base-compiler ocaml-base-compiler
          ocaml-base-compiler ocaml base-domains ocaml ocaml-base-compiler
- bap -> (problem)
    bap-ida-plugin 1.0.0 requires = 1.0.0
    Rejected candidates:
      bap.2.5.0: Incompatible with restriction: = 1.0.0
      bap.2.4.0: Incompatible with restriction: = 1.0.0
      bap.2.3.0: Incompatible with restriction: = 1.0.0
      bap.2.2.0: Incompatible with restriction: = 1.0.0
      bap.2.1.0: Requires ocaml >= 4.07.0 & < 4.10.0
      ...
- bap-ida -> bap-ida.1.0.0
    User requested = 1.0.0
- bap-ida-plugin -> bap-ida-plugin.1.0.0
    bap-ida 1.0.0 requires = 1.0.0
- bap-ida-python -> bap-ida-python.1.0.0
    bap-ida 1.0.0 requires = 1.0.0
- bin_prot -> (problem)
    ppx_bin_prot 113.33.00+4.03 requires >= 113.33.00+4.03 & < 113.34.00+4.03
    Rejected candidates:
      bin_prot.v0.16.0: Requires ppx_compare >= v0.16 & < v0.17
      bin_prot.v0.15.0: Requires ppx_compare >= v0.15 & < v0.16
      bin_prot.v0.14.1: Requires ppx_compare >= v0.14 & < v0.15
      bin_prot.v0.14.0: Requires ppx_compare >= v0.14 & < v0.15
      bin_prot.v0.13.0: Requires ppx_compare >= v0.13 & < v0.14
      ...
- core_kernel -> (problem)
    bap-ida 1.0.0 requires >= 113.24.00 & < v0.9
    Rejected candidates:
      core_kernel.v0.16.0: Incompatible with restriction: >= 113.24.00 & < v0.9
      core_kernel.v0.15.0: Incompatible with restriction: >= 113.24.00 & < v0.9
      core_kernel.v0.14.2: Incompatible with restriction: >= 113.24.00 & < v0.9
      core_kernel.v0.14.1: Incompatible with restriction: >= 113.24.00 & < v0.9
      core_kernel.v0.14.0: Incompatible with restriction: >= 113.24.00 & < v0.9
      ...
- fieldslib -> (problem)
    ppx_expect 113.33.01+4.03 requires >= 113.24.00 & < 113.25.00
    Rejected candidates:
      fieldslib.v0.16.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      fieldslib.v0.15.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      fieldslib.v0.14.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      fieldslib.v0.13.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      fieldslib.v0.12.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      ...
- oasis -> oasis.0.4.7
    bap-ida 1.0.0 requires = 0.4.7
- ocaml -> ocaml.5.1.0
    User requested <= 5.1.0
- ocaml-base-compiler -> ocaml-base-compiler.5.1.0
    User requested >= 4.04.1
    ocaml-base-compiler|ocaml-variants|ocaml-system|dkml-base-compiler ocaml-base-compiler requires >= 5.1.0~ & < 5.1.1~
- ocamlify -> (problem)
    Rejected candidates:
      ocamlify.0.0.1: Requires ocaml < 5.0
- ocamlmod -> (problem)
    Rejected candidates:
      ocamlmod.0.0.9: Requires ocaml < 5.0
      ocamlmod.0.0.8: Requires ocaml < 5.0
      ocamlmod.0.0.7: Requires ocaml < 4.06.0
      ocamlmod.0.0.4: Requires ocaml < 4.06.0
      ocamlmod.0.0.3: Requires ocaml < 4.06.0
- ppx_assert -> ppx_assert.113.33.00
    ppx_expect 113.33.01+4.03 requires >= 113.33.00 & < 113.34.00
- ppx_bench -> ppx_bench.113.33.00+4.03
    ppx_jane 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_bin_prot -> ppx_bin_prot.113.33.00+4.03
    ppx_jane 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_compare -> ppx_compare.113.33.00+4.03
    ppx_assert 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_core -> (problem)
    ppx_assert 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
    ppx_bench 113.33.00+4.03 requires >= 113.33.00+4.03 & < 113.34.00+4.03
    Rejected candidates:
      ppx_core.v0.11.0: Incompatible with restriction: >= 113.33.00 & < 113.34.00+4.03
      ppx_core.v0.10.0: Incompatible with restriction: >= 113.33.00 & < 113.34.00+4.03
      ppx_core.v0.9.3: Incompatible with restriction: >= 113.33.00 & < 113.34.00+4.03
      ppx_core.v0.9.2: Incompatible with restriction: >= 113.33.00 & < 113.34.00+4.03
      ppx_core.v0.9.0: Incompatible with restriction: >= 113.33.00 & < 113.34.00+4.03
      ...
- ppx_custom_printf -> ppx_custom_printf.113.33.00+4.03
    ppx_expect 113.33.01+4.03 requires >= 113.33.00+4.03 & < 113.34.00+4.03
- ppx_driver -> ppx_driver.113.33.02+4.03
    ppx_assert 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_enumerate -> ppx_enumerate.113.33.00+4.03
    ppx_jane 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_expect -> ppx_expect.113.33.01+4.03
    ppx_jane 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_fail -> ppx_fail.113.33.00+4.03
    ppx_jane 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_fields_conv -> ppx_fields_conv.113.33.00+4.03
    ppx_expect 113.33.01+4.03 requires >= 113.33.00+4.03 & < 113.34.00+4.03
- ppx_here -> ppx_here.113.33.00
    ppx_assert 113.33.00 requires >= 113.33.00 & < 113.34.00
- ppx_inline_test -> ppx_inline_test.113.33.00+4.03
    ppx_bench 113.33.00+4.03 requires >= 113.33.00+4.03 & < 113.34.00+4.03
- ppx_jane -> ppx_jane.113.33.00
    bap-ida 1.0.0 requires >= 113.24.01 & < v0.9
- ppx_let -> ppx_let.113.33.00+4.03
    ppx_jane 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_optcomp -> ppx_optcomp.113.33.01+4.03
    ppx_driver 113.33.02+4.03 requires >= 113.33.00+4.03 & < 113.34.00+4.03
- ppx_pipebang -> ppx_pipebang.113.33.00+4.03
    ppx_jane 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_sexp_conv -> ppx_sexp_conv.113.33.01+4.03
    ppx_assert 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_sexp_message -> ppx_sexp_message.113.33.00+4.03
    ppx_jane 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_sexp_value -> ppx_sexp_value.113.33.00+4.03
    ppx_jane 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_tools -> (problem)
    ppx_assert 113.33.00 requires >= 0.99.3
    Rejected candidates:
      ppx_tools.6.6: Requires ocaml >= 4.08.0 & < 5.1.0
      ppx_tools.6.5: Requires ocaml >= 4.08.0 & < 4.15.0
      ppx_tools.6.4: Requires ocaml >= 4.08.0 & < 4.14.0
      ppx_tools.6.3: Requires ocaml >= 4.08.0 & < 4.13.0
      ppx_tools.6.2: Requires ocaml >= 4.08.0 & < 4.12.0
      ...
- ppx_type_conv -> ppx_type_conv.113.33.02+4.03
    ppx_assert 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_typerep_conv -> ppx_typerep_conv.113.33.00+4.03
    ppx_jane 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
- ppx_variants_conv -> ppx_variants_conv.113.33.00+4.03
    ppx_expect 113.33.01+4.03 requires >= 113.33.00+4.03 & < 113.34.00+4.03
- sexplib -> (problem)
    ppx_assert 113.33.00 requires >= 113.33.00 & < 113.34.00+4.03
    ppx_expect 113.33.01+4.03 requires >= 113.33.00+4.03 & < 113.34.00+4.03
    Rejected candidates:
      sexplib.v0.16.0: Incompatible with restriction: >= 113.33.00 & < 113.34.00+4.03
      sexplib.v0.15.1: Incompatible with restriction: >= 113.33.00 & < 113.34.00+4.03
      sexplib.v0.15.0: Incompatible with restriction: >= 113.33.00 & < 113.34.00+4.03
      sexplib.v0.14.0: Incompatible with restriction: >= 113.33.00 & < 113.34.00+4.03
      sexplib.v0.13.0: Incompatible with restriction: >= 113.33.00 & < 113.34.00+4.03
      ...
- typerep -> (problem)
    ppx_typerep_conv 113.33.00+4.03 requires >= 113.24.00 & < 113.25.00
    Rejected candidates:
      typerep.v0.16.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      typerep.v0.15.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      typerep.v0.14.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      typerep.v0.13.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      typerep.v0.12.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      ...
- variantslib -> (problem)
    ppx_expect 113.33.01+4.03 requires >= 113.24.00 & < 113.25.00
    Rejected candidates:
      variantslib.v0.16.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      variantslib.v0.15.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      variantslib.v0.14.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      variantslib.v0.13.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      variantslib.v0.12.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
      ...