alt-ergo 2.2.0

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.1-1

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

<><> opam-depext.1.2.1-1 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 pilat.1.1 zarith.1.7-1 stdio.v0.14.0 sexplib0.v0.14.0 psmt2-frontend.0.1 ocplib-simplex.0.4.1 ocamlgraph.1.8.8 ocamlfind.1.9.6 num.1.5 menhirSdk.20211128 menhirLib.20211128 menhir.20211128 lacaml.11.0.5 lablgtk.2.18.13 frama-c.16.0 dune-configurator.3.13.0 dune.3.13.0 csexp.1.5.2 conf-which.1 conf-pkg-config.3 conf-perl.2 conf-lapack.1 conf-gtksourceview.2 conf-gtk2.1 conf-gnomecanvas.2 conf-gmp.4 conf-blas.1 conf-autoconf.0.1 camlzip.1.07 camlp-streams.5.0.1 base-bytes.base base.v0.14.0 alt-ergo.2.2.0" 

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 pilat.1.1 & zarith.1.7-1 & stdio.v0.14.0 & sexplib0.v0.14.0 & psmt2-frontend.0.1 & ocplib-simplex.0.4.1 & ocamlgraph.1.8.8 & ocamlfind.1.9.6 & num.1.5 & menhirSdk.20211128 & menhirLib.20211128 & menhir.20211128 & lacaml.11.0.5 & lablgtk.2.18.13 & frama-c.16.0 & dune-configurator.3.13.0 & dune.3.13.0 & csexp.1.5.2 & conf-which.1 & conf-pkg-config.3 & conf-perl.2 & conf-lapack.1 & conf-gtksourceview.2 & conf-gtk2.1 & conf-gnomecanvas.2 & conf-gmp.4 & conf-blas.1 & conf-autoconf.0.1 & camlzip.1.07 & camlp-streams.5.0.1 & base-bytes.base & base.v0.14.0 & alt-ergo.2.2.0:   * Missing dependency:
            - conf-gtksourceview
            depends on the unavailable system package 'libgtksourceview2.0-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=pilat.1.1,zarith.1.7-1,stdio.v0.14.0,sexplib0.v0.14.0,psmt2-frontend.0.1,ocplib-simplex.0.4.1,ocamlgraph.1.8.8,ocamlfind.1.9.6,num.1.5,menhirSdk.20211128,menhirLib.20211128,menhir.20211128,lacaml.11.0.5,lablgtk.2.18.13,frama-c.16.0,dune-configurator.3.13.0,dune.3.13.0,csexp.1.5.2,conf-which.1,conf-pkg-config.3,conf-perl.2,conf-lapack.1,conf-gtksourceview.2,conf-gtk2.1,conf-gnomecanvas.2,conf-gmp.4,conf-blas.1,conf-autoconf.0.1,camlzip.1.07,camlp-streams.5.0.1,base-bytes.base,base.v0.14.0,alt-ergo.2.2.0' returned 20