{"package": "certora-cli-alpha-shelly-bettercertoraexception", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-shelly-bettercertoraexception", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-shelly-bettercertoraexception", "releases": {"20230508.16.25.408704": {"released": "2023-05-08 16:25:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704-py3-none-any.whl", "filehash": "de088e2799aa00536f1bf8f7e45de5542196c1245e5c4e53208baa3bae031e9e", "filesize": 38515071, "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"]}}}, "20230507.12.36.85551": {"released": "2023-05-07 12:36:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551-py3-none-any.whl", "filehash": "cc7ac8f6d904ab6734f12664733c3dc182b8930d459e32e4a8854fe1b8187ce4", "filesize": 38513972, "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"]}}}}}