jp6/cu130: links for proofcheck
root/pypi
proofcheck-1.0.tar.gz