{"package": "certora-cli-alpha-oz-docker-json5", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-oz-docker-json5", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-oz-docker-json5", "releases": {"20230515.12.22.699042": {"released": "2023-05-15 12:22:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230515.12.22.699042-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230515.12.22.699042-py3-none-any.whl", "filehash": "fc2b30c01c6efad5ca1c561b8c382fcd4e2a3428d687152c034c5cfe384f4922", "filesize": 39489431, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230515.11.28.890873": {"released": "2023-05-15 11:28:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230515.11.28.890873-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230515.11.28.890873-py3-none-any.whl", "filehash": "8ebbdc82ed7c6f34ad7d2de13b51a47e7ad5c899f54f11a8eeb7c8da0e571263", "filesize": 39476633, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230515.10.31.651606": {"released": "2023-05-15 10:31:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230515.10.31.651606-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230515.10.31.651606-py3-none-any.whl", "filehash": "f6ec94d07d71265bedf177123c708d8421a0c882c12272ddce6ff45033a51a17", "filesize": 39475636, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230515.6.54.219876": {"released": "2023-05-15 06:54:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230515.6.54.219876-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230515.6.54.219876-py3-none-any.whl", "filehash": "d84fd58979d9c6062a7a04429cd241ef9663e8b5906cb82606a480a97944788b", "filesize": 39469016, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230514.19.13.360396": {"released": "2023-05-14 19:13:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230514.19.13.360396-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230514.19.13.360396-py3-none-any.whl", "filehash": "38d2c0deb10e9f39ee4ad24a86c615dcc34c071f1aafb73b58be850452af7083", "filesize": 39469028, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230514.14.24.681507": {"released": "2023-05-14 14:24:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230514.14.24.681507-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230514.14.24.681507-py3-none-any.whl", "filehash": "d001edaa14ffebb68dd54899d8bf97ee0af2109df2a733c23d2dade221301dce", "filesize": 39468363, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230514.5.51.278588": {"released": "2023-05-14 05:52:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230514.5.51.278588-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230514.5.51.278588-py3-none-any.whl", "filehash": "82bd4626c5acd6966b10b7a7a16c5b5275f16fc6bcb07a0b226c2fd28085ca8d", "filesize": 39468345, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230504.18.44.719551": {"released": "2023-05-04 18:45:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230504.18.44.719551-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.18.44.719551-py3-none-any.whl", "filehash": "d512df203787caaa6b2a59b3faef2c675551e2151618bb6180a2a909725cf190", "filesize": 38510094, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230504.17.58.502739": {"released": "2023-05-04 17:58:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230504.17.58.502739-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.17.58.502739-py3-none-any.whl", "filehash": "8b25a38304f8237b996571452deefc02cd6fdd40e79755751f088f03771f0f4f", "filesize": 38510098, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230504.17.20.90759": {"released": "2023-05-04 17:20:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230504.17.20.90759-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.17.20.90759-py3-none-any.whl", "filehash": "9e8721d5d610ae34b726b2f37bab0b6bc3fc4b9e70f098594225d559a8297454", "filesize": 38509612, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230504.15.35.189632": {"released": "2023-05-04 15:35:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230504.15.35.189632-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.15.35.189632-py3-none-any.whl", "filehash": "a80eee20beb205930c95a8752643c8d9dcb30d288d2b2823bf204222757dbd75", "filesize": 38508515, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230504.14.38.980559": {"released": "2023-05-04 14:38:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230504.14.38.980559-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.14.38.980559-py3-none-any.whl", "filehash": "12897d1c92f1a89031d404c295feef369ef717c9094e53fded2810838818f9a9", "filesize": 38453345, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230504.14.2.24180": {"released": "2023-05-04 14:02:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230504.14.2.24180-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.14.2.24180-py3-none-any.whl", "filehash": "09be89d4ddd231633d558b278e6b2c50d076f2d5f9e2c39bf2b2702870bf9655", "filesize": 38453322, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230504.13.30.350201": {"released": "2023-05-04 13:31:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230504.13.30.350201-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.13.30.350201-py3-none-any.whl", "filehash": "d30a20aa1b32fae8ffba196ae9882fde2a6119c288f2e73d7b241955d07d6ed8", "filesize": 38456728, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230504.12.39.10016": {"released": "2023-05-04 12:39:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230504.12.39.10016-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.12.39.10016-py3-none-any.whl", "filehash": "9ceae0b1cde62f33fbb5dc144b8194d647b11a082fae583806caf6201888ea2e", "filesize": 38456715, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230504.11.46.529156": {"released": "2023-05-04 11:46:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230504.11.46.529156-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.11.46.529156-py3-none-any.whl", "filehash": "767e18339a034b176cf76bd384b2ab8753397b38984ff9169425c4cd60f5a09c", "filesize": 38456691, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230504.10.57.548446": {"released": "2023-05-04 10:57:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230504.10.57.548446-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.10.57.548446-py3-none-any.whl", "filehash": "d133ffbb227d04b2a68fd262901016993cdc3d9713e3e0ed33204841f6dcf1d0", "filesize": 38456692, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230504.10.8.680838": {"released": "2023-05-04 10:09:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230504.10.8.680838-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.10.8.680838-py3-none-any.whl", "filehash": "1bebb8a6999134854c53599e564b40d9e05b9b9f70f9d777d8708ee4a97b1aab", "filesize": 38456678, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230504.8.42.61246": {"released": "2023-05-04 08:42:29", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230504.8.42.61246-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.8.42.61246-py3-none-any.whl", "filehash": "a0ffee80e216876564ddb98cc739d3232075cd7d1977e6b430291ae0c12cb663", "filesize": 38456309, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}, "20230503.11.53.297815": {"released": "2023-05-03 11:53:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_oz_docker_json5-20230503.11.53.297815-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230503.11.53.297815-py3-none-any.whl", "filehash": "20630892d0fe1bae5b4a0c1a4c328c4a446fd00a894d7775112bcf35b8be8d99", "filesize": 38420478, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.16", "apt_dependencies": [], "pip_dependencies": ["argcomplete", "click", "json5", "pycryptodome", "requests", "sly", "tabulate", "tqdm"]}}}}}