{"package": "tlacli", "summary": "A wrapper script for running TLA+ from the command line", "pypi_url": "https://pypi.org/project/tlacli", "piwheels_url": "https://www.piwheels.org/project/tlacli", "releases": {"0.0.1": {"released": "2020-02-04 18:13:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"tlacli-0.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/tlacli/tlacli-0.0.1-py3-none-any.whl", "filehash": "ad5b86d802e3dd5fce2a24ffcd05ebee71b5e93e79106ceb900c26eabb11b240", "filesize": 2153621, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7", "apt_dependencies": [], "pip_dependencies": []}}}}}