Package bap-fsi-benchmark
Failed to find a solution:
no platform:
2024-09-12 08:33.28 [INFO] Solving for ocaml-base-compiler, ocaml,
bap-fsi-benchmark using opam_repository_commit 0329818dcfd3de1a722ea09eeeed94cd24caa375
2024-09-12 08:33.35 [INFO] base: eliminated all possibilities in 3.05 s
2024-09-12 08:33.35 [INFO] = base =
2024-09-12 08:33.35 [INFO] Can't find all required versions.
Selected: angstrom.0.16.0 bap.2.5.0 bap-abi.2.5.0 bap-analyze.2.5.0
bap-api.2.5.0 bap-arm.2.5.0 bap-beagle.2.5.0
bap-beagle-strings.2.5.0 bap-bil.2.5.0 bap-build.2.5.0
bap-bundle.2.5.0 bap-byteweight-frontend.2.5.0 bap-c.2.5.0
bap-cache.2.5.0 bap-callgraph-collator.2.5.0 bap-callsites.2.5.0
bap-constant-tracker.2.5.0 bap-core.2.5.0 bap-core-theory.2.5.0
bap-cxxfilt.2.5.0 bap-demangle.2.5.0 bap-dependencies.2.5.0
bap-disassemble.2.5.0 bap-dump-symbols.2.5.0 bap-elementary.2.5.0
bap-emacs-dot.0.1 bap-emacs-goodies.0.1 bap-emacs-mode.0.1
bap-flatten.2.5.0 bap-frontc.2.5.0 bap-frontend.2.5.0
bap-future.2.5.0 bap-glibc-runtime.2.5.0 bap-ida.2.5.0
bap-ida-plugin.2.5.0 bap-knowledge.2.5.0 bap-llvm.2.5.0
bap-main.2.5.0 bap-mc.2.5.0 bap-microx.2.5.0 bap-mips.2.5.0
bap-objdump.2.5.0 bap-optimization.2.5.0 bap-patterns.2.5.0
bap-plugins.2.5.0 bap-powerpc.2.5.0 bap-primus.2.5.0
bap-primus-dictionary.2.5.0 bap-primus-exploring-scheduler.2.5.0
bap-primus-greedy-scheduler.2.5.0 bap-primus-limit.2.5.0
bap-primus-lisp.2.5.0 bap-primus-loader.2.5.0
bap-primus-mark-visited.2.5.0 bap-primus-powerpc.2.5.0
bap-primus-print.2.5.0 bap-primus-promiscuous.2.5.0
bap-primus-propagate-taint.2.5.0 bap-primus-random.2.5.0
bap-primus-region.2.5.0 bap-primus-round-robin-scheduler.2.5.0
bap-primus-support.2.5.0 bap-primus-systems.2.5.0
bap-primus-taint.2.5.0 bap-primus-test.2.5.0
bap-primus-track-visited.2.5.0 bap-primus-wandering-scheduler.2.5.0
bap-primus-x86.2.5.0 bap-print.2.5.0 bap-raw.2.5.0 bap-recipe.2.5.0
bap-recipe-command.2.5.0 bap-relation.2.5.0 bap-relocatable.2.5.0
bap-report.2.5.0 bap-riscv.2.5.0 bap-run.2.5.0
bap-specification.2.5.0 bap-ssa.2.5.0 bap-std.2.5.0
bap-strings.2.5.0 bap-stub-resolver.2.5.0 bap-symbol-reader.2.5.0
bap-systemz.2.5.0 bap-taint.2.5.0 bap-taint-propagator.2.5.0
bap-term-mapper.2.5.0 bap-thumb.2.5.0 bap-toplevel.2.5.0
bap-traces.2.5.0 bap-trivial-condition-form.2.5.0
bap-warn-unused.2.5.0 bap-x86.2.5.0 bare.2.5.0 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
bitvec.2.5.0 bitvec-binprot.2.5.0 bitvec-order.2.5.0
bitvec-sexp.2.5.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-libcurl.2 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
graphlib.2.5.0 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 monads.2.5.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 ocurl.0.9.2 ogre.2.5.0
ounit.2.2.7 ounit2.2.2.7 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 text-tags.2.5.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-fsi-benchmark&ocaml&ocaml-base-compiler ocaml-base-compiler
ocaml-base-compiler system-mingw ocaml base-domains ocaml
ocaml-base-compiler
- bap-byteweight -> (problem)
Rejected candidates:
bap-byteweight.2.5.0: Requires camlzip < 1.12
bap-byteweight.2.4.0: Requires core_kernel >= v0.14 & < v0.15
bap-byteweight.2.3.0: Requires bap-std = 2.3.0
bap-byteweight.2.2.0: Requires bap-std = 2.2.0
bap-byteweight.2.1.0: Requires ocaml >= 4.07.0 & < 4.10.0
...
- bap-fsi-benchmark -> bap-fsi-benchmark.2.5.0
User requested = 2.5.0
- bap-ida-python -> (problem)
bap-ida 2.5.0 requires = 2.5.0
Rejected candidates:
bap-ida-python.2.3.0: Incompatible with restriction: = 2.5.0
bap-ida-python.2.2.0: Incompatible with restriction: = 2.5.0
bap-ida-python.2.1.0: Incompatible with restriction: = 2.5.0
bap-ida-python.2.0.0: Incompatible with restriction: = 2.5.0
bap-ida-python.1.6.0: Incompatible with restriction: = 2.5.0
...
- base -> base.v0.15.1
base_quickcheck v0.15.0 requires >= v0.15 & < v0.16
- base_quickcheck -> base_quickcheck.v0.15.0
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- bin_prot -> bin_prot.v0.15.0
bap-std 2.5.0 requires >= v0.14 & < v0.16
- core -> (problem)
Rejected candidates:
core.v0.17.1: Requires base >= v0.17 & < v0.18
core.v0.17.0: Requires base >= v0.17 & < v0.18
core.v0.16.2: Requires base >= v0.16 & < v0.17
core.v0.16.1: Requires base >= v0.16 & < v0.17
core.v0.16.0: Requires ocaml >= 4.14.0 & < 5.1~
...
- core_kernel -> core_kernel.v0.15.0
bap-abi 2.5.0 requires >= v0.14 & < v0.16
- fieldslib -> fieldslib.v0.15.0
ppx_fields_conv v0.15.0 requires >= v0.15 & < v0.16
- int_repr -> int_repr.v0.15.0
core_kernel v0.15.0 requires >= v0.15 & < v0.16
- jane-street-headers -> jane-street-headers.v0.15.0
time_now v0.15.0 requires >= v0.15 & < v0.16
- jst-config -> jst-config.v0.15.1
time_now v0.15.0 requires >= v0.15 & < v0.16
- 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
- parsexp -> parsexp.v0.15.0
bap-primus 2.5.0 requires >= v0.14 & < v0.16
- ppx_assert -> ppx_assert.v0.15.0
jst-config v0.15.1 requires >= v0.15 & < v0.16
- ppx_bap -> (problem)
Rejected candidates:
ppx_bap.v0.14.0: Requires base_quickcheck >= v0.14 & < v0.15
ppx_bap.0.14: Requires ocaml >= 4.08.0 & < 4.12.0
- ppx_base -> ppx_base.v0.15.0
base_quickcheck v0.15.0 requires >= v0.15 & < v0.16
- ppx_bench -> ppx_bench.v0.15.1
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- ppx_bin_prot -> ppx_bin_prot.v0.15.0
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- ppx_cold -> ppx_cold.v0.15.0
ppx_assert v0.15.0 requires >= v0.15 & < v0.16
- ppx_compare -> ppx_compare.v0.15.0
bin_prot v0.15.0 requires >= v0.15 & < v0.16
- ppx_custom_printf -> ppx_custom_printf.v0.15.0
bin_prot v0.15.0 requires >= v0.15 & < v0.16
- ppx_disable_unused_warnings -> ppx_disable_unused_warnings.v0.15.0
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- ppx_enumerate -> ppx_enumerate.v0.15.0
ppx_base v0.15.0 requires >= v0.15 & < v0.16
- ppx_expect -> ppx_expect.v0.15.1
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- ppx_fields_conv -> ppx_fields_conv.v0.15.0
base_quickcheck v0.15.0 requires >= v0.15 & < v0.16
- ppx_fixed_literal -> ppx_fixed_literal.v0.15.0
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- ppx_hash -> ppx_hash.v0.15.0
ppx_base v0.15.0 requires >= v0.15 & < v0.16
- ppx_here -> ppx_here.v0.15.0
ppx_assert v0.15.0 requires >= v0.15 & < v0.16
- ppx_ignore_instrumentation -> ppx_ignore_instrumentation.v0.15.0
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- ppx_inline_test -> ppx_inline_test.v0.15.1
ppx_bench v0.15.1 requires >= v0.15 & < v0.16
- ppx_jane -> ppx_jane.v0.15.0
core_kernel v0.15.0 requires >= v0.15 & < v0.16
- ppx_let -> ppx_let.v0.15.0
base_quickcheck v0.15.0 requires >= v0.15 & < v0.16
- ppx_log -> ppx_log.v0.15.0
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- ppx_module_timer -> ppx_module_timer.v0.15.0
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- ppx_optcomp -> ppx_optcomp.v0.15.0
bin_prot v0.15.0 requires >= v0.15 & < v0.16
- ppx_optional -> ppx_optional.v0.15.0
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- ppx_pipebang -> ppx_pipebang.v0.15.0
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- ppx_sexp_conv -> ppx_sexp_conv.v0.15.1
bin_prot v0.15.0 requires >= v0.15 & < v0.16
- ppx_sexp_message -> ppx_sexp_message.v0.15.0
base_quickcheck v0.15.0 requires >= v0.15 & < v0.16
- ppx_sexp_value -> ppx_sexp_value.v0.15.0
base_quickcheck v0.15.0 requires >= v0.15 & < v0.16
- ppx_stable -> ppx_stable.v0.15.0
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- ppx_string -> ppx_string.v0.15.0
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- ppx_typerep_conv -> ppx_typerep_conv.v0.15.0
ppx_jane v0.15.0 requires >= v0.15 & < v0.16
- ppx_variants_conv -> ppx_variants_conv.v0.15.0
bin_prot v0.15.0 requires >= v0.15 & < v0.16
- sexplib -> sexplib.v0.15.1
ppx_log v0.15.0 requires >= v0.15 & < v0.16
- sexplib0 -> sexplib0.v0.15.1
base v0.15.1 requires >= v0.15 & < v0.16
- splittable_random -> splittable_random.v0.15.0
base_quickcheck v0.15.0 requires >= v0.15 & < v0.16
- stdio -> stdio.v0.15.0
ppx_expect v0.15.1 requires >= v0.15 & < v0.16
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
- time_now -> time_now.v0.15.0
ppx_inline_test v0.15.1 requires >= v0.15 & < v0.16
- typerep -> typerep.v0.15.0
ppx_typerep_conv v0.15.0 requires >= v0.15 & < v0.16
- variantslib -> variantslib.v0.15.0
ppx_variants_conv v0.15.0 requires >= v0.15 & < v0.16