File ocaml-psmt2-frontend-docs-0.4.0-20.fc41.x86_64.rpm is obsolete. Try find newer ocaml-psmt2-frontend-docs for Rawhide