File texlive-logicproof-doc-svn33254.0-74.fc42.noarch.rpm is obsolete. Try find newer texlive-logicproof-doc for Rawhide