amd64/cu128: links for lean4-jupyter

root/pypi lean4_jupyter-0.0.2.tar.gz
root/pypi lean4_jupyter-0.0.2-py2.py3-none-any.whl
root/pypi lean4_jupyter-0.0.2rc1.tar.gz
root/pypi lean4_jupyter-0.0.2rc1-py2.py3-none-any.whl
root/pypi lean4_jupyter-0.0.1.tar.gz
root/pypi lean4_jupyter-0.0.1-py2.py3-none-any.whl
root/pypi lean4_jupyter-0.0.1rc8.tar.gz
root/pypi lean4_jupyter-0.0.1rc8-py2.py3-none-any.whl
root/pypi lean4_jupyter-0.0.1rc7.tar.gz
root/pypi lean4_jupyter-0.0.1rc7-py2.py3-none-any.whl
root/pypi lean4_jupyter-0.0.1rc6.tar.gz
root/pypi lean4_jupyter-0.0.1rc6-py2.py3-none-any.whl