{"package": "certora-cli-alpha-uri-eradicate-certora-dir", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-uri-eradicate-certora-dir", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-uri-eradicate-certora-dir", "releases": {"20230801.15.42.608313": {"released": "2023-08-01 15:42:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-any.whl", "filehash": "2317a61a34f2f41f9be81fc04c03863648feed0a80b5ab4832f17c981008e284", "filesize": 37764023, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "strenum", "tabulate", "tqdm"]}}}, "20230801.15.15.641222": {"released": "2023-08-01 15:16:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.15.641222-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.15.641222-py3-none-any.whl", "filehash": "b93eddfd84d2f8600b1fdd2ae115d7ced007146138b885cb98a6bb73667c2ccf", "filesize": 37598242, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "strenum", "tabulate", "tqdm"]}}}, "20230801.15.9.307979": {"released": "2023-08-01 15:09:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979-py3-none-any.whl", "filehash": "5db8638e5428503e27690d158d39ac79260e0d052d2fb1e10ca685c0fceeec0f", "filesize": 37598230, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "strenum", "tabulate", "tqdm"]}}}, "20230801.14.51.113268": {"released": "2023-08-01 14:51:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230801.14.51.113268-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230801.14.51.113268-py3-none-any.whl", "filehash": "d7ebfb5101c69f01bba7488ef5bb5d55a6b4e801df46f19bb5f209f6eeca00ea", "filesize": 37598241, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "strenum", "tabulate", "tqdm"]}}}, "20230726.20.55.535589": {"released": "2023-07-26 20:55:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.55.535589-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.55.535589-py3-none-any.whl", "filehash": "e8e153506618047f077be6c54bfd5c88b70970d0befabbecdf3d7364d3bc589f", "filesize": 37542958, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "strenum", "tabulate", "tqdm"]}}}, "20230726.20.24.84108": {"released": "2023-07-26 20:24:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.24.84108-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.24.84108-py3-none-any.whl", "filehash": "625ff203fe93bfbc9a11c6ddec95df24c59c84b4064441db51ffa8d0f86fa299", "filesize": 37707756, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "strenum", "tabulate", "tqdm"]}}}, "20230726.20.10.855543": {"released": "2023-07-26 20:10:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.10.855543-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.10.855543-py3-none-any.whl", "filehash": "caba387e79af4149984977f5488cb7a350d88cee91d64e284545542e6999383a", "filesize": 37707770, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "strenum", "tabulate", "tqdm"]}}}, "20230726.19.50.565018": {"released": "2023-07-26 19:50:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230726.19.50.565018-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230726.19.50.565018-py3-none-any.whl", "filehash": "e7ae2e8d6ac5da6e2930ef06830bdd88e8c5adc76399cde0d2d0b83a03c7268a", "filesize": 37564056, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "strenum", "tabulate", "tqdm"]}}}, "20230726.19.45.191680": {"released": "2023-07-26 19:45:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230726.19.45.191680-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230726.19.45.191680-py3-none-any.whl", "filehash": "d42814efb9c895d0f3b1849fa05bd808b8c71f9cd956b1c8c05dfb7cebc2e6a8", "filesize": 37564056, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "strenum", "tabulate", "tqdm"]}}}, "20230518.13.42.864350": {"released": "2023-05-18 13:42:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230518.13.42.864350-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230518.13.42.864350-py3-none-any.whl", "filehash": "64d837a76be28e7ddf1ab41e8507a30eaeeedbe98321527d4d7378937de6e1b4", "filesize": 39004044, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230517.19.39.249671": {"released": "2023-05-17 19:39:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230517.19.39.249671-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.19.39.249671-py3-none-any.whl", "filehash": "8cc0292607997dbcc30278a930c4e415479eda222039f2f1e77eb9cedd8c8001", "filesize": 39004327, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230517.18.45.899004": {"released": "2023-05-17 18:45:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230517.18.45.899004-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.18.45.899004-py3-none-any.whl", "filehash": "ad6edb87c041866a5546a8ea37e8a09e1dc1c411772df9a0d734b6b6d77f5ad6", "filesize": 39004336, "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"]}}}, "20230517.17.50.842676": {"released": "2023-05-17 17:50:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230517.17.50.842676-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.17.50.842676-py3-none-any.whl", "filehash": "c0096ca1ecaf70836dd0380d3b65d3642770938c197faff0487fc97b61c3ad07", "filesize": 39004336, "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"]}}}, "20230517.15.15.87844": {"released": "2023-05-17 15:15:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230517.15.15.87844-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.15.15.87844-py3-none-any.whl", "filehash": "519b2e6edfd1d54a160c5d3b95973c7153657f51e436067bce209a8aa051841c", "filesize": 39004323, "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"]}}}, "20230517.14.44.223508": {"released": "2023-05-17 14:45:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230517.14.44.223508-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.14.44.223508-py3-none-any.whl", "filehash": "26000637f4f8c16177cb493f7d2af51353139eafb4787fd1d2f18de3f48d0aff", "filesize": 39004337, "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"]}}}, "20230517.14.3.640691": {"released": "2023-05-17 14:03:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230517.14.3.640691-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.14.3.640691-py3-none-any.whl", "filehash": "ce94302b1b7e5404f099b7a2e277d626d9d6ff25bb24ee369710b0977b9cb814", "filesize": 39004355, "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"]}}}, "20230517.13.20.613909": {"released": "2023-05-17 13:20:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230517.13.20.613909-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.13.20.613909-py3-none-any.whl", "filehash": "3d7c504b40ba1d39abd22d0ade40406729640193b771389bd04101dfdd6dd1c8", "filesize": 39004372, "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"]}}}, "20230517.12.42.535121": {"released": "2023-05-17 12:42:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230517.12.42.535121-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.12.42.535121-py3-none-any.whl", "filehash": "206b223f9a303eed43a2077e709edd430dda91816d25712cc99a5255ba5698f2", "filesize": 39004335, "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"]}}}, "20230517.10.26.318001": {"released": "2023-05-17 10:26:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230517.10.26.318001-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.10.26.318001-py3-none-any.whl", "filehash": "879b8923faa718c69785387f9b7f93266a5c2f270ad25f87bddcefe6713e9a08", "filesize": 39004336, "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"]}}}, "20230517.9.43.923211": {"released": "2023-05-17 09:43:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230517.9.43.923211-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.9.43.923211-py3-none-any.whl", "filehash": "793cd79941f1fe2f09a0ab2e10cb711d4e2a285151d82ae2bcb2a7af60ea60e7", "filesize": 39004298, "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"]}}}, "20230517.7.53.784228": {"released": "2023-05-17 07:53:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230517.7.53.784228-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.7.53.784228-py3-none-any.whl", "filehash": "7e39c3fe5bfdfc43a741f7ccc270ed937e8aa27060ee906290b2e9b0d78bdbde", "filesize": 39004323, "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"]}}}, "20230516.19.57.373904": {"released": "2023-05-16 19:57:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230516.19.57.373904-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230516.19.57.373904-py3-none-any.whl", "filehash": "d2a6839ca6511489bfc2eeb506024568548b7b7519f6d36cf967b1f4dbc583f9", "filesize": 39004339, "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"]}}}, "20230516.19.32.34708": {"released": "2023-05-16 19:32:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230516.19.32.34708-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230516.19.32.34708-py3-none-any.whl", "filehash": "8b187e2af333ad2d699493866f90cd0681c50972dda4d164efee917bff32b156", "filesize": 39004325, "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"]}}}, "20230516.18.20.47322": {"released": "2023-05-16 18:20:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230516.18.20.47322-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230516.18.20.47322-py3-none-any.whl", "filehash": "e4603e9b993f060d313d0acd84553c0178677d14705da14cef1eff0607fbd7e6", "filesize": 39004004, "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"]}}}, "20230516.14.24.835741": {"released": "2023-05-16 14:24:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230516.14.24.835741-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230516.14.24.835741-py3-none-any.whl", "filehash": "ae7fae472ddfd48e13c2934386b98db8a0aae4afe71dc94cafd2ebc42457db6b", "filesize": 39004019, "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"]}}}, "20230515.14.33.601725": {"released": "2023-05-15 14:33:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230515.14.33.601725-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230515.14.33.601725-py3-none-any.whl", "filehash": "7346c6298c472b1d5e7cb8cd69455742101a094117ab135a4ce0fb7b77f85068", "filesize": 39498500, "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"]}}}, "20230511.17.36.676347": {"released": "2023-05-11 17:37:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230511.17.36.676347-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230511.17.36.676347-py3-none-any.whl", "filehash": "1ac69db2ddfcfa067c06193380aaa761d7be9b5f955121c8aabd61f5696e5337", "filesize": 39460577, "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"]}}}, "20230511.17.25.938780": {"released": "2023-05-11 17:26:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230511.17.25.938780-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230511.17.25.938780-py3-none-any.whl", "filehash": "cc26901a28ba9e25473d8797d4f96cac86f72a4c693225e7453b817ce16ee2dd", "filesize": 39460578, "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.24.86610": {"released": "2023-05-10 20:24:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230510.20.24.86610-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230510.20.24.86610-py3-none-any.whl", "filehash": "c1b569da649db01918e9be0b897a428f215a0081ad3db58a3579e5b9384255bd", "filesize": 39251522, "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.12.19.236519": {"released": "2023-05-10 12:19:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230510.12.19.236519-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230510.12.19.236519-py3-none-any.whl", "filehash": "068183943017319025e27b42a4b90306305c2595bb7dd62c7746c5be1b7e6ac4", "filesize": 39250897, "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.11.15.483936": {"released": "2023-05-10 11:15:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230510.11.15.483936-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230510.11.15.483936-py3-none-any.whl", "filehash": "0a45c3c0c80d5761c866443866d0539c7fc98a5edac353d0c3c9d5fa6596596d", "filesize": 39250897, "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.9.53.690092": {"released": "2023-05-10 09:53:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230510.9.53.690092-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230510.9.53.690092-py3-none-any.whl", "filehash": "df78eb2d1af277b3de16b12a9767a7aa35d293e94352a563b60e81b57dfbdef3", "filesize": 39250885, "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.1.633192": {"released": "2023-05-09 20:01:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230509.20.1.633192-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.20.1.633192-py3-none-any.whl", "filehash": "58cb0d14aec4586b170b29974aad5f95fdbdd2224dc898e78c9dfc3d0304bf8a", "filesize": 39250656, "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.18.3.90327": {"released": "2023-05-09 18:03:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230509.18.3.90327-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.18.3.90327-py3-none-any.whl", "filehash": "b4491529178054d6e44d3555bef4db63559a5278236184aec905a5824c3f6b54", "filesize": 39250693, "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.16.47.214531": {"released": "2023-05-09 16:47:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230509.16.47.214531-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.16.47.214531-py3-none-any.whl", "filehash": "8228fc6baecacadd2ba3b83f42414fb527781f96ae25eb9c8ff959d942a6db7d", "filesize": 38514005, "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.14.7.767571": {"released": "2023-05-09 14:07:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230509.14.7.767571-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.14.7.767571-py3-none-any.whl", "filehash": "d4212a7865c3330cf11de44f21bb7a292730d65622b41c1c050bf343d55cb4d9", "filesize": 38513995, "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.12.41.395294": {"released": "2023-05-09 12:41:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230509.12.41.395294-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.12.41.395294-py3-none-any.whl", "filehash": "3b2218c4e42c8de828079b68e44fd9cb1846643a8b17f027a696c8133d0c1580", "filesize": 38514007, "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.11.19.447387": {"released": "2023-05-09 11:19:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230509.11.19.447387-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.11.19.447387-py3-none-any.whl", "filehash": "d8e1bfd9fcf4e159d04b4ce866a1414ff5570ce035ec7c81cfbdbffef16165b6", "filesize": 38514019, "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.10.3.145141": {"released": "2023-05-09 10:03:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230509.10.3.145141-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.10.3.145141-py3-none-any.whl", "filehash": "bc58825be033339a9f490bcf8bafb584ac96941f24bc2786650bcab2a556ee67", "filesize": 38514113, "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"]}}}, "20230508.18.32.237387": {"released": "2023-05-08 18:32:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230508.18.32.237387-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230508.18.32.237387-py3-none-any.whl", "filehash": "3ffd72c436d978097f9ee7b5660fce956dbfea7aa1a208d7c9ece2292ecb1ba5", "filesize": 38514105, "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"]}}}, "20230508.17.36.802001": {"released": "2023-05-08 17:36:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230508.17.36.802001-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230508.17.36.802001-py3-none-any.whl", "filehash": "202d72e339590397bf75fa7d6f0ca5e5ab263fdc34bd2c37c7d3c659248c9ba3", "filesize": 38514063, "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"]}}}, "20230508.16.5.3617": {"released": "2023-05-08 16:05:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230508.16.5.3617-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230508.16.5.3617-py3-none-any.whl", "filehash": "807ec014fc9010c656fb8d8e08587291899ff06e1acc12f2b1271ac2eeeed4c4", "filesize": 38514019, "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"]}}}, "20230508.15.18.995254": {"released": "2023-05-08 15:18:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230508.15.18.995254-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230508.15.18.995254-py3-none-any.whl", "filehash": "8320c13e21809813b9133ccc479e1fae1ec564290e4ee542208361cc56f66501", "filesize": 38514064, "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"]}}}, "20230508.13.2.491437": {"released": "2023-05-08 13:02:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230508.13.2.491437-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230508.13.2.491437-py3-none-any.whl", "filehash": "e7e64ad626822af32db3979738bcfdaf22ad9b7032d39cf727c63dca07c6eb2f", "filesize": 38514297, "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"]}}}, "20230508.10.58.458401": {"released": "2023-05-08 10:58:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230508.10.58.458401-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230508.10.58.458401-py3-none-any.whl", "filehash": "686e442cd48749f23a4cb5b3b6b5764734f29f4279222df86388d4c25fe5f35c", "filesize": 38513992, "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"]}}}, "20230504.20.20.780525": {"released": "2023-05-04 20:20:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230504.20.20.780525-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230504.20.20.780525-py3-none-any.whl", "filehash": "92860c5df3bc0690b0839b23ee11c57c89b1f312b7fb152062259d39bb0a41d0", "filesize": 38509453, "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.10.33.576625": {"released": "2023-05-02 10:33:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230502.10.33.576625-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230502.10.33.576625-py3-none-any.whl", "filehash": "51f77c94bec0589b53da7da96d77761badcc03b28513223bbb096eab01205b4d", "filesize": 38404847, "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.20.737896": {"released": "2023-05-02 09:20:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230502.9.20.737896-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230502.9.20.737896-py3-none-any.whl", "filehash": "35073474455b5ea4446bf695a53e6cbe25763c88cc71e1592067b7a0888ca432", "filesize": 38404835, "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.7.41.501872": {"released": "2023-05-02 07:42:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230502.7.41.501872-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230502.7.41.501872-py3-none-any.whl", "filehash": "fb70a6612abe918a87ca3fbdd1879d9ead7342a0d76a1b51c3c4dc589d70e365", "filesize": 38361770, "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"]}}}, "20230501.17.40.69341": {"released": "2023-05-01 17:40:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230501.17.40.69341-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230501.17.40.69341-py3-none-any.whl", "filehash": "2e721c72b40afa25edbb1692eaa64d692951430fd4278f21e9e553afb47c1e71", "filesize": 38361240, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230501.16.21.151471": {"released": "2023-05-01 16:21:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471-py3-none-any.whl", "filehash": "22608c22d3e084b4e1a11fbf65867191c456721c2773a8f235625f3ab64623e2", "filesize": 38361080, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}}}