File z3-libs-4.13.3-1.fc42.i686.rpm is obsolete. Try find newer z3-libs for Rawhide