jp5/cu114: links for proofcheck
root/pypi
proofcheck-1.0.tar.gz