jp6/cu126: links for proofproposition
root/pypi
proofproposition-0.0.1.tar.gz