The requested URL /rhdist/rawhide_64/Packages/w/why3-all-1.4.0-9.fc36.x86_64.rpm was not found on this server.