{"package": "certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor", "releases": {"20230524.8.19.696974": {"released": "2023-05-24 08:20:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.19.696974-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.19.696974-py3-none-any.whl", "filehash": "d440ccf96c57fcd0bdd97033996127a75834dd8bab38574d6fdf73ead44bbde7", "filesize": 39009435, "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"]}}}, "20230524.8.0.211770": {"released": "2023-05-24 08:00:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770-py3-none-any.whl", "filehash": "c4638549235df0389dd554ceb8006ba7734bb00d6c0665026848fde7d86b5a64", "filesize": 39009416, "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"]}}}}}