File z3-devel-4.13.4-1.fc42.x86_64.rpm is obsolete. Try find newer z3-devel for Rawhide