The requested URL /pool/universe/n/nauty/nauty_2.7r4+ds-1.dsc was not found on this server.
Additionally, a 404 Not Found error was encountered while trying to use an ErrorDocument to handle the request.