{"package": "pytctl", "summary": "A package for Timed CTL model checking in Python", "pypi_url": "https://pypi.org/project/pytctl", "piwheels_url": "https://www.piwheels.org/project/pytctl", "releases": {"0.1": {"released": "2019-07-26 00:18:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"pyTCTL-0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/pytctl/pyTCTL-0.1-py3-none-any.whl", "filehash": "5c60d3042a7c78bdcafd5123922d43e8c33554d2781e03132536f6b755e48a8c", "filesize": 2393, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": []}}}}}