{"package": "certora-cli-alpha-yoav-real-destructive", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-yoav-real-destructive", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-yoav-real-destructive", "releases": {"20260216.13.35.231857": {"released": "2026-02-16 13:36:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-yoav-real-destructive/certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857-py3-none-any.whl", "filehash": "20f6da561b869f4809df8c31f3c0da1f4d634d2b9818c8f128a2e73996273e54", "filesize": 42959540, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}}}