{"package": "certora-cli-alpha-dudi-ci-dynamic", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-dudi-ci-dynamic", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-dudi-ci-dynamic", "releases": {"20230314.6.30.405610": {"released": "2023-03-14 06:30:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_dudi_ci_dynamic-20230314.6.30.405610-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/certora_cli_alpha_dudi_ci_dynamic-20230314.6.30.405610-py3-none-any.whl", "filehash": "de57b642e986503c61b27c6e377080b99fe48aaffbe1006a87ee3153ef6c31ca", "filesize": 25705909, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230313.10.15.169827": {"released": "2023-03-13 10:15:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_dudi_ci_dynamic-20230313.10.15.169827-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/certora_cli_alpha_dudi_ci_dynamic-20230313.10.15.169827-py3-none-any.whl", "filehash": "f9e286b2a491d1510fa6376c27d2b0f6aaef2087fbe69b8b50e795de65465cf7", "filesize": 25704084, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230313.8.21.515508": {"released": "2023-03-13 08:21:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508-py3-none-any.whl", "filehash": "dedc5a1a2b0fdcb09a156cae150f1d9f4bf5c4830509c0a06b48d09d42e8f02a", "filesize": 25704066, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230313.6.7.289591": {"released": "2023-03-13 06:07:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591-py3-none-any.whl", "filehash": "3306bb8cef941c2680065cc8746930927f11a39e02dbe57641353979b89b4e6b", "filesize": 25704054, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}}}