binsec

Semantic analysis of binary executables

Error log

The package failed to build. The error log from opam follows.

You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
[ERROR] No solution for binsec.0.3 & base-bytes.base & base64.3.5.0 & bigarray-compat.1.1.0 & conf-cmake.1 & conf-gmp.4 & conf-llvm.14.0.6 & conf-pkg-config.2 & conf-python-3.1.0.0 & conf-zmq.0.1 & ctypes.0.20.1 & dune.2.6.2 & dune-configurator.2.6.2 & dune-private-libs.2.6.2 & easy-format.1.3.2 & gen.1.0 & integers.0.7.0 & llvm.14.0.6 & menhir.20211012 & menhirLib.20211012 & menhirSdk.20211012 & ocaml-compiler-libs.v0.12.3 & ocaml-migrate-parsetree.2.4.0 & ocamlbuild.0.14.1 & ocamlfind.1.9.5 & ocamlgraph.1.8.8 & piqi.0.7.8 & piqilib.0.6.16 & ppx_derivers.1.2.1 & ppxlib.0.20.0 & sedlex.2.3 & seq.base & sexplib0.v0.15.0 & stdint.0.7.0 & stdlib-shims.0.3.0 & topkg.1.0.5 & uchar.0.0.2 & xmlm.1.4.0 & zarith.1.12 & zmq.5.1.5:   * Missing dependency:
            - conf-llvm >= 14.0.6
            depends on the unavailable system package 'llvm-14-dev'. Use `--no-depexts' to attempt installation anyway, or it is possible that a depext package name in the opam file is incorrect.


Command failed: opam --cli=2.1 list --readonly --external '--resolve=binsec.0.3,base-bytes.base,base64.3.5.0,bigarray-compat.1.1.0,conf-cmake.1,conf-gmp.4,conf-llvm.14.0.6,conf-pkg-config.2,conf-python-3.1.0.0,conf-zmq.0.1,ctypes.0.20.1,dune.2.6.2,dune-configurator.2.6.2,dune-private-libs.2.6.2,easy-format.1.3.2,gen.1.0,integers.0.7.0,llvm.14.0.6,menhir.20211012,menhirLib.20211012,menhirSdk.20211012,ocaml-compiler-libs.v0.12.3,ocaml-migrate-parsetree.2.4.0,ocamlbuild.0.14.1,ocamlfind.1.9.5,ocamlgraph.1.8.8,piqi.0.7.8,piqilib.0.6.16,ppx_derivers.1.2.1,ppxlib.0.20.0,sedlex.2.3,seq.base,sexplib0.v0.15.0,stdint.0.7.0,stdlib-shims.0.3.0,topkg.1.0.5,uchar.0.0.2,xmlm.1.4.0,zarith.1.12,zmq.5.1.5' returned 20