File idris-docs-1.3.4-17.fc41.noarch.rpm is obsolete. Try find newer idris-docs for Rawhide