{"package": "certora-cli-alpha-otakar-single-race-mode2", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-otakar-single-race-mode2", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-otakar-single-race-mode2", "releases": {"20230504.21.36.719610": {"released": "2023-05-04 21:36:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.21.36.719610-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.21.36.719610-py3-none-any.whl", "filehash": "5ddd50e0af732acd7cef424082fc853218a24bcf869d060dc5fe96e07242b0e4", "filesize": 38511553, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.20.50.477426": {"released": "2023-05-04 20:50:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.20.50.477426-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.20.50.477426-py3-none-any.whl", "filehash": "42bef007c140769a19ce726ad60abd8b7ee52f2deb549733836bcc940b166135", "filesize": 38511553, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.19.59.10377": {"released": "2023-05-04 19:59:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.19.59.10377-py3-none-any.whl", "filehash": "88377546106408b768d37d5bea164a316a0b88bfd48a41dbf7d33a061fe94fc5", "filesize": 38511540, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.19.27.948570": {"released": "2023-05-04 19:27:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.19.27.948570-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.19.27.948570-py3-none-any.whl", "filehash": "66200ee4fb4585d72205c32445f9509860361008d55686154f014e1fcd591604", "filesize": 38511280, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.18.36.318669": {"released": "2023-05-04 18:36:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.18.36.318669-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.18.36.318669-py3-none-any.whl", "filehash": "dba4b4d860b98469a5a9097c3854403b516bce2db291eedc2e9a7f50427daba8", "filesize": 38511278, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.17.52.509031": {"released": "2023-05-04 17:52:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.17.52.509031-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.17.52.509031-py3-none-any.whl", "filehash": "c004f59e722f97c6c71e6d30aa20cc08ccc86fe0e684dd3553234bb08959d2e8", "filesize": 38511278, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.17.4.3331": {"released": "2023-05-04 17:04:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.17.4.3331-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.17.4.3331-py3-none-any.whl", "filehash": "46d9326cc7efdf134aa48b3bb57bae07efcd62b823d4d456dda035f6e40bad44", "filesize": 38510925, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.15.26.640437": {"released": "2023-05-04 15:26:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.15.26.640437-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.15.26.640437-py3-none-any.whl", "filehash": "ef140e48072bc803e5fb62e574f41d4aac3f3219ba12fd4c4023d823732d4599", "filesize": 38509342, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.14.29.817425": {"released": "2023-05-04 14:29:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.14.29.817425-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.14.29.817425-py3-none-any.whl", "filehash": "057eb55ce43a02fbffb8e4be10cb45e24aa4a2246512a60b077ea45ebcbde7a2", "filesize": 38454542, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.13.46.675840": {"released": "2023-05-04 13:46:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.13.46.675840-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.13.46.675840-py3-none-any.whl", "filehash": "f1e5f32e094ea4e00bdee66b7d84bf87900926b9f8408cb21a524bb728e54652", "filesize": 38454544, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.13.8.412029": {"released": "2023-05-04 13:08:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.13.8.412029-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.13.8.412029-py3-none-any.whl", "filehash": "92ee9fb080977f27f5521617b5131ea0b16fc25dc52285e19b62d77767639a67", "filesize": 38458213, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.12.33.754805": {"released": "2023-05-04 12:33:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.12.33.754805-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.12.33.754805-py3-none-any.whl", "filehash": "2bf27a7754fe7eb613576c285178be1a97a050ffb1d42a577f8baba7f2e01590", "filesize": 38458228, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.11.36.36015": {"released": "2023-05-04 11:36:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.11.36.36015-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.11.36.36015-py3-none-any.whl", "filehash": "959a18c3f6c5730e03e6f7f0499cf9f442f91c0a3979094b646d47d8daee9d4c", "filesize": 38458176, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.10.49.680351": {"released": "2023-05-04 10:49:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.10.49.680351-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.10.49.680351-py3-none-any.whl", "filehash": "7d5c127c5c54a875866999629d3523a8800caca66da12a8b564e17daef190b5e", "filesize": 38458191, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.9.59.715367": {"released": "2023-05-04 09:59:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.9.59.715367-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.9.59.715367-py3-none-any.whl", "filehash": "1ff76a5940e497b91053e268657f66e267dd0d8e186f8fa7cb1f13d8a454f738", "filesize": 38458177, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230504.7.14.754863": {"released": "2023-05-04 07:14:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230504.7.14.754863-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230504.7.14.754863-py3-none-any.whl", "filehash": "4dbdd7194df4fe855112ce58ca8ae23e6e6d296f596f7081aace2ade02e7bdc3", "filesize": 38457580, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230503.15.14.434991": {"released": "2023-05-03 15:14:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230503.15.14.434991-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230503.15.14.434991-py3-none-any.whl", "filehash": "6190e89a34449f489d43939cb9eb41658df9d15667ac2f0c548f4023d3548f08", "filesize": 38423225, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230503.8.53.191468": {"released": "2023-05-03 08:53:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230503.8.53.191468-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230503.8.53.191468-py3-none-any.whl", "filehash": "fd8e71682459cb2557905471319b08b119ebecc442251c64f6d9dafe86926cbf", "filesize": 38421613, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230503.8.12.524686": {"released": "2023-05-03 08:12:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230503.8.12.524686-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230503.8.12.524686-py3-none-any.whl", "filehash": "a6a9d2361c760a0bae1cbd5c8584f79cad7d87c2dda00bb6a4a175507d34d04f", "filesize": 38421449, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230502.18.11.273710": {"released": "2023-05-02 18:11:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230502.18.11.273710-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230502.18.11.273710-py3-none-any.whl", "filehash": "f13cb00d602ab20dcf7f92a270e7551a4a9a4fd36d08aab414fd43bd59929e34", "filesize": 38412845, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230502.17.25.871998": {"released": "2023-05-02 17:25:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230502.17.25.871998-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230502.17.25.871998-py3-none-any.whl", "filehash": "d43ebd1f6f1cdc33021b7032cf5aa42c2274ed803bcffe30aeb55cfc78d76aac", "filesize": 38413496, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230502.14.15.51832": {"released": "2023-05-02 14:15:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230502.14.15.51832-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230502.14.15.51832-py3-none-any.whl", "filehash": "5e854624964d4b645efd31cc113fd0048a40b08a0328534f183ba6d83fd5f1b1", "filesize": 38405483, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}, "20230502.9.31.693497": {"released": "2023-05-02 09:32:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-otakar-single-race-mode2/certora_cli_alpha_otakar_single_race_mode2-20230502.9.31.693497-py3-none-any.whl", "filehash": "7c1511dff9f99c03570fb1d759d31b6c6306d4f126aef8f8bcfddd94255350cf", "filesize": 38405480, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": []}}}}}