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