Profiles › oxcaml-odoc-master › package: bap-ida › 2.3.0

bap-ida.2.3.0

Solver failure

✗ Solve failed — no dependency solution was found for this package version on Debian trixie, so it was never built. The solver's explanation:

Can't find all required versions.
Selected: angstrom.0.16.1 astring.0.8.5 bap-emacs-dot.0.1
          bap-emacs-goodies.0.1 bap-emacs-mode.0.1 bap-ida-python.2.3.0
          base.v0.18~preview.130.106+341 base-bigarray.base base-bytes.base
          base-domains.base base-nnp.base base-threads.base base-unix.base
          base_bigstring.v0.18~preview.130.106+341
          base_internalhash_types.v0.18~preview.130.106+341
          base_quickcheck.v0.18~preview.130.106+341
          basement.v0.18~preview.130.106+341 bigstringaf.0.10.0
          bin_prot.v0.18~preview.130.106+341 camlp-streams.5.0.1 camlzip.1.14
          capitalization.v0.18~preview.130.106+341
          capsule.v0.18~preview.130.106+341
          capsule0.v0.18~preview.130.106+341 conf-autoconf.1
          conf-bap-llvm.1.8 conf-binutils.0.3 conf-c++.1.0 conf-clang.2
          conf-env-travis.1 conf-gmp.5 conf-ida.0.3 conf-pkg-config.5
          conf-python-3.9.0.0 conf-which.1 conf-zlib.1
          core.v0.18~preview.130.106+341
          core_kernel.v0.18~preview.130.106+341
          core_unix.v0.18~preview.130.106+341 cppo.1.8.0 csexp.1.5.2
          dune.3.24.2 dune-configurator.3.24.2
          expect_test_helpers_base.v0.18~preview.130.106+341
          expect_test_helpers_core.v0.18~preview.130.106+341 FrontC.4.1.0
          fieldslib.v0.18~preview.130.106+341 fileutils.0.6.6
          int_repr.v0.18~preview.130.106+341
          jane-street-headers.v0.18~preview.130.106+341
          jst-config.v0.18~preview.130.106+341 lambda-term.3.4.1
          linenoise.1.5.1 logs.0.10.0 lwt.6.1.2 lwt_react.1.2.0
          menhir.20260209 menhirCST.20260209 menhirGLR.20260209
          menhirLib.20260209 menhirSdk.20260209 mew.0.1.0 mew_vi.0.5.0
          mmap.v0.18~preview.130.106+341
          nonempty_list_type.v0.18~preview.130.106+341 num.1.6
          ocaml-compiler-libs.v0.17.0+ox ocaml-config.3
          ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0
          ocaml_intrinsics.v0.18~preview.130.106+341
          ocaml_intrinsics_kernel.v0.18~preview.130.106+341
          ocamlbuild.0.16.1+ox ocamlfind.1.9.8+ox ocamlgraph.2.2.0
          ocplib-endian.1.2 odoc-parser.3.2.1+master.1791558161.c213704
          ounit.2.2.7 ounit2.2.2.7 oxcaml.latest oxcaml-patch-guards.ox
          parsexp.v0.18~preview.130.106+341
          portable.v0.18~preview.130.106+341
          ppx_array_base.v0.18~preview.130.106+341
          ppx_assert.v0.18~preview.130.106+341
          ppx_base.v0.18~preview.130.106+341
          ppx_bench.v0.18~preview.130.106+341
          ppx_bin_prot.v0.18~preview.130.106+341
          ppx_builtin.v0.18~preview.130.106+341
          ppx_compare.v0.18~preview.130.106+341
          ppx_custom_printf.v0.18~preview.130.106+341
          ppx_debug_assert.v0.18~preview.130.106+341 ppx_derivers.1.2.1
          ppx_diff.v0.18~preview.130.106+341
          ppx_disable_unused_warnings.v0.18~preview.130.106+341
          ppx_enumerate.v0.18~preview.130.106+341
          ppx_expect.v0.18~preview.130.106+341
          ppx_fields_conv.v0.18~preview.130.106+341
          ppx_fixed_literal.v0.18~preview.130.106+341
          ppx_fuelproof.v0.18~preview.130.106+341
          ppx_globalize.v0.18~preview.130.106+341
          ppx_hash.v0.18~preview.130.106+341
          ppx_helpers.v0.18~preview.130.106+341
          ppx_here.v0.18~preview.130.106+341
          ppx_ignore_instrumentation.v0.18~preview.130.106+341
          ppx_inline_test.v0.18~preview.130.106+341
          ppx_int63_literal.v0.18~preview.130.106+341
          ppx_jane.v0.18~preview.130.106+341
          ppx_js_style.v0.18~preview.130.106+341
          ppx_let.v0.18~preview.130.106+341 ppx_log.v0.18~preview.130.106+341
          ppx_module_timer.v0.18~preview.130.106+341
          ppx_optcomp.v0.18~preview.130.106+341
          ppx_optional.v0.18~preview.130.106+341
          ppx_pipebang.v0.18~preview.130.106+341
          ppx_portable.v0.18~preview.130.106+341
          ppx_sexp_conv.v0.18~preview.130.106+341
          ppx_sexp_message.v0.18~preview.130.106+341
          ppx_sexp_value.v0.18~preview.130.106+341
          ppx_shorthand.v0.18~preview.130.106+341
          ppx_stable.v0.18~preview.130.106+341
          ppx_stable_witness.v0.18~preview.130.106+341
          ppx_string.v0.18~preview.130.106+341
          ppx_string_conv.v0.18~preview.130.106+341
          ppx_template.v0.18~preview.130.106+341 ppx_tools_versioned.5.4.0
          ppx_tydi.v0.18~preview.130.106+341
          ppx_typed_fields.v0.18~preview.130.106+341
          ppx_typerep_conv.v0.18~preview.130.106+341
          ppx_var_name.v0.18~preview.130.106+341
          ppx_variants_conv.v0.18~preview.130.106+341 ppxlib_ast.0.33.0+ox2
          ppxlib_jane.v0.18~preview.130.106+341 re.1.14.0+ox react.1.2.2
          result.1.5 seq.base sexp_pretty.v0.18~preview.130.106+341
          sexp_type.v0.18~preview.130.106+341
          sexplib.v0.18~preview.130.106+341
          sexplib0.v0.18~preview.130.106+341 spawn.v0.17.0
          splittable_random.v0.18~preview.130.106+341
          stdio.v0.18~preview.130.106+341 stdlib-shims.0.3.0
          string_dict.v0.18~preview.130.106+341 stringext.1.6.0
          time_now.v0.18~preview.130.106+341 topkg.1.1.1+ox trie.1.0.0
          typerep.v0.18~preview.130.106+341 uchar.0.0.2
          unique.v0.18~preview.130.106+341 univ_map.v0.18~preview.130.106+341
          uopt.v0.18~preview.130.106+341 uri.4.4.0 utop.2.17.0 uucp.18.0.0
          uuidm.0.9.10 uuseg.18.0.0 uutf.1.0.4+ox
          variantslib.v0.18~preview.130.106+341 xdg.3.24.2 z3.5.1.0
          zarith.1.14 zed.3.2.3 ocaml-variants&bap-ida ocaml
          ocaml-base-compiler ocaml-base-compiler base-domains
          ocaml-base-compiler oxcaml-angstrom-patches ocaml
- bap -> bap.2.3.0
    bap-ida-plugin 2.3.0 requires = 2.3.0
- bap-abi -> bap-abi.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-analyze -> bap-analyze.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-api -> bap-api.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-arm -> bap-arm.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-beagle -> bap-beagle.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-beagle-strings -> bap-beagle-strings.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-bil -> bap-bil.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-build -> bap-build.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-bundle -> bap-bundle.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-byteweight -> bap-byteweight.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-c -> bap-c.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-cache -> bap-cache.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-callgraph-collator -> bap-callgraph-collator.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-callsites -> bap-callsites.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-constant-tracker -> bap-constant-tracker.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-core-theory -> bap-core-theory.2.3.0
    bap-analyze 2.3.0 requires = 2.3.0
- bap-cxxfilt -> bap-cxxfilt.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-demangle -> bap-demangle.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-dependencies -> bap-dependencies.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-disassemble -> bap-disassemble.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-dump-symbols -> bap-dump-symbols.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-dwarf -> bap-dwarf.2.3.0
    bap-elf 2.3.0 requires = 2.3.0
- bap-elementary -> bap-elementary.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-elf -> bap-elf.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-frontc -> bap-frontc.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-frontend -> bap-frontend.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-future -> bap-future.2.3.0
    bap-beagle 2.3.0 requires = 2.3.0
- bap-glibc-runtime -> bap-glibc-runtime.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-ida -> bap-ida.2.3.0
    User requested = 2.3.0
- bap-ida-plugin -> bap-ida-plugin.2.3.0
    bap-ida 2.3.0 requires = 2.3.0
- bap-knowledge -> bap-knowledge.2.3.0
    bap-analyze 2.3.0 requires = 2.3.0
- bap-llvm -> bap-llvm.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-main -> bap-main.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-mc -> bap-mc.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-microx -> bap-microx.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-mips -> bap-mips.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-objdump -> bap-objdump.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-optimization -> bap-optimization.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-plugins -> bap-plugins.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-powerpc -> bap-powerpc.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-primus -> bap-primus.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-primus-dictionary -> bap-primus-dictionary.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-primus-exploring-scheduler -> bap-primus-exploring-scheduler.2.3.0
    bap-primus-support 2.3.0 requires = 2.3.0
- bap-primus-greedy-scheduler -> bap-primus-greedy-scheduler.2.3.0
    bap-primus-support 2.3.0 requires = 2.3.0
- bap-primus-limit -> bap-primus-limit.2.3.0
    bap-primus-support 2.3.0 requires = 2.3.0
- bap-primus-lisp -> bap-primus-lisp.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-primus-loader -> bap-primus-loader.2.3.0
    bap-primus-support 2.3.0 requires = 2.3.0
- bap-primus-mark-visited -> bap-primus-mark-visited.2.3.0
    bap-primus-support 2.3.0 requires = 2.3.0
- bap-primus-powerpc -> bap-primus-powerpc.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-primus-print -> bap-primus-print.2.3.0
    bap-primus-support 2.3.0 requires = 2.3.0
- bap-primus-promiscuous -> bap-primus-promiscuous.2.3.0
    bap-primus-support 2.3.0 requires = 2.3.0
- bap-primus-propagate-taint -> bap-primus-propagate-taint.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-primus-random -> bap-primus-random.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-primus-region -> bap-primus-region.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-primus-round-robin-scheduler -> bap-primus-round-robin-scheduler.2.3.0
    bap-primus-support 2.3.0 requires = 2.3.0
- bap-primus-support -> bap-primus-support.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-primus-symbolic-executor -> bap-primus-symbolic-executor.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-primus-systems -> bap-primus-systems.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-primus-taint -> bap-primus-taint.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-primus-test -> bap-primus-test.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-primus-track-visited -> bap-primus-track-visited.2.3.0
    bap-primus-mark-visited 2.3.0 requires = 2.3.0
- bap-primus-wandering-scheduler -> bap-primus-wandering-scheduler.2.3.0
    bap-primus-support 2.3.0 requires = 2.3.0
- bap-primus-x86 -> bap-primus-x86.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-print -> bap-print.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-raw -> bap-raw.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-recipe -> bap-recipe.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-recipe-command -> bap-recipe-command.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-relation -> bap-relation.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-relocatable -> bap-relocatable.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-report -> bap-report.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-riscv -> bap-riscv.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-run -> bap-run.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-signatures -> bap-signatures.2.3.0
    bap-byteweight 2.3.0 requires = 2.3.0
- bap-specification -> bap-specification.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-ssa -> bap-ssa.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-std -> bap-std.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-strings -> bap-strings.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-stub-resolver -> bap-stub-resolver.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-symbol-reader -> bap-symbol-reader.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-systemz -> bap-systemz.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-taint -> bap-taint.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-taint-propagator -> bap-taint-propagator.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-term-mapper -> bap-term-mapper.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-thumb -> bap-thumb.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-trace -> bap-trace.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-traces -> bap-traces.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-trivial-condition-form -> bap-trivial-condition-form.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-warn-unused -> bap-warn-unused.2.3.0
    bap 2.3.0 requires = 2.3.0
- bap-x86 -> bap-x86.2.3.0
    bap 2.3.0 requires = 2.3.0
- bare -> bare.2.3.0
    bap-primus-print 2.3.0 requires = 2.3.0
- bitstring -> bitstring.3.1.1
    bap-elf 2.3.0 requires >= 3.0.0 & < 4.0.0
- bitvec -> bitvec.2.3.0
    bap-analyze 2.3.0 requires = 2.3.0
- bitvec-binprot -> bitvec-binprot.2.3.0
    bap-core-theory 2.3.0 requires = 2.3.0
- bitvec-order -> bitvec-order.2.3.0
    bap-arm 2.3.0 requires = 2.3.0
- bitvec-sexp -> bitvec-sexp.2.3.0
    bap-core-theory 2.3.0 requires = 2.3.0
- cmdliner -> cmdliner.1.3.0
    bap-main 2.3.0 requires < 2.0.0
- graphlib -> graphlib.2.3.0
    bap-callgraph-collator 2.3.0 requires = 2.3.0
- monads -> monads.2.3.0
    bap-analyze 2.3.0 requires = 2.3.0
- oasis -> (problem)
    Rejected candidates:
      oasis.0.4.11: Requires ocaml >= 3.12.1 & < 5.0
      oasis.0.4.10: Requires ocaml >= 3.12.1 & < 5.0
      oasis.0.4.8: Requires ocaml >= 3.12.1 & < 5.0
      oasis.0.4.7: Requires ocaml >= 3.12.1 & < 5.0
- ocaml -> ocaml.5.2.0
    User requested = 5.2.0
- ocaml-base-compiler -> (problem)
    Rejected candidates:
      ocaml-base-compiler.5.5.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~rc1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~beta1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~alpha3: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~alpha1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~rc1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~beta2: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~beta1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~alpha1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.3.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.2.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.2.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.1.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.1.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.0.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.4: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.3: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.2: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.2~rc1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.13.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.13.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.12.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.12.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.11.2: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.11.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.11.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
- ocaml-migrate-parsetree -> (problem)
    bitstring 3.1.1 requires >= 1.0.5 & < 2.0.0
    Rejected candidates:
      ocaml-migrate-parsetree.2.4.0: Incompatible with restriction: >= 1.0.5 & < 2.0.0
      ocaml-migrate-parsetree.2.3.0: Incompatible with restriction: >= 1.0.5 & < 2.0.0
      ocaml-migrate-parsetree.2.2.0: Incompatible with restriction: >= 1.0.5 & < 2.0.0
      ocaml-migrate-parsetree.2.1.0: Incompatible with restriction: >= 1.0.5 & < 2.0.0
      ocaml-migrate-parsetree.2.0.0: Incompatible with restriction: >= 1.0.5 & < 2.0.0
      ocaml-migrate-parsetree.1.8.0: Requires ocaml >= 4.02.3 & < 4.13
      ocaml-migrate-parsetree.1.7.3: Requires ocaml >= 4.02.3 & < 4.12
- ocaml-variants -> ocaml-variants.5.2.0+ox
    User requested = 5.2.0+ox
- ogre -> ogre.2.3.0
    bap-arm 2.3.0 requires = 2.3.0
- oxcaml-angstrom-patches -> (problem)
    Rejected candidates:
      oxcaml-angstrom-patches.enabled: Requires angstrom = 0.16.1+ox
- oxcaml-compiler -> oxcaml-compiler.5.2.0minus39
    base v0.18~preview.130.106+341 requires not(< 5.2.0minus39 | >= 5.4.0-ox1)
- ppx_bap -> (problem)
    bap-abi 2.3.0 requires >= v0.14
    Rejected candidates:
      ppx_bap.v0.14.0: Requires base_quickcheck >= v0.14 & < v0.15
      ppx_bap.0.14: Incompatible with restriction: >= v0.14
- ppxlib -> ppxlib.0.35.0
    base v0.18~preview.130.106+341 requires >= 0.33.0 & < 0.36.0
- regular -> regular.2.3.0
    bap-api 2.3.0 requires = 2.3.0
- text-tags -> (problem)
    bap-print 2.3.0 requires = 2.3.0
    Rejected candidates:
      text-tags.2.5.0: Incompatible with restriction: = 2.3.0
      text-tags.2.4.0: Incompatible with restriction: = 2.3.0
      text-tags.2.3.0: Requires core_kernel >= v0.14 & < v0.16
      text-tags.2.2.0: Incompatible with restriction: = 2.3.0

If you believe bap-ida.2.3.0 should be installable on Debian trixie, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue

Not built in the latest run: a build dependency may have failed, or this version isn't the blessed one. See the history below.

History

No history entries.