Links for idris-python
idris_python-0.2-py3-none-any.whl
idris_python-0.25-py3-none-any.whl