{"package": "certora-cli-alpha-shelly-releasewithci", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-shelly-releasewithci", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-shelly-releasewithci", "releases": {"20230512.8.59.390786": {"released": "2023-05-12 09:00:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_shelly_releasewithci-20230512.8.59.390786-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-shelly-releasewithci/certora_cli_alpha_shelly_releasewithci-20230512.8.59.390786-py3-none-any.whl", "filehash": "783092abdc91e563c29f14c1de39ebd49d08c6825fb92a28c0777e9a95942050", "filesize": 39468316, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230511.16.38.220144": {"released": "2023-05-11 16:38:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_shelly_releasewithci-20230511.16.38.220144-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-shelly-releasewithci/certora_cli_alpha_shelly_releasewithci-20230511.16.38.220144-py3-none-any.whl", "filehash": "bd8751c45a105361c98d8545f836a5d65f8437247206714590e4e317c1f9742c", "filesize": 39462901, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230511.13.13.556295": {"released": "2023-05-11 13:13:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_shelly_releasewithci-20230511.13.13.556295-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-shelly-releasewithci/certora_cli_alpha_shelly_releasewithci-20230511.13.13.556295-py3-none-any.whl", "filehash": "d4184f88027bce4d4280aa807bf5935448d003fd5aab2b54406cd6d18bc47832", "filesize": 39462898, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}}}