{"package": "certora-cli-alpha-eric-internalsummarizer", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-eric-internalsummarizer", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-eric-internalsummarizer", "releases": {"20230515.16.36.972503": {"released": "2023-05-15 16:36:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_eric_internalSummarizer-20230515.16.36.972503-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-eric-internalsummarizer/certora_cli_alpha_eric_internalSummarizer-20230515.16.36.972503-py3-none-any.whl", "filehash": "8006600a8041fbc3375857f91380fb88480cf9eec534a4970839a71f6a7a0f3b", "filesize": 39500084, "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"]}}}, "20230512.22.36.272701": {"released": "2023-05-12 22:36:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_eric_internalSummarizer-20230512.22.36.272701-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-eric-internalsummarizer/certora_cli_alpha_eric_internalSummarizer-20230512.22.36.272701-py3-none-any.whl", "filehash": "7ed01fc0a40f40a83bbd267acbfeb1309063b7932987d6b4058a7a187057b93a", "filesize": 39468614, "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"]}}}}}