{"package": "certora-cli-alpha-cert-7596-execute-cargo-build", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-cert-7596-execute-cargo-build", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-cert-7596-execute-cargo-build", "releases": {"20241128.13.35.61632": {"released": "2024-11-28 13:35:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-any.whl", "filehash": "e2158856159f0390b7a73338303e4d5d946426577751422fafe98153873382f1", "filesize": 15506962, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": []}}}, "20241128.9.57.333374": {"released": "2024-11-28 09:58:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.9.57.333374-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.9.57.333374-py3-none-any.whl", "filehash": "c46ac82469385b4a30e169713f5a4d3e3da905c0f4b1455c081d16864fc22d9d", "filesize": 15506850, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": []}}}, "20241128.9.29.832828": {"released": "2024-11-28 09:29:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.9.29.832828-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.9.29.832828-py3-none-any.whl", "filehash": "68858d3150df4a872195759083824503b6bad161d3491e37ea74d461bd138f40", "filesize": 15506862, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": []}}}, "20241127.7.38.905715": {"released": "2024-11-27 07:39:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241127.7.38.905715-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241127.7.38.905715-py3-none-any.whl", "filehash": "fd263f2609bf2a055e3c50e997a0c506669880a1672dcc13b5872707cfbf09fd", "filesize": 15499548, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": []}}}, "20241126.17.2.720094": {"released": "2024-11-26 17:02:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241126.17.2.720094-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241126.17.2.720094-py3-none-any.whl", "filehash": "00c5976400077927f03082dee02ad73254a96b7e87cd9e0771b683b1748027f9", "filesize": 15499527, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": []}}}, "20241126.15.53.751402": {"released": "2024-11-26 15:54:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241126.15.53.751402-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241126.15.53.751402-py3-none-any.whl", "filehash": "d3fb431309a8194ca612bf8048b11569272b2afb9350d66e93f75c27c0d333d0", "filesize": 15499551, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8", "apt_dependencies": []}}}}}