{"package": "certora-cli-alpha-rahav-cert-1849", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-rahav-cert-1849", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-rahav-cert-1849", "releases": {"20230501.11.34.215275": {"released": "2023-05-01 11:34:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275-py3-none-any.whl", "filehash": "fa3136575c509da5525be438f5fbfe4941fb879113fc5294be990273088ce00a", "filesize": 38337622, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230501.11.3.354497": {"released": "2023-05-01 11:04:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497-py3-none-any.whl", "filehash": "f5d385acdb2f8ad0571c688a46cc08f542f74350b600894a2ac3e08c51778c7f", "filesize": 38337607, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230501.9.3.679493": {"released": "2023-05-01 09:03:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493-py3-none-any.whl", "filehash": "da4411957ca0a2ad15b8504fcea90a575c31a7cbcb80c77642c8e118487ad592", "filesize": 38337594, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}}}