File gappalib-coq-source-1.5.5-6.fc41.x86_64.rpm is obsolete. Try find newer gappalib-coq-source for Fedora Other