{"package": "certora-cli-alpha-dominik-mus-enumeration-tests", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-dominik-mus-enumeration-tests", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-dominik-mus-enumeration-tests", "releases": {"20230503.15.17.377241": {"released": "2023-05-03 15:18:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241-py3-none-any.whl", "filehash": "73fd2333c9977c451c15c91ce446bce6a88ba0343a52cc282c6c0936a9c778b6", "filesize": 38422389, "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"]}}}, "20230503.14.29.450860": {"released": "2023-05-03 14:29:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860-py3-none-any.whl", "filehash": "77c9c03df1efe0c5ecf13af05b79a9b127ba49df9e621c114bf1b43072a01cb6", "filesize": 38404238, "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"]}}}, "20230502.9.47.335390": {"released": "2023-05-02 09:47:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390-py3-none-any.whl", "filehash": "3fcf8aa2005706773719269d2f45448552f2f7d53c668a2e727fbfff8d37a265", "filesize": 38404220, "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"]}}}}}