{"package": "certora-cli-alpha-yoav-faster-signextend", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-yoav-faster-signextend", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-yoav-faster-signextend", "releases": {"20230517.18.6.670401": {"released": "2023-05-17 18:06:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_yoav_faster_signExtend-20230517.18.6.670401-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-yoav-faster-signextend/certora_cli_alpha_yoav_faster_signExtend-20230517.18.6.670401-py3-none-any.whl", "filehash": "625d0647445b7af1fe6c67ccfd1be47fbd472642ca639e526374a92ca1abed7f", "filesize": 38776957, "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.15.17.306480": {"released": "2023-05-11 15:17:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-yoav-faster-signextend/certora_cli_alpha_yoav_faster_signExtend-20230511.15.17.306480-py3-none-any.whl", "filehash": "8d0ff689ac04910bcf1c74cf721edfa034e8f26c26e9ca2724e25ec0c6d15ad6", "filesize": 39462936, "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"]}}}}}