File z3-doc-4.13.2-1.fc41.x86_64.rpm is obsolete. Try find newer z3-doc for Fedora Other