Not Found
The requested URL /pub/OpenBSD/6.0/packages/alpha/coq-8.4pl6p1.tgz was not found on this server.
Apache/2.2.15 (CentOS) Server at ftp.nluug.nl Port 80