jp4/cu102: links for edsger

root/pypi edsger-0.0.13.tar.gz
root/pypi edsger-0.0.12.tar.gz
root/pypi edsger-0.0.12-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl