The requested URL /rhdist/rawhide_64/Packages/a/Agda-2.6.2-33.fc36.x86_64.rpm was not found on this server.