File z3-devel-4.13.4-1.fc41.i686.rpm is obsolete. Try find newer z3-devel for Fedora Other