{"package": "certora-cli-alpha-antti-prefer-cvc5", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-antti-prefer-cvc5", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-antti-prefer-cvc5", "releases": {"20230517.9.51.374495": {"released": "2023-05-17 09:51:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495-py3-none-any.whl", "filehash": "638ccb2da7dd7e9cbe5a9fdb88799a79d0707ef60989884b5b029a9b59dbe6eb", "filesize": 38783861, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230516.8.4.14252": {"released": "2023-05-16 08:04:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252-py3-none-any.whl", "filehash": "e10de8c93e3d6e3ecf00424ce205861fed37e084e005ed039e465a3bf3ad74c4", "filesize": 38784579, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}}}