gitlab/Konfis: links for proofcheck
root/pypi
proofcheck-1.0.tar.gz