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.
Contextual information
- 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.
Fix ideas
I'm not sure which would be simpler between upgrading to a newer version of gtksourceview or making that dependency available again.