why3 0.87.2

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 why3.0.87.2 zarith.1.13 why3-base.0.87.2 stdlib-shims.0.3.0 ocamlgraph.2.0.0 ocamlfind.1.9.6 num.0 menhirSdk.20230608 menhirLib.20230608 menhir.20230608 lablgtk.2.18.11 host-arch-x86_64.1 dune.3.16.0 conf-zlib.1 conf-pkg-config.3 conf-gtksourceview.2 conf-gtk2.1 conf-gmp.4 camlzip.1.10 base-num.base" 

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 why3.0.87.2 & zarith.1.13 & why3-base.0.87.2 & stdlib-shims.0.3.0 & ocamlgraph.2.0.0 & ocamlfind.1.9.6 & num.0 & menhirSdk.20230608 & menhirLib.20230608 & menhir.20230608 & lablgtk.2.18.11 & host-arch-x86_64.1 & dune.3.16.0 & conf-zlib.1 & conf-pkg-config.3 & conf-gtksourceview.2 & conf-gtk2.1 & conf-gmp.4 & camlzip.1.10 & base-num.base:   * 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=why3.0.87.2,zarith.1.13,why3-base.0.87.2,stdlib-shims.0.3.0,ocamlgraph.2.0.0,ocamlfind.1.9.6,num.0,menhirSdk.20230608,menhirLib.20230608,menhir.20230608,lablgtk.2.18.11,host-arch-x86_64.1,dune.3.16.0,conf-zlib.1,conf-pkg-config.3,conf-gtksourceview.2,conf-gtk2.1,conf-gmp.4,camlzip.1.10,base-num.base' --color=never returned 20