<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [frama-c.28.0+dev] synchronised (no changes) The following actions will be performed: ∗ install conf-gtk3 18 [required by lablgtk3] ∗ install conf-gtksourceview3 0+2 [required by frama-c] ∗ install lablgtk3 3.1.3 [required by frama-c] ∗ install lablgtk3-sourceview3 3.1.3 [required by frama-c] ∗ install frama-c 28.0+dev* ===== ∗ 5 ===== Do you want to continue? [Y/n] Y <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 5/15: ⬇ retrieved lablgtk3.3.1.3 (cached) ⬇ retrieved lablgtk3-sourceview3.3.1.3 (cached) [ERROR] The compilation of conf-gtk3.18 failed at "pkg-config --short-errors --print-errors --atleast-version 3.18 gtk+-3.0". [ERROR] The compilation of conf-gtksourceview3.0+2 failed at "pkg-config --short-errors --print-errors gtksourceview-3.0". #=== ERROR while compiling conf-gtksourceview3.0+2 ============================# # context 2.1.5 | linux/x86_64 | ocaml.4.14.1 | https://opam.ocaml.org#54e1aabd # path ~/.opam/default/.opam-switch/build/conf-gtksourceview3.0+2 # command ~/.opam/opam-init/hooks/sandbox.sh build pkg-config --short-errors --print-errors gtksourceview-3.0 # exit-code 1 # env-file ~/.opam/log/conf-gtksourceview3-5505-1cde86.env # output-file ~/.opam/log/conf-gtksourceview3-5505-1cde86.out ### output ### # No package 'gtksourceview-3.0' found #=== ERROR while compiling conf-gtk3.18 =======================================# # context 2.1.5 | linux/x86_64 | ocaml.4.14.1 | https://opam.ocaml.org#54e1aabd # path ~/.opam/default/.opam-switch/build/conf-gtk3.18 # command ~/.opam/opam-init/hooks/sandbox.sh build pkg-config --short-errors --print-errors --atleast-version 3.18 gtk+-3.0 # exit-code 1 # env-file ~/.opam/log/conf-gtk3-5505-45e16e.env # output-file ~/.opam/log/conf-gtk3-5505-45e16e.out ### output ### # No package 'gtk+-3.0' found <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> ┌─ The following actions failed │ λ build conf-gtk3 18 │ λ build conf-gtksourceview3 0+2 └─ ╶─ No changes have been performed <><> conf-gtk3.18 troubleshooting <><><><><><><><><><><><><><><><><><><><><><><> => This package requires gtk+ 3.0 development packages installed on your system