Package bap-fsi-benchmark
Failed to find a solution:
no platform:
2024-09-12 08:33.29 [INFO] Solving for ocaml-base-compiler, ocaml,
bap-fsi-benchmark using opam_repository_commit 0329818dcfd3de1a722ea09eeeed94cd24caa375
2024-09-12 08:33.36 [INFO] base: eliminated all possibilities in 3.62 s
2024-09-12 08:33.36 [INFO] = base =
2024-09-12 08:33.36 [INFO] Can't find all required versions.
Selected: angstrom.0.16.0 base-bigarray.base base-bytes.base
base-domains.base base-nnp.base base-threads.base base-unix.base
bigstringaf.0.10.0 camlzip.1.12 conf-clang.1 conf-gmp.4
conf-ida.0.3 conf-libcurl.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 fileutils.0.6.4 graphlib.2.5.0
host-arch-x86_64.1 lambda-term.3.3.2 logs.0.7.0 lwt.5.7.0
lwt_react.1.2.0 mew.0.1.0 mew_vi.0.5.0 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 ocurl.0.9.2 ppx_bap.v0.14.0
ppx_derivers.1.2.1 ppxlib.0.33.0 re.1.12.0 react.1.2.2
regular.2.5.0 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 zarith.1.14 zed.3.2.3
bap-fsi-benchmark&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.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: Requires bap-byteweight = 2.3.0
bap.2.2.0: Requires bap-byteweight = 2.2.0
bap.2.1.0: Requires ocaml >= 4.07.0 & < 4.10.0
...
- bap-byteweight -> bap-byteweight.1.0.0
bap-byteweight-frontend 1.0.0 requires = 1.0.0
- bap-byteweight-frontend -> bap-byteweight-frontend.1.0.0
bap-fsi-benchmark 1.0.0 requires = 1.0.0
- bap-fsi-benchmark -> bap-fsi-benchmark.1.0.0
User requested = 1.0.0
- bap-future -> bap-future.1.0.0
bap-std 1.0.0 requires = 1.0.0
- bap-ida -> bap-ida.1.0.0
bap-fsi-benchmark 1.0.0 requires = 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
- bap-signatures -> bap-signatures.1.0.0
bap-byteweight 1.0.0 requires = 1.0.0
- bap-std -> bap-std.1.0.0
bap-byteweight 1.0.0 requires = 1.0.0
- base -> base.v0.14.3
base_quickcheck v0.14.1 requires >= v0.14 & < v0.15
- base_quickcheck -> base_quickcheck.v0.14.1
ppx_bap v0.14.0 requires >= v0.14 & < v0.15
- bin_prot -> bin_prot.v0.14.1
ppx_bin_prot v0.14.0 requires >= v0.14 & < v0.15
- cmdliner -> (problem)
bap-std 1.0.0 requires <= 0.9.8
Rejected candidates:
cmdliner.1.3.0: Incompatible with restriction: <= 0.9.8
cmdliner.1.2.0: Incompatible with restriction: <= 0.9.8
cmdliner.1.1.1: Incompatible with restriction: <= 0.9.8
cmdliner.1.1.0: Incompatible with restriction: <= 0.9.8
cmdliner.1.0.4: Incompatible with restriction: <= 0.9.8
...
- core_kernel -> (problem)
bap-future 1.0.0 requires >= 113.24.00 & < v0.9.0
bap-std 1.0.0 requires >= 113.33.00 & < v0.9
Rejected candidates:
core_kernel.v0.17.0: Incompatible with restriction: >= 113.24.00 & < v0.9.0
core_kernel.v0.16.0: Incompatible with restriction: >= 113.24.00 & < v0.9.0
core_kernel.v0.15.0: Incompatible with restriction: >= 113.24.00 & < v0.9.0
core_kernel.v0.14.2: Incompatible with restriction: >= 113.24.00 & < v0.9.0
core_kernel.v0.14.1: Incompatible with restriction: >= 113.24.00 & < v0.9.0
...
- fieldslib -> fieldslib.v0.14.0
ppx_fields_conv v0.14.2 requires >= v0.14 & < v0.15
- oasis -> oasis.0.4.7
bap-ida 1.0.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.v0.14.0
ppx_bap v0.14.0 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_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
ppx_bap v0.14.0 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)
splittable_random v0.14.0 requires >= v0.14 & < v0.15
Rejected candidates:
ppx_inline_test.v0.17.0: Requires base >= v0.17 & < v0.18
ppx_inline_test.v0.16.1: Requires base >= v0.16 & < v0.17
ppx_inline_test.v0.16.0: Requires base >= v0.16 & < v0.17
ppx_inline_test.v0.15.1: Requires base >= v0.15 & < v0.16
ppx_inline_test.v0.15.0: Requires base >= v0.15 & < v0.16
...
- ppx_jane -> (problem)
bap-ida 1.0.0 requires >= 113.24.01 & < v0.9
bap-std 1.0.0 requires >= 113.33.00 & < v0.9
Rejected candidates:
ppx_jane.v0.17.0: Incompatible with restriction: >= 113.24.01 & < v0.9
ppx_jane.v0.16.0: Incompatible with restriction: >= 113.24.01 & < v0.9
ppx_jane.v0.15.0: Incompatible with restriction: >= 113.24.01 & < v0.9
ppx_jane.v0.14.0: Incompatible with restriction: >= 113.24.01 & < v0.9
ppx_jane.v0.13.0: Incompatible with restriction: >= 113.24.01 & < v0.9
...
- 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_optcomp -> ppx_optcomp.v0.14.3
bin_prot v0.14.1 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_variants_conv -> ppx_variants_conv.v0.14.2
bin_prot v0.14.1 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
ppx_optcomp v0.14.3 requires >= v0.14 & < v0.15
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
- variantslib -> variantslib.v0.14.0
ppx_variants_conv v0.14.2 requires >= v0.14 & < v0.15