The requested URL /rhdist/rawhide_64/Packages/i/idris-1.3.4-2.fc36.x86_64.rpm was not found on this server.