File coq-debuginfo-8.18.0-10.fc41.x86_64.rpm is obsolete. Try find newer coq-debuginfo for Rawhide