{"id":31326725,"number":"0.25","published_at":"2019-04-25T00:34:12.000Z","licenses":null,"integrity":"sha256-dd5b1d9a4fa571b4143dbba66db1635a6d1582e80376394fc781e52d467dedcc","status":null,"download_url":"https://files.pythonhosted.org/packages/ec/3d/53b6930fec3aec67d5d3a0a6fa83b616f66c3b6774354fb55495c95eea25/idris_python-0.25-py3-none-any.whl","registry_url":"https://pypi.org/project/idris-python/0.25","documentation_url":"https://idris-python.readthedocs.io/en/0.25","install_command":"pip install idris-python==0.25 --index-url https://pypi.org/simple","immutable":null,"metadata":{"download_url":"https://files.pythonhosted.org/packages/ec/3d/53b6930fec3aec67d5d3a0a6fa83b616f66c3b6774354fb55495c95eea25/idris_python-0.25-py3-none-any.whl"},"created_at":"2022-04-10T11:17:23.495Z","updated_at":"2026-07-25T19:16:18.066Z","purl":"pkg:pypi/idris-python@0.25","related_tag":null,"latest":true,"version_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/idris-python/versions/0.25","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/idris-python/versions/0.25/codemeta","dependencies":[],"package_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/idris-python"}