{"package": "certora-cli-alpha-shelly-hf09062022", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-shelly-hf09062022", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-shelly-hf09062022", "releases": {"20220609.18.49": {"released": "2022-06-09 18:49:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_shelly_hf09062022-20220609.18.49-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-shelly-hf09062022/certora_cli_alpha_shelly_hf09062022-20220609.18.49-py3-none-any.whl", "filehash": "2c3d24629a540e956ee915f929ef7e610f74da6bd20cbe759d734db335532cd6", "filesize": 10152257, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": ["click", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}}}