{"package": "certora-cli-alpha-jtoman-gmx-init", "summary": "Runner for the Certora Prover", "pypi_url": "https://pypi.org/project/certora-cli-alpha-jtoman-gmx-init", "piwheels_url": "https://www.piwheels.org/project/certora-cli-alpha-jtoman-gmx-init", "releases": {"20230508.20.32.152965": {"released": "2023-05-08 20:32:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965-py3-none-any.whl", "filehash": "7cbdf7c680f3747a918370adfce4861c2dc0bdc40dec6b2341f37c3159e6cb03", "filesize": 38515062, "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"]}}}, "20230508.17.11.702876": {"released": "2023-05-08 17:11:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876-py3-none-any.whl", "filehash": "c913f898cd46e85d92ad590a5e57f8e138bbc5c0b790dcd17551145b8ecdef7a", "filesize": 38514087, "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"]}}}, "20230505.3.50.559004": {"released": "2023-05-05 03:50:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_jtoman_gmx_init-20230505.3.50.559004-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230505.3.50.559004-py3-none-any.whl", "filehash": "4bcacf1c799aac1638b9f27a7ae85fbeea026f731e12f7ec54666dc1a48ec8a3", "filesize": 38509231, "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.25.752534": {"released": "2023-05-04 11:25:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_jtoman_gmx_init-20230504.11.25.752534-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230504.11.25.752534-py3-none-any.whl", "filehash": "b4e5a1b248eec402903e90bd9a4422b2164f74d32d95a4c55f0ebfd12df25bf9", "filesize": 38456696, "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.5.36.425832": {"released": "2023-05-04 05:36:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_jtoman_gmx_init-20230504.5.36.425832-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230504.5.36.425832-py3-none-any.whl", "filehash": "043b4b00b0f3a7202a6804117673b40152a01daff724516dfff30e5c9dd37373", "filesize": 38456430, "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.2.44.693674": {"released": "2023-05-03 02:45:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674-py3-none-any.whl", "filehash": "f5eb980a89d0ba8e08a85f64ac21f5fc924209862519017d403e1c91cd2bdf85", "filesize": 38412136, "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"]}}}}}