File texlive-prooftrees-doc-svn52221-74.fc42.noarch.rpm is obsolete. Try find newer texlive-prooftrees-doc for Rawhide