File frama-c-doc-30.0-1.fc42.noarch.rpm is obsolete. Try find newer frama-c-doc for Rawhide