{"package": "certora-cli-beta-mirror", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-beta-mirror", "piwheels_url": "https://www.piwheels.org/project/certora-cli-beta-mirror", "releases": {"8.19.2": {"released": "2026-09-07 06:21:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.19.2-py3-none-any.whl": {"file_url": "/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.19.2-py3-none-any.whl", "filehash": "3c6db75cd9cb15827d9c15bc2fd8a0dc9218936022562cb1ace7ac87b66e9313", "filesize": 43450356, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.19.1": {"released": "2026-08-28 19:32:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.19.1-py3-none-any.whl": {"file_url": "/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.19.1-py3-none-any.whl", "filehash": "66a1f8a904f6d378d4b47da6a24832ebdd664021749f832607fb47fa863c18e3", "filesize": 43450144, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.19.0": {"released": "2026-08-25 12:10:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.19.0-py3-none-any.whl": {"file_url": "/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.19.0-py3-none-any.whl", "filehash": "53acdd3bb72168a66b437085a5a9632ae88cd1d2d207d95b99e285bfe5aa5fda", "filesize": 43448802, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.18.0": {"released": "2026-07-21 13:35:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.18.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.18.0-py3-none-any.whl", "filehash": "3b7028d33e5bc12128ead102f9fe334940c88194aec966d9ac9829b8814bbe4a", "filesize": 43402401, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.17.1": {"released": "2026-07-07 06:27:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.17.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.17.1-py3-none-any.whl", "filehash": "77ed2a5f1a5c1a96e260a0efc15520cb8f1e102fdbd969a29e3ae6547b0dfa62", "filesize": 43402132, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.17.0": {"released": "2026-06-29 14:02:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.17.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.17.0-py3-none-any.whl", "filehash": "700c0e39c3fea93e93fd545042826333c6ca8bb5859070483d4ba50bdbc0fdcd", "filesize": 43395874, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.16.2": {"released": "2026-06-25 10:51:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.16.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.16.2-py3-none-any.whl", "filehash": "2f19aa8025ec1cc25d40bd6e6c39e70c1a1fd18c3a680679ecf463d5ce52d936", "filesize": 43365029, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.16.1": {"released": "2026-06-03 09:12:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.16.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.16.1-py3-none-any.whl", "filehash": "3e688bed54744f67308fc036448821df8c92fbfa95171ab5f97a723c6a5bf788", "filesize": 43364969, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.16.0": {"released": "2026-05-25 08:32:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.16.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.16.0-py3-none-any.whl", "filehash": "1ff3a28ee8b47003c6de1389ffe6028f2863fafad3b720cd759d3c30842c0279", "filesize": 43363041, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.15.0": {"released": "2026-05-14 12:28:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.15.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.15.0-py3-none-any.whl", "filehash": "377d333e464890e27f4e0487d94608e3f75e5dda295ae6c18f296e93f487c142", "filesize": 43267320, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.14.0": {"released": "2026-05-10 05:55:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.14.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.14.0-py3-none-any.whl", "filehash": "eeed2b1dbbe740177ae21471f40359236dc2b4b568b316bccbf9ad7edfa83c44", "filesize": 43260957, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.13.1": {"released": "2026-05-19 10:32:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.13.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.13.1-py3-none-any.whl", "filehash": "d8af9437041384c882e00866f1c5b2e72efb28eae9fdf6d60f1c3db71f3be85f", "filesize": 43257732, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.13.0": {"released": "2026-04-27 07:49:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.13.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.13.0-py3-none-any.whl", "filehash": "9d3f6fbb8fad82f3baa2b86066aa1f4259a80b92757d65a0d7d81a0371345592", "filesize": 43255691, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.12.0": {"released": "2026-04-10 07:14:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.12.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.12.0-py3-none-any.whl", "filehash": "a751268e7e3b1c9fbbc48073a955c228f8cc9fc2281b32a09d017237fb713633", "filesize": 43252766, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.11.3": {"released": "2026-04-21 18:26:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.11.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.11.3-py3-none-any.whl", "filehash": "bc0ce62aae013e4b67270e06bad53c4ecabb7d41cb9670e385164ad5a897f385", "filesize": 43244342, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.11.2": {"released": "2026-04-20 16:03:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.11.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.11.2-py3-none-any.whl", "filehash": "a697efc6310acaf6e521e1e75c6b768d2cc2bacf0311c07a2fec95acc41cf662", "filesize": 43243742, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.11.1": {"released": "2026-03-29 12:05:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.11.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.11.1-py3-none-any.whl", "filehash": "d4006b967cdac018840ab952014a4a297981911c2afb12267ef2f38abef16767", "filesize": 43243722, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.11.0": {"released": "2026-03-18 13:20:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.11.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.11.0-py3-none-any.whl", "filehash": "beaa03b28e6d7a78b9f3c0dac356aca76ea40226e7e5defa35d329e3f7e4ac12", "filesize": 43243719, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.10.1": {"released": "2026-02-26 08:17:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.10.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.10.1-py3-none-any.whl", "filehash": "ea2287668c9a13e348a396b44a22e5a6d103cc630f62e3ee772e6abf3dae3804", "filesize": 42977753, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.10.0": {"released": "2026-02-18 17:56:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.10.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.10.0-py3-none-any.whl", "filehash": "336718d012dcba295fa1b18996a7f69656c6f76014fd1c92ed4c334cc51d6e8e", "filesize": 42965422, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.9.0": {"released": "2026-02-12 08:33:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.9.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.9.0-py3-none-any.whl", "filehash": "b9ce6119825324e048d191344e5a45590e334717e3991b0c14b46f9b1ac819f2", "filesize": 42946785, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.8.1": {"released": "2026-02-24 08:25:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.8.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.8.1-py3-none-any.whl", "filehash": "93f6064b7ef9e4780dc92968104f0162e1d2c4269b8b6b89c8aafe4753ebd877", "filesize": 41346931, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.8.0": {"released": "2026-02-02 13:36:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.8.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.8.0-py3-none-any.whl", "filehash": "b2ad117297de972ace7cb2cb94e5ff5cce35f9bf5a5acfdf252e089285ed77d1", "filesize": 41346872, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.7.0": {"released": "2026-01-21 06:14:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.7.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.7.0-py3-none-any.whl", "filehash": "6da1f3b8eaf4d050035d12fce971ead474f22a4dca2c01c5ba4643604ba14ff2", "filesize": 41377286, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.6.4": {"released": "2026-02-04 08:53:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.6.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.6.4-py3-none-any.whl", "filehash": "f2dbab69914a73f1888cb72723969bbea2f458f17ca10081c7aa5c4b49dbcdbf", "filesize": 40911377, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.6.3": {"released": "2025-12-18 13:53:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.6.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.6.3-py3-none-any.whl", "filehash": "acc9dd7e60da76a61ac4af4f691e59e97b68a5ab4ec323df962ebd7a2030e0cd", "filesize": 40902305, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.6.2": {"released": "2025-12-15 05:17:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.6.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.6.2-py3-none-any.whl", "filehash": "99d98927a3f83c95b7eee9db1630046cd79a01e2e8db23d211083282687756cf", "filesize": 40894111, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.6.1": {"released": "2025-12-03 09:57:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.6.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.6.1-py3-none-any.whl", "filehash": "4fcc680fd16a9b8651ba6a87411fd25b9d244613a7c25f88b3ea4814d1ed00f1", "filesize": 40882304, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.6.0": {"released": "2025-11-27 06:22:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.6.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.6.0-py3-none-any.whl", "filehash": "e528ae44036a2cee76a1b0950a14f478691e3db143718c05fed363e05e86b2c3", "filesize": 40854764, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "wcmatch"]}}}, "8.5.1": {"released": "2025-11-20 17:47:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.5.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.5.1-py3-none-any.whl", "filehash": "b54e962ebc1e15190fb3a90f26e2d993fa3468b643a2210e408c165b2beb78d7", "filesize": 40852067, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "universalmutator", "wcmatch"]}}}, "8.5.0": {"released": "2025-11-16 12:06:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.5.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.5.0-py3-none-any.whl", "filehash": "aa5e0ce6ef72b5bb8beff3e3f5cccb0086f3592aa326dc79a5ad32332c3adacd", "filesize": 40850858, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "universalmutator", "wcmatch"]}}}, "8.4.4": {"released": "2025-10-30 14:57:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "8.4.3": {"released": "2025-10-30 12:00:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "8.4.2": {"released": "2025-10-24 12:38:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.4.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.4.2-py3-none-any.whl", "filehash": "1fd48733efae9e0df71fde6256c5620143d427a29f57b21c60a80183c7a87f33", "filesize": 38958080, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "universalmutator", "wcmatch"]}}}, "8.4.1": {"released": "2025-10-21 07:13:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.4.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.4.1-py3-none-any.whl", "filehash": "1a6f369461e35588f1ceaf0831ad87ee9afd59a812396aaec09e90b2c413cc02", "filesize": 38957259, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "universalmutator", "wcmatch"]}}}, "8.4.0": {"released": "2025-10-12 07:17:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.4.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.4.0-py3-none-any.whl", "filehash": "c34084f795d26afd757a14478cf0f37a45f4b607a56ff652ac9b51454266a0ff", "filesize": 38949276, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "universalmutator", "wcmatch"]}}}, "8.3.1": {"released": "2025-10-10 09:06:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.3.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.3.1-py3-none-any.whl", "filehash": "4683f0e5b6165c4fd57f4b13bac8ae13c75253a2032cdac01c6df3577dda9771", "filesize": 32625488, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "universalmutator", "wcmatch"]}}}, "8.3.0": {"released": "2025-09-25 14:13:29", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.3.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.3.0-py3-none-any.whl", "filehash": "46fdd55d81efb4d501cf212952432f7f22e4ba421de70b98096a3eba379c31ce", "filesize": 32625389, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "universalmutator", "wcmatch"]}}}, "8.2.3": {"released": "2025-09-11 11:15:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.2.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.2.3-py3-none-any.whl", "filehash": "949b92f0a04e839148a3efbe1ef3ff61be593b859b7aaf865ec2dafc63e8ee46", "filesize": 32566999, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "universalmutator", "wcmatch"]}}}, "8.2.2": {"released": "2025-09-04 12:50:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.2.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.2.2-py3-none-any.whl", "filehash": "96b9cbbb67df94ded246601801dfb12cd4100c2d0c262c7409b3fff24094c0bd", "filesize": 32564380, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "universalmutator", "wcmatch"]}}}, "8.2.1": {"released": "2025-08-28 09:26:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.2.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.2.1-py3-none-any.whl", "filehash": "3dec286f5ab850350bbd6374ba5a8469aa5b37c7e9c11404fd208daf3a663b75", "filesize": 32554430, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "universalmutator", "wcmatch"]}}}, "8.2.0": {"released": "2025-08-21 16:28:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-8.2.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.2.0-py3-none-any.whl", "filehash": "23c76c5438a1f937fb5c1a1c199c0737049a8a77f41a9742a12c9a9d980c4051", "filesize": 32566240, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "typing-extensions", "universalmutator", "wcmatch"]}}}, "8.1.1": {"released": "2025-08-12 16:06:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "8.1.0": {"released": "2025-08-04 07:28:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "8.0.0": {"released": "2025-07-21 16:13:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.31.2": {"released": "2025-08-12 13:59:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.31.1": {"released": "2025-08-07 07:57:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.31.0": {"released": "2025-06-24 09:18:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.31.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.31.0-py3-none-any.whl", "filehash": "2573b2378f7d7d6766e40709d7663f8e35bfc5eb316f096dc1502e11695eaea4", "filesize": 15993698, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "universalmutator", "wcmatch"]}}}, "7.30.1": {"released": "2025-06-04 15:13:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.30.0": {"released": "2025-05-27 16:14:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.29.3": {"released": "2025-06-11 10:02:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.29.2": {"released": "2025-06-03 16:56:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.29.1": {"released": "2025-05-13 15:48:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.29.0": {"released": "2025-05-08 13:20:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.28.0": {"released": "2025-04-08 13:21:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.28.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.28.0-py3-none-any.whl", "filehash": "660f0b1277e6bbbc6e075bfda58147364c8378b3da820d05f917cef0d2e5bcc7", "filesize": 15736967, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "universalmutator"]}}}, "7.27.1": {"released": "2025-04-07 11:50:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.27.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.27.1-py3-none-any.whl", "filehash": "56291fd6dd2a95c4c3bfd80eb6a12ed1bc3aa9130c7d98290b2abc2dc4e45480", "filesize": 15728878, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "universalmutator"]}}}, "7.27.0": {"released": "2025-03-27 15:30:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.27.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.27.0-py3-none-any.whl", "filehash": "8a5a8e2989778c3d53647cc81b3a321e6bb0119c2beb275200cad1f8b6d76ba7", "filesize": 15728788, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm", "universalmutator"]}}}, "7.26.0": {"released": "2025-03-07 11:47:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.26.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.26.0-py3-none-any.whl", "filehash": "d70a02b9fd3a2d1e1e4f2ade613eb5819e6da85948f46f56c4b5528cb37a0bcf", "filesize": 15673033, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "setuptools", "sly", "strenum", "tabulate", "tomli", "tqdm", "universalmutator"]}}}, "7.25.4": {"released": "2025-03-06 20:21:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.25.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.25.4-py3-none-any.whl", "filehash": "206a5327f9d3ce3dbeb197bf90e2830d9cecb09fb72f5d5ef129c9a7f46c4a81", "filesize": 15626515, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm", "universalmutator"]}}}, "7.25.3": {"released": "2025-02-26 21:12:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.25.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.25.3-py3-none-any.whl", "filehash": "fdd99550b693dc8cebe62c3094f5eb32ea6b45b168144c93a9532704377dc324", "filesize": 15626536, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm", "universalmutator"]}}}, "7.25.2": {"released": "2025-02-19 08:45:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.25.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.25.2-py3-none-any.whl", "filehash": "2eb7e42b98b09cec412b46058a1c57b83b8f81643bab7876e56527993ccd511d", "filesize": 15626513, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm", "universalmutator"]}}}, "7.25.1": {"released": "2025-02-16 10:38:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.25.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.25.1-py3-none-any.whl", "filehash": "dd6c48747d206fc06e8f7291cee9e8fc4c0b2361077a209f3b43f877612ccdbc", "filesize": 15626544, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm", "universalmutator"]}}}, "7.25.0": {"released": "2025-02-13 16:41:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.25.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.25.0-py3-none-any.whl", "filehash": "b1cd6e4bc5f628b0cc2f2b0ddb2b5ef5ae9a553b1bc24f46a21778c11bde805f", "filesize": 15607382, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm", "universalmutator"]}}}, "7.24.0": {"released": "2025-01-27 21:57:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.24.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.24.0-py3-none-any.whl", "filehash": "bcbbeefc1f46fb7c1d6cd411a28bd8a839ac5a858a55b02c73d71aeb34138613", "filesize": 15220093, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm", "universalmutator"]}}}, "7.23.0": {"released": "2025-01-17 16:38:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.23.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.23.0-py3-none-any.whl", "filehash": "352e498c7b5d5e96eed746df4b9ff496bdb3285b392f7a796ba7c79450f4e193", "filesize": 15667708, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm", "universalmutator"]}}}, "7.22.3": {"released": "2025-02-05 14:30:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.22.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.22.3-py3-none-any.whl", "filehash": "bed403dda8bad6a8ba92d7deb02dce3a90bc21f080281bbcd9c968d4a1158e7a", "filesize": 15652134, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm", "universalmutator"]}}}, "7.22.2": {"released": "2025-01-09 09:48:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.22.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.22.2-py3-none-any.whl", "filehash": "7d39a1c1b06eec44f84ea3a2b2eea1845d1ff7690c0c584a584dfac11b416145", "filesize": 15652064, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm", "universalmutator"]}}}, "7.22.1": {"released": "2025-01-06 09:49:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.22.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.22.1-py3-none-any.whl", "filehash": "eef25c930d749351e10b62d0d7317c6add57dd7d87a305db90196b463356a1b4", "filesize": 15648793, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm", "universalmutator"]}}}, "7.22.0": {"released": "2025-01-03 17:54:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.22.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.22.0-py3-none-any.whl", "filehash": "2f95c76a8cf8bd34e0dde659efba86692b7b545bf32adc89f8bb7f1ce288a3ed", "filesize": 15648798, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "jinja2", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm", "universalmutator"]}}}, "7.21.1": {"released": "2024-12-05 10:00:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.21.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.21.1-py3-none-any.whl", "filehash": "d909fc52bfd877a3a14326d6540a6b4e6043fc45c872f4f37f18716b17f35a96", "filesize": 15508716, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm", "universalmutator"]}}}, "7.21.0": {"released": "2024-11-25 19:07:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.21.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.21.0-py3-none-any.whl", "filehash": "a77004cfaeabecf8b217e73379afade3fae63f07d5fd98622b7255f37ca333bc", "filesize": 15498890, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm"]}}}, "7.20.3": {"released": "2024-11-25 18:23:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.20.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.20.3-py3-none-any.whl", "filehash": "920125cceac68eeb867a0b15a498aa07e8fea0b706cc1ad8de39c21fe0c41a0c", "filesize": 15367555, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm"]}}}, "7.20.2": {"released": "2024-11-21 13:56:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.20.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.20.2-py3-none-any.whl", "filehash": "2bdd1bab361fd277814bc23711d631220a43336e6ff8944ca6f1d02617c7ae8f", "filesize": 15495963, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm"]}}}, "7.20.1": {"released": "2024-11-19 11:24:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.20.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.20.1-py3-none-any.whl", "filehash": "4707888361056f07e31e94cc08dbf372e59e7487f05cb4c730b944dcf061af0a", "filesize": 15367730, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm"]}}}, "7.20.0": {"released": "2024-11-18 12:05:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.20.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.20.0-py3-none-any.whl", "filehash": "b7c9341056df47cd776d2bafc06bd9841087501e157c803ef371e9aa16dc1779", "filesize": 15367409, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tomli", "tqdm"]}}}, "7.19.0": {"released": "2024-11-07 15:30:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.19.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.19.0-py3-none-any.whl", "filehash": "1bcb60ab34d7f94a973a3dbd828226560c06b711a1a1df64d60c01f0fb45ee67", "filesize": 15341047, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm"]}}}, "7.18.2": {"released": "2024-10-25 15:34:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.18.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.2-py3-none-any.whl", "filehash": "e3c4f26d0056c4eadbe9e924c395fe31ba90e0853c6195bdf50b7a7b4f1d9ff9", "filesize": 15335417, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm"]}}}, "7.18.1": {"released": "2024-10-15 20:59:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.18.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.1-py3-none-any.whl", "filehash": "46d0114cb857d8b7549c72785815db662370f09ecb136c654fb87cf53b69350e", "filesize": 15317442, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm"]}}}, "7.18.0": {"released": "2024-10-13 17:21:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.18.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.0-py3-none-any.whl", "filehash": "e7a42a97fd7829ed5211fc7e1d3e5ed06f3474c0980834d12a288c80587d1bec", "filesize": 15316394, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm"]}}}, "7.17.2": {"released": "2024-10-04 20:10:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.17.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.2-py3-none-any.whl", "filehash": "3b8f73ac7166dadd40015cc5d19ba6b315a077d724c497f68d9a3d677a155771", "filesize": 15278053, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm"]}}}, "7.17.1": {"released": "2024-09-30 14:37:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.17.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.1-py3-none-any.whl", "filehash": "9618614b09f8a1a9045adf4ef400aeebfc0a15058524dbb0ee24b90111ea721a", "filesize": 15277739, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm"]}}}, "7.17.0": {"released": "2024-09-27 21:24:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_beta_mirror-7.17.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.0-py3-none-any.whl", "filehash": "ebd400b65bef47785c001f8de433eee7b13617950ccc62883223c788cf28d6ff", "filesize": 15190509, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": [], "pip_dependencies": ["click", "json5", "pycryptodome", "requests", "rich", "sly", "strenum", "tabulate", "tqdm"]}}}}}