{"package": "certora-cli-alpha-shays-cert-2259", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-shays-cert-2259", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-shays-cert-2259", "releases": {"20230528.11.10.175064": {"released": "2023-05-28 11:10:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_shays_CERT_2259-20230528.11.10.175064-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/certora_cli_alpha_shays_CERT_2259-20230528.11.10.175064-py3-none-any.whl", "filehash": "ec32b66e85cf05a383c451b0711351f5473776b3d25a0eea7532da8ec00eb110", "filesize": 39017821, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230524.13.17.472413": {"released": "2023-05-24 13:18:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413-py3-none-any.whl", "filehash": "20880ea9cca4bcdcfc4d69801fb165b4033d3e54e2f2e1bf4de18454523bbf01", "filesize": 39020206, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230523.10.50.879141": {"released": "2023-05-23 10:50:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141-py3-none-any.whl", "filehash": "c9f15fc4a4442ff133e65fff9e5af3cb29e2b49513b860b65413931d9f83ab9a", "filesize": 39020203, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230518.14.30.943042": {"released": "2023-05-18 14:30:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042-py3-none-any.whl", "filehash": "15ead7f4d28ed4a30637effd25abcc2fa97339e47e58129ac54ac7da69696a6c", "filesize": 39016252, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}}}