frama-clang 0.0.17~beta

Error log

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

Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y
The following actions will be performed:
  - recompile opam-depext 1.2.3

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.3  (cached)
-> removed   opam-depext.1.2.3
-> installed opam-depext.1.2.3
Done.

<><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# Run eval $(opam env) to update the current shell environment

<><> Carrying on to "opam depext -viy frama-clang.0.0.17~beta zarith.1.14 yojson.2.2.2 yaml.3.2.0 why3.1.7.2 uutf.1.0.3 unionFind.20220122 topkg.1.0.7 stdune.3.16.1 stdlib-shims.0.3.0 spelll.0.4 sexplib0.v0.17.0 seq.base rresult.0.7.0 re.1.12.0 psmt2-frontend.0.4.0 ppxlib.0.33.1~5.3preview ppx_deriving_yojson.3.9.0 ppx_deriving_yaml.0.4.0 ppx_deriving.6.0.3 ppx_derivers.1.2.1 ppx_blob.0.9.0 pp_loc.2.1.0 pp.1.2.0 ordering.3.16.1 ocplib-simplex.0.5.1 ocamlgraph.2.1.0 ocamlfind.1.9.6 ocamlbuild.0.15.0 ocaml-compiler-libs.v0.12.4 num.1.5-1 not-ocamlfind.0.13 menhirSdk.20240715 menhirLib.20240715 menhirCST.20240715 menhir.20240715 logs.0.7.0 lablgtk3-sourceview3.3.1.5 lablgtk3.3.1.5 integers.0.7.0 host-arch-x86_64.1 hmap.0.8.1 gen.1.1 frama-c.30.0~beta fpath.0.7.3 fmt.0.9.0 dyn.3.16.1 dune-site.3.16.1 dune-private-libs.3.16.1 dune-configurator.3.16.1 dune-build-info.3.16.1 dune.3.16.1 dolmen_type.0.10 dolmen_loop.0.10 dolmen.0.10 ctypes.0.23.0 csexp.1.5.2 cppo.1.7.0 conf-zlib.1 conf-which.1 conf-pkg-config.3 conf-perl.2 conf-m4.1 conf-llvm.17 conf-libclang.15 conf-gtksourceview3.0+2 conf-gtk3.18 conf-gmp.4 conf-cmake.1 conf-clang.1 conf-cairo.1 conf-bash.1 cmdliner.1.3.0 camlzip.1.13 camlp5-buildscripts.0.03 camlp5.8.03.01 camlp-streams.5.0.1 cairo2.0.6.5 bos.0.2.1 bigarray-compat.1.1.0 astring.0.8.5 alt-ergo-parsers.2.6.0 alt-ergo-lib.2.6.0 alt-ergo.2.6.0" 

Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies.
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
[ERROR] No solution for frama-clang.0.0.17~beta & zarith.1.14 & yojson.2.2.2 & yaml.3.2.0 & why3.1.7.2 & uutf.1.0.3 & unionFind.20220122 & topkg.1.0.7 & stdune.3.16.1 & stdlib-shims.0.3.0 & spelll.0.4 & sexplib0.v0.17.0 & seq.base & rresult.0.7.0 & re.1.12.0 & psmt2-frontend.0.4.0 & ppxlib.0.33.1~5.3preview & ppx_deriving_yojson.3.9.0 & ppx_deriving_yaml.0.4.0 & ppx_deriving.6.0.3 & ppx_derivers.1.2.1 & ppx_blob.0.9.0 & pp_loc.2.1.0 & pp.1.2.0 & ordering.3.16.1 & ocplib-simplex.0.5.1 & ocamlgraph.2.1.0 & ocamlfind.1.9.6 & ocamlbuild.0.15.0 & ocaml-compiler-libs.v0.12.4 & num.1.5-1 & not-ocamlfind.0.13 & menhirSdk.20240715 & menhirLib.20240715 & menhirCST.20240715 & menhir.20240715 & logs.0.7.0 & lablgtk3-sourceview3.3.1.5 & lablgtk3.3.1.5 & integers.0.7.0 & host-arch-x86_64.1 & hmap.0.8.1 & gen.1.1 & frama-c.30.0~beta & fpath.0.7.3 & fmt.0.9.0 & dyn.3.16.1 & dune-site.3.16.1 & dune-private-libs.3.16.1 & dune-configurator.3.16.1 & dune-build-info.3.16.1 & dune.3.16.1 & dolmen_type.0.10 & dolmen_loop.0.10 & dolmen.0.10 & ctypes.0.23.0 & csexp.1.5.2 & cppo.1.7.0 & conf-zlib.1 & conf-which.1 & conf-pkg-config.3 & conf-perl.2 & conf-m4.1 & conf-llvm.17 & conf-libclang.15 & conf-gtksourceview3.0+2 & conf-gtk3.18 & conf-gmp.4 & conf-cmake.1 & conf-clang.1 & conf-cairo.1 & conf-bash.1 & cmdliner.1.3.0 & camlzip.1.13 & camlp5-buildscripts.0.03 & camlp5.8.03.01 & camlp-streams.5.0.1 & cairo2.0.6.5 & bos.0.2.1 & bigarray-compat.1.1.0 & astring.0.8.5 & alt-ergo-parsers.2.6.0 & alt-ergo-lib.2.6.0 & alt-ergo.2.6.0:   * Missing dependency:
            - conf-llvm >= 17
            depends on the unavailable system package 'llvm-17-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=frama-clang.0.0.17~beta,zarith.1.14,yojson.2.2.2,yaml.3.2.0,why3.1.7.2,uutf.1.0.3,unionFind.20220122,topkg.1.0.7,stdune.3.16.1,stdlib-shims.0.3.0,spelll.0.4,sexplib0.v0.17.0,seq.base,rresult.0.7.0,re.1.12.0,psmt2-frontend.0.4.0,ppxlib.0.33.1~5.3preview,ppx_deriving_yojson.3.9.0,ppx_deriving_yaml.0.4.0,ppx_deriving.6.0.3,ppx_derivers.1.2.1,ppx_blob.0.9.0,pp_loc.2.1.0,pp.1.2.0,ordering.3.16.1,ocplib-simplex.0.5.1,ocamlgraph.2.1.0,ocamlfind.1.9.6,ocamlbuild.0.15.0,ocaml-compiler-libs.v0.12.4,num.1.5-1,not-ocamlfind.0.13,menhirSdk.20240715,menhirLib.20240715,menhirCST.20240715,menhir.20240715,logs.0.7.0,lablgtk3-sourceview3.3.1.5,lablgtk3.3.1.5,integers.0.7.0,host-arch-x86_64.1,hmap.0.8.1,gen.1.1,frama-c.30.0~beta,fpath.0.7.3,fmt.0.9.0,dyn.3.16.1,dune-site.3.16.1,dune-private-libs.3.16.1,dune-configurator.3.16.1,dune-build-info.3.16.1,dune.3.16.1,dolmen_type.0.10,dolmen_loop.0.10,dolmen.0.10,ctypes.0.23.0,csexp.1.5.2,cppo.1.7.0,conf-zlib.1,conf-which.1,conf-pkg-config.3,conf-perl.2,conf-m4.1,conf-llvm.17,conf-libclang.15,conf-gtksourceview3.0+2,conf-gtk3.18,conf-gmp.4,conf-cmake.1,conf-clang.1,conf-cairo.1,conf-bash.1,cmdliner.1.3.0,camlzip.1.13,camlp5-buildscripts.0.03,camlp5.8.03.01,camlp-streams.5.0.1,cairo2.0.6.5,bos.0.2.1,bigarray-compat.1.1.0,astring.0.8.5,alt-ergo-parsers.2.6.0,alt-ergo-lib.2.6.0,alt-ergo.2.6.0' --color=never returned 20