Package bap-ida
Failed to find a solution:
no platform:
2024-09-12 08:24.34 [INFO] Solving for ocaml-base-compiler, ocaml,
bap-ida using opam_repository_commit 0329818dcfd3de1a722ea09eeeed94cd24caa375
2024-09-12 08:24.42 [INFO] base: eliminated all possibilities in 3.31 s
2024-09-12 08:24.42 [INFO] = base =
2024-09-12 08:24.42 [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.3.0 conf-ida.0.3
conf-which.1 cppo.1.7.0 dune.3.16.0 fileutils.0.6.4
host-arch-x86_64.1 ocaml-compiler-libs.v0.12.4 ocaml-config.3
ocaml-options-vanilla.1 ocamlbuild.0.15.0 ocamlfind.1.9.6
ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 re.1.12.0
seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0
bap-ida&ocaml&ocaml-base-compiler ocaml-base-compiler
ocaml-base-compiler system-mingw ocaml base-domains ocaml
ocaml-base-compiler
- bap -> (problem)
bap-ida-plugin 1.1.0 requires = 1.1.0
Rejected candidates:
bap.2.5.0: Incompatible with restriction: = 1.1.0
bap.2.4.0: Incompatible with restriction: = 1.1.0
bap.2.3.0: Incompatible with restriction: = 1.1.0
bap.2.2.0: Incompatible with restriction: = 1.1.0
bap.2.1.0: Requires ocaml >= 4.07.0 & < 4.10.0
...
- bap-ida -> bap-ida.1.1.0
User requested = 1.1.0
- bap-ida-plugin -> bap-ida-plugin.1.1.0
bap-ida 1.1.0 requires = 1.1.0
- bap-ida-python -> bap-ida-python.1.1.0
bap-ida 1.1.0 requires = 1.1.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.17.0: Requires ppx_compare >= v0.17 & < v0.18
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
...
- core_kernel -> (problem)
bap-ida 1.1.0 requires >= 113.24.00 & < v0.9
Rejected candidates:
core_kernel.v0.17.0: Incompatible with restriction: >= 113.24.00 & < v0.9
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
...
- fieldslib -> (problem)
ppx_expect 113.33.01+4.03 requires >= 113.24.00 & < 113.25.00
Rejected candidates:
fieldslib.v0.17.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
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
...
- oasis -> oasis.0.4.7
bap-ida 1.1.0 requires = 0.4.7
- 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
- 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.1.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.17.0: Incompatible with restriction: >= 113.33.00 & < 113.34.00+4.03
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
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
- typerep -> (problem)
ppx_typerep_conv 113.33.00+4.03 requires >= 113.24.00 & < 113.25.00
Rejected candidates:
typerep.v0.17.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
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
...
- variantslib -> (problem)
ppx_expect 113.33.01+4.03 requires >= 113.24.00 & < 113.25.00
Rejected candidates:
variantslib.v0.17.0: Incompatible with restriction: >= 113.24.00 & < 113.25.00
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
...