The requested URL /pub/fedora/linux/updates/18/x86_64/coq-doc-8.4pl1-1.fc18.noarch.rpm was not found on this server.