{"package": "certora-cli-alpha-eric-stack2", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-eric-stack2", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-eric-stack2", "releases": {"20230512.19.58.270343": {"released": "2023-05-12 19:59:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_eric_stack2-20230512.19.58.270343-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-eric-stack2/certora_cli_alpha_eric_stack2-20230512.19.58.270343-py3-none-any.whl", "filehash": "7380a9df3d0909fee7f02338cb8684944dc6196c154414993f3cac3d455b4ce8", "filesize": 39468885, "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.21.22.495852": {"released": "2023-05-11 21:22:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_eric_stack2-20230511.21.22.495852-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-eric-stack2/certora_cli_alpha_eric_stack2-20230511.21.22.495852-py3-none-any.whl", "filehash": "e8ab0a4cbd5b73df23b863edee6e5a3b04fff633d911f5a69ee9d13341aca59b", "filesize": 39462695, "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"]}}}}}