{"package": "sphinxcontrib-lean", "summary": "A Sphinx domain for the Lean theorem prover", "pypi_url": "https://pypi.org/project/sphinxcontrib-lean", "piwheels_url": "https://www.piwheels.org/project/sphinxcontrib-lean", "releases": {"0.3.1": {"released": "2020-10-27 01:46:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"sphinxcontrib_lean-0.3.1-py2.py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/sphinxcontrib-lean/sphinxcontrib_lean-0.3.1-py2.py3-none-any.whl", "filehash": "896a8c20e00f3ab8b73cd08d78de5ef2c54a621b16b62b2e3f3ef3d744902333", "filesize": 10452, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": []}}}, "0.3.0": {"released": "2020-10-27 01:40:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"sphinxcontrib_lean-0.3.0-py2.py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/sphinxcontrib-lean/sphinxcontrib_lean-0.3.0-py2.py3-none-any.whl", "filehash": "49b58d0dc84489bc0621edd4302bab795f34e16cbb783e41771cdff8df063e74", "filesize": 10453, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": []}}}, "0.2.0": {"released": "2020-09-28 00:16:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"sphinxcontrib_lean-0.2.0-py2.py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/sphinxcontrib-lean/sphinxcontrib_lean-0.2.0-py2.py3-none-any.whl", "filehash": "c5bf89f8823b77ac8a21623de96969e2b030ff350c5d4d9b81932e75a701b244", "filesize": 11568, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": []}}}}}