{"package": "certora-cli-alpha-eyalh-separationofcompileandcheck", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-eyalh-separationofcompileandcheck", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-eyalh-separationofcompileandcheck", "releases": {"20230524.12.22.565643": {"released": "2023-05-24 12:22:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230524.12.22.565643-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230524.12.22.565643-py3-none-any.whl", "filehash": "cc4f9f5bf05f22355e789f489a9b6bf50dc335749c2e2a916ecaf2ada15d17db", "filesize": 39010135, "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"]}}}, "20230523.17.4.94537": {"released": "2023-05-23 17:04:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537-py3-none-any.whl", "filehash": "e375f4dd00e97c0264e4d664ac74119b900987540db292da25b8cad72eac8e84", "filesize": 39010107, "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"]}}}}}