File ocaml-why3-debuginfo-1.7.2-10.fc41.x86_64.rpm is obsolete. Try find newer ocaml-why3-debuginfo for Fedora Other