{"package": "certora-cli-alpha-master", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-master", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-master", "releases": {"20260909.23.44.947922": {"released": "2026-09-09 23:44:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "20260908.12.47.10250": {"released": "2026-09-08 12:47:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260908.12.47.10250-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260908.12.47.10250-py3-none-any.whl", "filehash": "f55c66c75cf9ca31c0b2964a9c92ae2fb2d3cb762921a73537d5d976091982fc", "filesize": 43456225, "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"]}}}, "20260906.21.4.337824": {"released": "2026-09-06 21:05:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260906.21.4.337824-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260906.21.4.337824-py3-none-any.whl", "filehash": "de6e41107a268c6b1070d8a7804190f13ae244f40b12d38d58fa716e350c6abe", "filesize": 43455643, "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"]}}}, "20260904.17.37.569374": {"released": "2026-09-04 17:37:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260904.17.37.569374-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260904.17.37.569374-py3-none-any.whl", "filehash": "0d9d0ce188d54ac7bbc3e938afbdcbdd690f8591aba1be2b71485e56fbd749ad", "filesize": 43455414, "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"]}}}, "20260904.8.34.440526": {"released": "2026-09-04 08:34:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260904.8.34.440526-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260904.8.34.440526-py3-none-any.whl", "filehash": "c6a6093d25337908fedd3d4ec273a90df3c36d9fcfa078223f2da98b0c2529bf", "filesize": 43455417, "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"]}}}, "20260903.20.52.309793": {"released": "2026-09-03 20:52:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260903.20.52.309793-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260903.20.52.309793-py3-none-any.whl", "filehash": "31cf89f4124eb131ed03f8d340ffbf543d1d92038344c91969814c9aea9f082b", "filesize": 43455325, "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"]}}}, "20260903.19.2.312793": {"released": "2026-09-03 19:02:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260903.19.2.312793-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260903.19.2.312793-py3-none-any.whl", "filehash": "f9180fdbd8d5095deb7e47c3deff741722cec569d974d5d913ef8bbc38b95c48", "filesize": 43455217, "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"]}}}, "20260902.22.11.348515": {"released": "2026-09-02 22:11:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260902.22.11.348515-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260902.22.11.348515-py3-none-any.whl", "filehash": "468c7382a9d1c49d83e00db9cc8a98be1628e8e7a67a92c722dbca4d85e36ac2", "filesize": 43455233, "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"]}}}, "20260902.21.18.845451": {"released": "2026-09-02 21:18:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260902.21.18.845451-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260902.21.18.845451-py3-none-any.whl", "filehash": "6d5ae8f6792689023c771030dc50eb3d300f21dfe51e8c5d7d21d31924b141ce", "filesize": 43454465, "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"]}}}, "20260902.19.58.697150": {"released": "2026-09-02 19:58:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260902.19.58.697150-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260902.19.58.697150-py3-none-any.whl", "filehash": "9c6b674767e688460c5842ce759847922af849400a8c8538875ca87a8c286ab6", "filesize": 43455193, "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"]}}}, "20260902.14.51.607355": {"released": "2026-09-02 14:51:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260902.14.51.607355-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260902.14.51.607355-py3-none-any.whl", "filehash": "dd9235fc1e21014cded20258855d0b6c48d990b8b8779f7bff1bf2782bb7ad4a", "filesize": 43455188, "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"]}}}, "20260902.9.31.124479": {"released": "2026-09-02 09:32:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260902.9.31.124479-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260902.9.31.124479-py3-none-any.whl", "filehash": "d41a884b9fe721e179cf09baa11c9e82040462a48415ba0b6f1ba946904959b1", "filesize": 43454461, "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"]}}}, "20260902.1.20.245698": {"released": "2026-09-02 01:20:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260902.1.20.245698-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260902.1.20.245698-py3-none-any.whl", "filehash": "9554fca5cb33ae3770ff82c980425f3167a8e87fa01a01bfa68259e4078648a7", "filesize": 43454537, "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"]}}}, "20260901.18.46.937780": {"released": "2026-09-01 18:46:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260901.18.46.937780-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260901.18.46.937780-py3-none-any.whl", "filehash": "88ec67992486f81c196a259f3734cc569dda71184acc36f91608ba73d0cd18aa", "filesize": 43454190, "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"]}}}, "20260901.18.6.132263": {"released": "2026-09-01 18:07:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260901.18.6.132263-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260901.18.6.132263-py3-none-any.whl", "filehash": "4b02e08841e3ff6f8fa20d2ff5ddf5cfe75452289470774700cb53dbc87d3b0c", "filesize": 43454915, "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"]}}}, "20260901.15.1.582772": {"released": "2026-09-01 15:02:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260901.15.1.582772-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260901.15.1.582772-py3-none-any.whl", "filehash": "26975aec7366275f9c6c8beb4968d8264e174d7fdc451e9d8a68fdfc32a10a37", "filesize": 43443841, "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"]}}}, "20260901.10.15.59272": {"released": "2026-09-01 10:15:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260901.10.15.59272-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260901.10.15.59272-py3-none-any.whl", "filehash": "0e0278af805d67d4816967747b5307aff809b8ecfc3584d11c20a4adddbd61f2", "filesize": 43443821, "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"]}}}, "20260830.17.5.88502": {"released": "2026-08-30 17:05:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260830.17.5.88502-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260830.17.5.88502-py3-none-any.whl", "filehash": "7b332d720a886a372a3d282632af85a9cfb85160cd44a89e1f6ffe62ca780918", "filesize": 43443823, "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"]}}}, "20260828.18.15.546362": {"released": "2026-08-28 18:16:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260828.18.15.546362-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260828.18.15.546362-py3-none-any.whl", "filehash": "e5c0e60cf1fde0cedc2588ab3044a8822a350d16b17308152b7dd75c08a56ffe", "filesize": 43443797, "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"]}}}, "20260828.17.39.749963": {"released": "2026-08-28 17:39:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260828.17.39.749963-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260828.17.39.749963-py3-none-any.whl", "filehash": "5446a5a199bfb0eacdc0a798c3f1ae7061995304eb135b89e47eb19f25ea59ee", "filesize": 43444392, "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"]}}}, "20260828.17.2.608196": {"released": "2026-08-28 17:02:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260828.17.2.608196-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260828.17.2.608196-py3-none-any.whl", "filehash": "1c3f9208c8bbf21d0dcd9441d7a6de0163fc3ef0325881576474cf1cd529498d", "filesize": 43443777, "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"]}}}, "20260827.21.2.178752": {"released": "2026-08-27 21:03:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260827.21.2.178752-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260827.21.2.178752-py3-none-any.whl", "filehash": "b9221e0e94a46df887c5700948d73464006de9771adbd18c8cb3e756277e4fec", "filesize": 43443871, "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"]}}}, "20260827.17.39.226927": {"released": "2026-08-27 17:40:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260827.17.39.226927-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260827.17.39.226927-py3-none-any.whl", "filehash": "b87d1a8120b80d8355423e980d3705d7ca576dcb80d8fb52d759a426e25f5d82", "filesize": 43443767, "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"]}}}, "20260827.17.3.366766": {"released": "2026-08-27 17:03:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260827.17.3.366766-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260827.17.3.366766-py3-none-any.whl", "filehash": "b8709f64d055f06aeca8c63db61862d2a115faf40ee041a79699998bdafcf669", "filesize": 43443779, "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"]}}}, "20260826.21.56.378132": {"released": "2026-08-26 21:56:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260826.21.56.378132-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260826.21.56.378132-py3-none-any.whl", "filehash": "4e5a85c3aba8887d753696cc823fe80a3b6921cdab7c544a970d5ca80a3bce5c", "filesize": 43444398, "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"]}}}, "20260826.15.37.734619": {"released": "2026-08-26 15:37:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260826.15.37.734619-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260826.15.37.734619-py3-none-any.whl", "filehash": "ec4d3a72275ef88e652aa08439db7ee14531c0c79c85e26092f3f0cc19c8a0fa", "filesize": 43442426, "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"]}}}, "20260826.14.9.800012": {"released": "2026-08-26 14:09:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260826.14.9.800012-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260826.14.9.800012-py3-none-any.whl", "filehash": "c6ef25e9ff579cca558ef1d86d09ed61ed30b88a82697941c377ef8343759fc0", "filesize": 43442850, "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"]}}}, "20260825.23.41.707159": {"released": "2026-08-25 23:41:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260825.23.41.707159-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260825.23.41.707159-py3-none-any.whl", "filehash": "1c8e1b7aa4e96b2d5ff5a1edc58201e8588a9ca0f1b92fc11dddddb22b3cf27b", "filesize": 43442423, "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"]}}}, "20260825.23.3.534875": {"released": "2026-08-25 23:03:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260825.23.3.534875-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260825.23.3.534875-py3-none-any.whl", "filehash": "2ccfb16bb719379e0f0cde3cc47deffa4e703c4031e96e996412ed1942d70185", "filesize": 43442103, "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"]}}}, "20260825.19.45.163152": {"released": "2026-08-25 19:45:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260825.19.45.163152-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260825.19.45.163152-py3-none-any.whl", "filehash": "c26013faf387bb7639a08a925b53cdab0ffe0bcfcd63f189eb63e6976eaaddf9", "filesize": 43434701, "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"]}}}, "20260825.18.44.797900": {"released": "2026-08-25 18:44:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260825.18.44.797900-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260825.18.44.797900-py3-none-any.whl", "filehash": "19dc2b70dd9ef351f16676cdb220b6f7e826064c8e3c2108afdb13cf89387050", "filesize": 43434807, "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"]}}}, "20260825.18.8.326207": {"released": "2026-08-25 18:08:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260825.18.8.326207-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260825.18.8.326207-py3-none-any.whl", "filehash": "15d455feddf4ae5827b0e96307c248e78765f39df7548a60734dcbef59e00fcd", "filesize": 43435448, "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"]}}}, "20260825.14.19.397949": {"released": "2026-08-25 14:19:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260825.14.19.397949-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260825.14.19.397949-py3-none-any.whl", "filehash": "944bb3ab7cb51906277bcedd872b47ae20c554443f2bd6ffe05bca7887130c58", "filesize": 43432805, "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"]}}}, "20260824.19.53.912048": {"released": "2026-08-24 19:53:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260824.19.53.912048-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260824.19.53.912048-py3-none-any.whl", "filehash": "1d5b55cbe8655a57f940f7a45bf8c528c2e274a4e7479cc301738bcdccdef604", "filesize": 43449104, "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"]}}}, "20260821.10.3.876041": {"released": "2026-08-21 10:03:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260821.10.3.876041-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260821.10.3.876041-py3-none-any.whl", "filehash": "befa7653c6f82678724f9a41cce7aa27e032ba756c0ae86ef3b5edb0cc15d791", "filesize": 43449066, "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"]}}}, "20260820.19.2.655052": {"released": "2026-08-20 19:02:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260820.19.2.655052-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260820.19.2.655052-py3-none-any.whl", "filehash": "37c75df1a1c6f454cdeaa5ba15a95b172ff3259ec665a905f70119c5e245275d", "filesize": 43449348, "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"]}}}, "20260820.18.24.48074": {"released": "2026-08-20 18:24:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260820.18.24.48074-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260820.18.24.48074-py3-none-any.whl", "filehash": "f54994001b3bcde3e8667f16619e54c0d2906458aed1de3d35ea7a634d6d33ed", "filesize": 43449032, "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"]}}}, "20260820.9.30.263849": {"released": "2026-08-20 09:30:29", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260820.9.30.263849-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260820.9.30.263849-py3-none-any.whl", "filehash": "12cc915833c947c138531c5797b6fa6b0481efc2bbe25b8a0aca7f89bfdb1d76", "filesize": 43405177, "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"]}}}, "20260819.16.10.394573": {"released": "2026-08-19 16:10:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260819.16.10.394573-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260819.16.10.394573-py3-none-any.whl", "filehash": "5725a7d79a34fcc5f20c964ca48019782a93d89815e9d19cf889ed5d235b5d9b", "filesize": 43405346, "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"]}}}, "20260819.15.32.547513": {"released": "2026-08-19 15:32:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260819.15.32.547513-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260819.15.32.547513-py3-none-any.whl", "filehash": "8d0276ec426a5b65dd840d5d94b1c16bfb33b73ee6f9b7f99ac7f1dee2d3d8be", "filesize": 43405022, "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"]}}}, "20260819.10.0.767923": {"released": "2026-08-19 10:00:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260819.10.0.767923-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260819.10.0.767923-py3-none-any.whl", "filehash": "33789c165474d6b6467c0a869db21fae294df7ea2d8340b17b31d3c28b9df18f", "filesize": 43403302, "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"]}}}, "20260818.12.31.101880": {"released": "2026-08-18 12:31:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260818.12.31.101880-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260818.12.31.101880-py3-none-any.whl", "filehash": "dbe18366867d5bcf3d73a0e2b0dd19e39254c58821b7d6e8ad938e3a84891e87", "filesize": 43403161, "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"]}}}, "20260812.16.44.86540": {"released": "2026-08-12 16:45:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260812.16.44.86540-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260812.16.44.86540-py3-none-any.whl", "filehash": "9949c18a6f5434bc43b923c34aa84269b5f5df3b22db107800160ca76917722b", "filesize": 43403144, "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"]}}}, "20260812.14.52.259366": {"released": "2026-08-12 14:52:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260812.14.52.259366-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260812.14.52.259366-py3-none-any.whl", "filehash": "78ed6fe30df1aedc81b26dd4664993426c1c7e35eaaac0032a11faa0dbd2bd93", "filesize": 43403172, "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"]}}}, "20260810.10.57.307572": {"released": "2026-08-10 10:57:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260810.10.57.307572-py3-none-any.whl": {"file_url": "/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260810.10.57.307572-py3-none-any.whl", "filehash": "fcab60147ea0e9320c96034038ba6f528a3969f75d2ed697990acc89b7d1cae4", "filesize": 43403167, "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"]}}}, "20260806.11.36.29851": {"released": "2026-08-06 11:36:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260806.11.36.29851-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260806.11.36.29851-py3-none-any.whl", "filehash": "3925bea34933a7f71631191225fcf888de134ffc31843d079e0189d4e870a9f0", "filesize": 43403181, "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"]}}}, "20260805.1.2.652818": {"released": "2026-08-05 01:02:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260805.1.2.652818-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260805.1.2.652818-py3-none-any.whl", "filehash": "30d37e37ee82218c3b2203e9217c6add448b664b07ab70dccb6b884bf83b6fb1", "filesize": 43403147, "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"]}}}, "20260804.11.33.345392": {"released": "2026-08-04 11:33:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260804.11.33.345392-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260804.11.33.345392-py3-none-any.whl", "filehash": "7545464533fb683fbc9e2e4ac2a3552f310dc55f42102849e7b4b37495f5e238", "filesize": 43403131, "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"]}}}, "20260804.10.28.546456": {"released": "2026-08-04 10:28:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260804.10.28.546456-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260804.10.28.546456-py3-none-any.whl", "filehash": "2d70e499fef0b54b437462eb701dfd42efc52909e0031c1fe292fa1b59a9f985", "filesize": 43403139, "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"]}}}, "20260730.18.17.393057": {"released": "2026-07-30 18:18:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260730.18.17.393057-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260730.18.17.393057-py3-none-any.whl", "filehash": "5689d3524aaf070cfece14b78bac61b868e37982b9083947e5bf25ae31a5705d", "filesize": 43403110, "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"]}}}, "20260729.17.57.786085": {"released": "2026-07-29 17:57:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260729.17.57.786085-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260729.17.57.786085-py3-none-any.whl", "filehash": "c627956b371fdd6dc5c7e43e56a413bf535724a10d823a2af2f549a6794ba229", "filesize": 43403138, "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"]}}}, "20260722.7.0.82332": {"released": "2026-07-22 07:00:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260722.7.0.82332-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260722.7.0.82332-py3-none-any.whl", "filehash": "2ffddd7ffd68fed47fe96afde7bba33ad2ff351e01f37802ec981f8795d39c92", "filesize": 43402608, "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"]}}}, "20260716.17.27.262642": {"released": "2026-07-16 17:27:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260716.17.27.262642-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260716.17.27.262642-py3-none-any.whl", "filehash": "a8512ab5706237cbdf2d53f45dc776514f94d9f8bacb554f2b7ec474b774c9d4", "filesize": 43402953, "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"]}}}, "20260716.14.2.9049": {"released": "2026-07-16 14:02:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260716.14.2.9049-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260716.14.2.9049-py3-none-any.whl", "filehash": "6e9d33b816af5aefbb98a2302bad238461892e4838ba35fc8cbdc93426ab7f19", "filesize": 43402495, "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"]}}}, "20260716.12.45.435886": {"released": "2026-07-16 12:45:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl", "filehash": "ed116f6164127976e6252b4a8adc43b239cf63432761dc47dcddb775d7adebdb", "filesize": 43402556, "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"]}}}, "20260715.7.22.20117": {"released": "2026-07-15 07:22:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260715.7.22.20117-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.7.22.20117-py3-none-any.whl", "filehash": "8125cf8d0056a9a09a1aa1d151e5a00ca3bf9076b8d7eb621306c97de9c67f6b", "filesize": 43402509, "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"]}}}, "20260715.6.46.85716": {"released": "2026-07-15 06:46:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl", "filehash": "c820011dee5c36644cac85c0ce94d2f3a0a95a1c9d8091a5ab97c03b383f6582", "filesize": 43402538, "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"]}}}, "20260715.6.8.146347": {"released": "2026-07-15 06:08:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl", "filehash": "bec01ba44ec8d882244f5377872fb0033c69618fdb36a35781a681f08f99c8ca", "filesize": 43402505, "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"]}}}, "20230531.9.54.740119": {"released": "2023-05-31 09:54:11", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}}}