The requested URL /pool/multiverse/c/coq-doc/coq-doc_8.16.0-2.debian.tar.xz was not found on this server.
Additionally, a 404 Not Found error was encountered while trying to use an ErrorDocument to handle the request.