File coq-coqide-server-8.20.0-1.fc42.x86_64.rpm is obsolete. Try find newer coq-coqide-server for Rawhide