Building on basil
Running Day10 job:
Sub-command: health-check
Commit SHA: 5bf570252bd9fee71938b828ca0b86573c1e3355
Package: bap-ida-python.2.3.0
OCaml version: ocaml.5.2.1
With test: false
Worktree already exists: /var/lib/day10/worktree-5bf570252bd9fee71938b828ca0b86573c1e3355
Executing: day10 health-check --cache-dir /var/lib/day10/cache --opam-repository /var/lib/day10/worktree-5bf570252bd9fee71938b828ca0b86573c1e3355 --ocaml-version ocaml.5.2.1 --log bap-ida-python.2.3.0
Can't find all required versions.
Selected: angstrom.0.16.1 bap-emacs-dot.0.1 bap-emacs-goodies.0.1
bap-emacs-mode.0.1 base.v0.17.3 base-bytes.base base-threads.base
base-unix.base base_bigstring.v0.17.0 base_quickcheck.v0.17.1
bigarray-compat.1.1.0 bigstringaf.0.10.0 bin_prot.v0.17.0-1
camlzip.1.13 capitalization.v0.17.0 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.4 conf-python-3.9.0.0
conf-which.1 conf-zlib.1 core.v0.17.1 core_kernel.v0.17.0
cppo.1.8.0 csexp.1.5.2 dune.3.20.2 dune-configurator.3.20.2
FrontC.4.1.0 fieldslib.v0.17.0 fileutils.0.6.6 gel.v0.17.0
int_repr.v0.17.0 jane-street-headers.v0.17.0 jst-config.v0.17.0
lambda-term.3.3.2 linenoise.1.5.1 logs.0.9.0 lwt_react.1.2.0
menhir.20250912 menhirCST.20250912 menhirLib.20250912
menhirSdk.20250912 mew.0.1.0 mew_vi.0.5.0 mmap.1.2.0 num.1.6
ocaml-base-compiler.5.4.0 ocaml-compiler-libs.v0.17.0
ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0
ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.16.1 ocamlfind.1.9.8
ocamlgraph.2.2.0 ocplib-endian.1.2 ounit.2.2.7 ounit2.2.2.7
parsexp.v0.17.0 ppx_assert.v0.17.0 ppx_base.v0.17.0
ppx_bench.v0.17.1 ppx_bin_prot.v0.17.1 ppx_cold.v0.17.0
ppx_compare.v0.17.0 ppx_custom_printf.v0.17.0 ppx_derivers.1.2.1
ppx_diff.v0.17.1 ppx_disable_unused_warnings.v0.17.0
ppx_enumerate.v0.17.0 ppx_expect.v0.17.3 ppx_fields_conv.v0.17.0
ppx_fixed_literal.v0.17.0 ppx_globalize.v0.17.2 ppx_hash.v0.17.0
ppx_here.v0.17.0 ppx_ignore_instrumentation.v0.17.0
ppx_inline_test.v0.17.1 ppx_jane.v0.17.0 ppx_let.v0.17.1
ppx_log.v0.17.0 ppx_module_timer.v0.17.0 ppx_optcomp.v0.17.1
ppx_optional.v0.17.0 ppx_pipebang.v0.17.0 ppx_sexp_conv.v0.17.1
ppx_sexp_message.v0.17.0 ppx_sexp_value.v0.17.0 ppx_stable.v0.17.1
ppx_stable_witness.v0.17.0 ppx_string.v0.17.0
ppx_string_conv.v0.17.0 ppx_tools_versioned.5.4.0 ppx_tydi.v0.17.1
ppx_typerep_conv.v0.17.1 ppx_variants_conv.v0.17.1 ppxlib.0.37.0
re.1.14.0 react.1.2.2 result.1.5 seq.base sexplib.v0.17.0
sexplib0.v0.17.0 splittable_random.v0.17.0 stdio.v0.17.0
stdlib-shims.0.3.0 stringext.1.6.0 time_now.v0.17.0 topkg.1.1.0
trie.1.0.0 typerep.v0.17.1 uchar.0.0.2 uopt.v0.17.0 uri.4.4.0
utop.2.16.0 uucp.17.0.0 uuidm.0.9.10 uuseg.17.0.0 uutf.1.0.4
variantslib.v0.17.0 xdg.3.20.2 z3.4.15.2 zarith.1.14 zed.3.2.3
ocaml&bap-ida-python ocaml-variants ocaml-base-compiler
ocaml-base-compiler
- bap -> bap.2.3.0
bap-ida-python 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-python -> bap-ida-python.2.3.0
User requested = 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
- lwt -> lwt.5.9.2
lambda-term 3.3.2 requires >= 4.2.0 & < 6~
- 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.1
User requested = 5.2.1
- ocaml-compiler -> (problem)
ocaml-base-compiler 5.4.0 requires = 5.4.0
Rejected candidates:
ocaml-compiler.5.5: Incompatible with restriction: = 5.4.0
ocaml-compiler.5.4.0: Requires ocaml = 5.4.0
ocaml-compiler.5.4.0~rc1: Incompatible with restriction: = 5.4.0
ocaml-compiler.5.4.0~beta2: Incompatible with restriction: = 5.4.0
ocaml-compiler.5.4.0~beta1: Incompatible with restriction: = 5.4.0
...
- 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-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- ogre -> ogre.2.3.0
bap-arm 2.3.0 requires = 2.3.0
- 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_jane -> (problem)
Rejected candidates:
ppxlib_jane.v0.17.4: Requires ocaml >= 5.3.0
ppxlib_jane.v0.17.3: Requires ocaml >= 5.3.0 & < 5.4.0
ppxlib_jane.v0.17.2: Requires ocaml >= 5.3.0 & < 5.4.0
ppxlib_jane.v0.17.1: Requires ocaml >= 5.3.0 & < 5.4.0
ppxlib_jane.v0.17.0: Requires ppxlib >= 0.28.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
text-tags.2.1.0: Incompatible with restriction: = 2.3.0
[WARNING] no_solution
day10 command failed with exit code 1
Failed: Build failed
Home|Differences with the last checks|Previous runs