amd64/cu128: links for idris-python
root/pypi
idris_python-0.25-py3-none-any.whl
root/pypi
idris_python-0.2-py3-none-any.whl