File coq-core-8.18.0-11.fc41.x86_64.rpm is obsolete. Try find newer coq-core for Fedora Other