{"package": "certora-cli-alpha-shahar-valuerangeanalysis", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-shahar-valuerangeanalysis", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-shahar-valuerangeanalysis", "releases": {"20230507.6.53.61010": {"released": "2023-05-07 06:53:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/certora_cli_alpha_Shahar_ValueRangeAnalysis-20230507.6.53.61010-py3-none-any.whl", "filehash": "a10a4db18b75f62354d33d38fb2426f0254cd2d6b112fa7a86054bf8eff2dd53", "filesize": 38511864, "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"]}}}, "20230504.15.15.372193": {"released": "2023-05-04 15:15:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-shahar-valuerangeanalysis/certora_cli_alpha_Shahar_ValueRangeAnalysis-20230504.15.15.372193-py3-none-any.whl", "filehash": "f25c72dd28a8f4b0cd9a8f1b11c26f2c79708ea4edee6d37b33df7daba5e673e", "filesize": 38420465, "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"]}}}}}