Links for proofcheck

proofcheck-1.0.tar.gz