File frama-c-30.0-4.fc42.x86_64.rpm is obsolete. Try find newer frama-c for Rawhide