The requested URL /rhdist/rawhide_64/Packages/y/yices-tools-2.6.4-2.fc36.x86_64.rpm was not found on this server.