{"package": "certora-cli-alpha-sitvanit-set-can-be-empty", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-sitvanit-set-can-be-empty", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-sitvanit-set-can-be-empty", "releases": {"20230515.14.51.126518": {"released": "2023-05-15 14:51:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.51.126518-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.51.126518-py3-none-any.whl", "filehash": "1b9ddffe3d23f46e993e58985177b13dce77016de1566e3bc19d38489ab82126", "filesize": 39500697, "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.14.4.271035": {"released": "2023-05-15 14:04:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.4.271035-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.4.271035-py3-none-any.whl", "filehash": "b37a3ef9a0a06c874fa5bf238dfac4afe201ec45efef4723bd336f9dde8201e5", "filesize": 39489074, "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.13.5.657977": {"released": "2023-05-15 13:06:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_sitvanit_set_can_be_empty-20230515.13.5.657977-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.13.5.657977-py3-none-any.whl", "filehash": "649d8611021bbfe646416361ed888c2334e06eb18be0c856bc8771f0b4a47756", "filesize": 39489074, "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.9.59.985056": {"released": "2023-05-15 09:59:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056-py3-none-any.whl", "filehash": "2ebb689dcf748f70a7b4e283db87fc92e747918da957ecae99f7b816a2776bdb", "filesize": 39467956, "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"]}}}}}