{"package": "certora-cli-alpha-rahav-cert-7094-clean-container-collect-2", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2", "releases": {"20240905.7.37.285892": {"released": "2024-09-05 07:38:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-any.whl", "filehash": "4fcc85eeccd44aa092a375f2e479687d37d644117a46def73b92a902123db7fd", "filesize": 14873127, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm"]}}}}}