jp6/cu130: links for proofcheck

root/pypi proofcheck-1.0.tar.gz