Not Found
The requested URL /pub/OpenBSD/5.0/packages/sparc/minisat-2.2.0.tgz was not found on this server.
Apache/2.2.15 (CentOS) Server at ftp.nluug.nl Port 80