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