{"package": "certora-cli-alpha-yuvalbd-non-empty-list-soundness", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-yuvalbd-non-empty-list-soundness", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-yuvalbd-non-empty-list-soundness", "releases": {"20230509.10.41.463517": {"released": "2023-05-09 10:41:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.10.41.463517-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.10.41.463517-py3-none-any.whl", "filehash": "b48c4f386ea9629bd640ad20346e4540fc78d80ae1001600005c8cc75d78c77e", "filesize": 39251696, "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"]}}}, "20230509.7.33.181487": {"released": "2023-05-09 07:33:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487-py3-none-any.whl", "filehash": "4751b1fe1ea1c118892de7474cadfdc163db90b4fdbd76fc585abfb935e72381", "filesize": 39251683, "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"]}}}}}