Arch Linux package uninstallable due to dependency that no longer exists
the issue has not yet been reported on Gitlab;
the issue has not yet been reported on our old BTS (note: the old BTS is deprecated);
you installed Frama-C as prescribed in the instructions.
- Frama-C installation mode: Arch Linux User Repository package
- Frama-C version: 21.1-1
- Plug-in used: N/A
- OS name: Arch Linux
- OS version: N/A
The Arch Linux User Repository package
frama-c depends on gtksourceview2 which seems to no longer exist in the repositories, preventing the installation.
I'm not sure which would be simpler between upgrading to a newer version of gtksourceview or making that dependency available again.