File why3-examples-1.7.2-10.fc41.noarch.rpm is obsolete. Try find newer why3-examples for Fedora Other