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