Package bap-ida

Failed to find a solution:

no platform:
2024-09-12 08:24.33 [INFO] Solving for ocaml-base-compiler, ocaml,
                           bap-ida using opam_repository_commit 0329818dcfd3de1a722ea09eeeed94cd24caa375

2024-09-12 08:24.40 [INFO] base: eliminated all possibilities in 3.18 s

2024-09-12 08:24.40 [INFO] = base =

2024-09-12 08:24.40 [INFO] Can't find all required versions.
Selected: angstrom.0.16.0 bap-emacs-dot.0.1 bap-emacs-goodies.0.1
          bap-emacs-mode.0.1 base-bigarray.base base-bytes.base
          base-domains.base base-nnp.base base-threads.base base-unix.base
          bigarray-compat.1.1.0 bigstringaf.0.10.0 camlzip.1.12
          cmdliner.1.3.0 conf-bap-llvm.1.8 conf-binutils.0.3 conf-clang.1
          conf-env-travis.1 conf-gmp.4 conf-ida.0.3 conf-m4.1 conf-perl.2
          conf-pkg-config.3 conf-which.1 conf-zlib.1 cppo.1.7.0 csexp.1.5.2
          dune.3.16.0 dune-configurator.3.16.0 FrontC.4.1.0 fileutils.0.6.4
          host-arch-x86_64.1 lambda-term.3.3.2 linenoise.1.5.1 logs.0.7.0
          lwt.5.7.0 lwt_react.1.2.0 menhir.20240715 menhirCST.20240715
          menhirLib.20240715 menhirSdk.20240715 mew.0.1.0 mew_vi.0.5.0
          mmap.1.2.0 num.1.5-1 oasis.0.4.11 ocaml-compiler-libs.v0.12.4
          ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0
          ocamlbuild.0.15.0 ocamlfind.1.9.6 ocamlgraph.2.1.0
          ocplib-endian.1.2 octavius.1.2.2 ounit.2.2.7 ounit2.2.2.7
          ppx_bap.v0.14.0 ppx_derivers.1.2.1 ppx_fixed_literal.v0.14.0
          ppxlib.0.33.0 re.1.12.0 react.1.2.2 result.1.5 seq.base
          stdlib-shims.0.3.0 stringext.1.6.0 topkg.1.0.7 trie.1.0.0
          uchar.0.0.2 uri.4.4.0 utop.2.14.0 uucp.15.1.0 uuidm.0.9.8
          uuseg.15.1.0 uutf.1.0.3 xdg.3.16.0 xmlm.1.4.0 zarith.1.14 zed.3.2.3
          bap-ida&ocaml&ocaml-base-compiler ocaml-base-compiler
          ocaml-base-compiler system-mingw ocaml base-domains ocaml
          ocaml-base-compiler
- bap -> bap.2.4.0
    bap-ida-plugin 2.4.0 requires = 2.4.0
- bap-abi -> bap-abi.2.4.0
    bap-arm 2.4.0 requires = 2.4.0
- bap-analyze -> bap-analyze.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-api -> bap-api.2.4.0
    bap-arm 2.4.0 requires = 2.4.0
- bap-arm -> bap-arm.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-beagle -> bap-beagle.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-beagle-strings -> bap-beagle-strings.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-bil -> bap-bil.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-build -> bap-build.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-bundle -> bap-bundle.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-byteweight -> bap-byteweight.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-c -> bap-c.2.4.0
    bap-arm 2.4.0 requires = 2.4.0
- bap-cache -> bap-cache.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-callgraph-collator -> bap-callgraph-collator.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-callsites -> bap-callsites.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-constant-tracker -> bap-constant-tracker.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-core -> bap-core.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-core-theory -> bap-core-theory.2.4.0
    bap-analyze 2.4.0 requires = 2.4.0
- bap-cxxfilt -> bap-cxxfilt.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-demangle -> bap-demangle.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-dependencies -> bap-dependencies.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-disassemble -> bap-disassemble.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-dump-symbols -> bap-dump-symbols.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-elementary -> bap-elementary.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-flatten -> bap-flatten.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-frontc -> bap-frontc.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-frontend -> bap-frontend.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-future -> bap-future.2.4.0
    bap-beagle 2.4.0 requires = 2.4.0
- bap-glibc-runtime -> bap-glibc-runtime.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-ida -> bap-ida.2.4.0
    User requested = 2.4.0
- bap-ida-plugin -> bap-ida-plugin.2.4.0
    bap-ida 2.4.0 requires = 2.4.0
- bap-ida-python -> (problem)
    bap-ida 2.4.0 requires = 2.4.0
    Rejected candidates:
      bap-ida-python.2.3.0: Incompatible with restriction: = 2.4.0
      bap-ida-python.2.2.0: Incompatible with restriction: = 2.4.0
      bap-ida-python.2.1.0: Incompatible with restriction: = 2.4.0
      bap-ida-python.2.0.0: Incompatible with restriction: = 2.4.0
      bap-ida-python.1.6.0: Incompatible with restriction: = 2.4.0
      ...
- bap-knowledge -> bap-knowledge.2.4.0
    bap-analyze 2.4.0 requires = 2.4.0
- bap-llvm -> bap-llvm.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-main -> bap-main.2.4.0
    bap-analyze 2.4.0 requires = 2.4.0
- bap-mc -> bap-mc.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-microx -> bap-microx.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-mips -> bap-mips.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-objdump -> bap-objdump.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-optimization -> bap-optimization.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-patterns -> bap-patterns.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-plugins -> bap-plugins.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-powerpc -> bap-powerpc.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-primus -> bap-primus.2.4.0
    bap-arm 2.4.0 requires = 2.4.0
- bap-primus-dictionary -> bap-primus-dictionary.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-primus-exploring-scheduler -> bap-primus-exploring-scheduler.2.4.0
    bap-primus-support 2.4.0 requires = 2.4.0
- bap-primus-greedy-scheduler -> bap-primus-greedy-scheduler.2.4.0
    bap-primus-support 2.4.0 requires = 2.4.0
- bap-primus-limit -> bap-primus-limit.2.4.0
    bap-primus-support 2.4.0 requires = 2.4.0
- bap-primus-lisp -> bap-primus-lisp.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-primus-loader -> bap-primus-loader.2.4.0
    bap-primus-support 2.4.0 requires = 2.4.0
- bap-primus-mark-visited -> bap-primus-mark-visited.2.4.0
    bap-primus-support 2.4.0 requires = 2.4.0
- bap-primus-powerpc -> bap-primus-powerpc.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-primus-print -> bap-primus-print.2.4.0
    bap-primus-support 2.4.0 requires = 2.4.0
- bap-primus-promiscuous -> bap-primus-promiscuous.2.4.0
    bap-primus-support 2.4.0 requires = 2.4.0
- bap-primus-propagate-taint -> bap-primus-propagate-taint.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-primus-random -> bap-primus-random.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-primus-region -> bap-primus-region.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-primus-round-robin-scheduler -> bap-primus-round-robin-scheduler.2.4.0
    bap-primus-support 2.4.0 requires = 2.4.0
- bap-primus-support -> bap-primus-support.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-primus-systems -> bap-primus-systems.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-primus-taint -> bap-primus-taint.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-primus-test -> bap-primus-test.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-primus-track-visited -> bap-primus-track-visited.2.4.0
    bap-primus-mark-visited 2.4.0 requires = 2.4.0
- bap-primus-wandering-scheduler -> bap-primus-wandering-scheduler.2.4.0
    bap-primus-support 2.4.0 requires = 2.4.0
- bap-primus-x86 -> bap-primus-x86.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-print -> bap-print.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-raw -> bap-raw.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-recipe -> bap-recipe.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-recipe-command -> bap-recipe-command.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-relation -> bap-relation.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-relocatable -> bap-relocatable.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-report -> bap-report.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-riscv -> bap-riscv.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-run -> bap-run.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-signatures -> bap-signatures.2.4.0
    bap-byteweight 2.4.0 requires = 2.4.0
- bap-specification -> bap-specification.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-ssa -> bap-ssa.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-std -> bap-std.2.4.0
    bap-abi 2.4.0 requires = 2.4.0
- bap-strings -> bap-strings.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-stub-resolver -> bap-stub-resolver.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-symbol-reader -> bap-symbol-reader.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-systemz -> bap-systemz.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-taint -> bap-taint.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-taint-propagator -> bap-taint-propagator.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-term-mapper -> bap-term-mapper.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-thumb -> bap-thumb.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-toplevel -> bap-toplevel.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bap-trivial-condition-form -> bap-trivial-condition-form.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-warn-unused -> bap-warn-unused.2.4.0
    bap 2.4.0 requires = 2.4.0
- bap-x86 -> bap-x86.2.4.0
    bap-core 2.4.0 requires = 2.4.0
- bare -> bare.2.4.0
    bap-primus-print 2.4.0 requires = 2.4.0
- base -> base.v0.14.3
    base_bigstring v0.14.0 requires >= v0.14 & < v0.15
- base_bigstring -> base_bigstring.v0.14.0
    core_kernel v0.14.2 requires >= v0.14 & < v0.15
- base_quickcheck -> base_quickcheck.v0.14.1
    core_kernel v0.14.2 requires >= v0.14 & < v0.15
- bin_prot -> bin_prot.v0.14.1
    bap-std 2.4.0 requires >= v0.14 & < v0.15
- bitvec -> bitvec.2.4.0
    bap-analyze 2.4.0 requires = 2.4.0
- bitvec-binprot -> bitvec-binprot.2.4.0
    bap-core-theory 2.4.0 requires = 2.4.0
- bitvec-order -> bitvec-order.2.4.0
    bap-arm 2.4.0 requires = 2.4.0
- bitvec-sexp -> bitvec-sexp.2.4.0
    bap-core-theory 2.4.0 requires = 2.4.0
- core_kernel -> core_kernel.v0.14.2
    bap-abi 2.4.0 requires >= v0.14 & < v0.15
- fieldslib -> fieldslib.v0.14.0
    core_kernel v0.14.2 requires >= v0.14 & < v0.15
- graphlib -> graphlib.2.4.0
    bap-callgraph-collator 2.4.0 requires = 2.4.0
- jane-street-headers -> jane-street-headers.v0.14.0
    core_kernel v0.14.2 requires >= v0.14 & < v0.15
- jst-config -> jst-config.v0.14.1
    core_kernel v0.14.2 requires >= v0.14 & < v0.15
- monads -> monads.2.4.0
    bap-analyze 2.4.0 requires = 2.4.0
- ocaml -> ocaml.5.1.1
    User requested <= 5.1.1
- ocaml-base-compiler -> ocaml-base-compiler.5.1.1
    User requested >= 4.04.1
    ocaml-base-compiler|ocaml-variants|ocaml-system|dkml-base-compiler ocaml-base-compiler requires >= 5.1.1~ & < 5.1.2~
- 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
- ogre -> ogre.2.4.0
    bap-arm 2.4.0 requires = 2.4.0
- parsexp -> parsexp.v0.14.2
    bap-primus 2.4.0 requires >= v0.14 & < v0.15
- ppx_assert -> ppx_assert.v0.14.0
    core_kernel v0.14.2 requires >= v0.14 & < v0.15
- ppx_base -> ppx_base.v0.14.0
    base_quickcheck v0.14.1 requires >= v0.14 & < v0.15
- ppx_bench -> (problem)
    ppx_bap v0.14.0 requires >= v0.14 & < v0.15
    Rejected candidates:
      ppx_bench.v0.17.0: Incompatible with restriction: >= v0.14 & < v0.15
      ppx_bench.v0.16.0: Incompatible with restriction: >= v0.14 & < v0.15
      ppx_bench.v0.15.1: Incompatible with restriction: >= v0.14 & < v0.15
      ppx_bench.v0.15.0: Incompatible with restriction: >= v0.14 & < v0.15
      ppx_bench.v0.14.1: Requires ppxlib >= 0.14.0 & < 0.29.0
      ...
- ppx_bin_prot -> ppx_bin_prot.v0.14.0
    ppx_bap v0.14.0 requires >= v0.14 & < v0.15
- ppx_cold -> ppx_cold.v0.14.0
    ppx_assert v0.14.0 requires >= v0.14 & < v0.15
- ppx_compare -> ppx_compare.v0.14.0
    bin_prot v0.14.1 requires >= v0.14 & < v0.15
- ppx_custom_printf -> ppx_custom_printf.v0.14.1
    bin_prot v0.14.1 requires >= v0.14 & < v0.15
- ppx_enumerate -> ppx_enumerate.v0.14.0
    ppx_bap v0.14.0 requires >= v0.14 & < v0.15
- ppx_expect -> ppx_expect.v0.14.2
    ppx_jane v0.14.0 requires >= v0.14 & < v0.15
- ppx_fields_conv -> ppx_fields_conv.v0.14.2
    base_quickcheck v0.14.1 requires >= v0.14 & < v0.15
- ppx_hash -> ppx_hash.v0.14.0
    core_kernel v0.14.2 requires >= v0.14 & < v0.15
- ppx_here -> ppx_here.v0.14.0
    ppx_assert v0.14.0 requires >= v0.14 & < v0.15
- ppx_inline_test -> (problem)
    core_kernel v0.14.2 requires >= v0.14 & < v0.15
    Rejected candidates:
      ppx_inline_test.v0.17.0: Incompatible with restriction: >= v0.14 & < v0.15
      ppx_inline_test.v0.16.1: Incompatible with restriction: >= v0.14 & < v0.15
      ppx_inline_test.v0.16.0: Incompatible with restriction: >= v0.14 & < v0.15
      ppx_inline_test.v0.15.1: Incompatible with restriction: >= v0.14 & < v0.15
      ppx_inline_test.v0.15.0: Incompatible with restriction: >= v0.14 & < v0.15
      ...
- ppx_jane -> ppx_jane.v0.14.0
    base_bigstring v0.14.0 requires >= v0.14 & < v0.15
- ppx_js_style -> ppx_js_style.v0.14.1
    ppx_base v0.14.0 requires >= v0.14 & < v0.15
- ppx_let -> ppx_let.v0.14.0
    base_quickcheck v0.14.1 requires >= v0.14 & < v0.15
- ppx_module_timer -> ppx_module_timer.v0.14.0
    ppx_jane v0.14.0 requires >= v0.14 & < v0.15
- ppx_optcomp -> ppx_optcomp.v0.14.3
    bin_prot v0.14.1 requires >= v0.14 & < v0.15
- ppx_optional -> ppx_optional.v0.14.0
    ppx_jane v0.14.0 requires >= v0.14 & < v0.15
- ppx_pipebang -> ppx_pipebang.v0.14.0
    ppx_jane v0.14.0 requires >= v0.14 & < v0.15
- ppx_sexp_conv -> (problem)
    bin_prot v0.14.1 requires >= v0.14 & < v0.15
    Rejected candidates:
      ppx_sexp_conv.v0.17.0: Incompatible with restriction: >= v0.14 & < v0.15
      ppx_sexp_conv.v0.16.0: Incompatible with restriction: >= v0.14 & < v0.15
      ppx_sexp_conv.v0.15.1: Incompatible with restriction: >= v0.14 & < v0.15
      ppx_sexp_conv.v0.15.0: Incompatible with restriction: >= v0.14 & < v0.15
      ppx_sexp_conv.v0.14.3: Requires ppxlib >= 0.22.0 & < 0.26.0
      ...
- ppx_sexp_message -> ppx_sexp_message.v0.14.1
    base_quickcheck v0.14.1 requires >= v0.14 & < v0.15
- ppx_sexp_value -> ppx_sexp_value.v0.14.0
    base_quickcheck v0.14.1 requires >= v0.14 & < v0.15
- ppx_stable -> ppx_stable.v0.14.1
    ppx_jane v0.14.0 requires >= v0.14 & < v0.15
- ppx_string -> ppx_string.v0.14.1
    ppx_jane v0.14.0 requires >= v0.14 & < v0.15
- ppx_typerep_conv -> ppx_typerep_conv.v0.14.2
    ppx_jane v0.14.0 requires >= v0.14 & < v0.15
- ppx_variants_conv -> ppx_variants_conv.v0.14.2
    bin_prot v0.14.1 requires >= v0.14 & < v0.15
- regular -> regular.2.4.0
    bap-api 2.4.0 requires = 2.4.0
- sexplib -> sexplib.v0.14.0
    core_kernel v0.14.2 requires >= v0.14 & < v0.15
- sexplib0 -> (problem)
    base v0.14.3 requires >= v0.14 & < v0.15
    Rejected candidates:
      sexplib0.v0.17.0: Incompatible with restriction: >= v0.14 & < v0.15
      sexplib0.v0.16.0: Incompatible with restriction: >= v0.14 & < v0.15
      sexplib0.v0.15.1: Incompatible with restriction: >= v0.14 & < v0.15
      sexplib0.v0.15.0: Incompatible with restriction: >= v0.14 & < v0.15
      sexplib0.v0.14.0: Requires ocaml >= 4.04.2 & < 5.0
      ...
- splittable_random -> splittable_random.v0.14.0
    base_quickcheck v0.14.1 requires >= v0.14 & < v0.15
- stdio -> stdio.v0.14.0
    core_kernel v0.14.2 requires >= v0.14 & < v0.15
- system-mingw -> (problem)
    No usable implementations:
      system-mingw.1: Availability condition not satisfied
- text-tags -> text-tags.2.4.0
    bap-print 2.4.0 requires = 2.4.0
- time_now -> time_now.v0.14.0
    core_kernel v0.14.2 requires >= v0.14 & < v0.15
- typerep -> typerep.v0.14.0
    core_kernel v0.14.2 requires >= v0.14 & < v0.15
- variantslib -> variantslib.v0.14.0
    core_kernel v0.14.2 requires >= v0.14 & < v0.15