File gappalib-coq-debugsource-1.5.5-5.fc41.x86_64.rpm is obsolete. Try find newer gappalib-coq-debugsource for Rawhide