Not Found

The requested URL /~weimer/2015-4610/cool/linux-x86_64/cool was not found on this server.

Additionally, a 404 Not Found error was encountered while trying to use an ErrorDocument to handle the request.