File gappalib-coq-1.6.0-3.fc42.x86_64.rpm is obsolete. Try find newer gappalib-coq for Rawhide