File frama-c-debugsource-30.0-2.fc41.x86_64.rpm is obsolete. Try find newer frama-c-debugsource for Fedora Other