{"package": "certora-cli-alpha-jaroslav-ucstats2", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-jaroslav-ucstats2", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-jaroslav-ucstats2", "releases": {"20230514.19.10.306778": {"released": "2023-05-14 19:10:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/certora_cli_alpha_jaroslav_UCStats2-20230514.19.10.306778-py3-none-any.whl", "filehash": "f0c392224b70529f472839c077c873e1ba4a6b35fa0a8ebfac7a1089f4b40299", "filesize": 39469032, "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"]}}}, "20230514.17.47.470333": {"released": "2023-05-14 17:48:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/certora_cli_alpha_jaroslav_UCStats2-20230514.17.47.470333-py3-none-any.whl", "filehash": "1b6f93bb0e9c40adcd0117c97e9d770daac988cd277493062b6e852e841dc91d", "filesize": 39469031, "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"]}}}, "20230510.20.20.327816": {"released": "2023-05-10 20:20:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816-py3-none-any.whl", "filehash": "79780d56fd11384d836edd1e6f8fec6e8c649c462503f23682df74e691cf60ed", "filesize": 39252244, "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.20.24.246286": {"released": "2023-05-09 20:25:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286-py3-none-any.whl", "filehash": "292d7007f683e0e11573b28bf2105ea35a4bb88de44f8163b8b981e5fb661914", "filesize": 39252247, "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"]}}}}}