File why3-proofgeneral-1.8.0-3.fc42.noarch.rpm is obsolete. Try find newer why3-proofgeneral for Rawhide