certora-cli-beta

Name	certora-cli-beta JSON
Version	7.23.0 JSON
	download
home_page	https://pypi.org/project/certora-cli-beta
Summary	Runner for the Certora Prover
upload_time	2025-01-17 16:38:48
maintainer	None
docs_url	None
author	Certora
requires_python	>=3.8
license	None
keywords
VCS
bugtrack_url
requirements	No requirements were recorded.
Travis-CI	No Travis.
coveralls test coverage	No coveralls.

            Commit bf33906.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

            

Raw data

            {
    "_id": null,
    "home_page": "https://pypi.org/project/certora-cli-beta",
    "name": "certora-cli-beta",
    "maintainer": null,
    "docs_url": null,
    "requires_python": ">=3.8",
    "maintainer_email": null,
    "keywords": null,
    "author": "Certora",
    "author_email": "support@certora.com",
    "download_url": "https://files.pythonhosted.org/packages/ab/11/b088f6a54591a2a87023481f65aa10a549d3efb9666f810eed181c528b90/certora-cli-beta-7.23.0.tar.gz",
    "platform": null,
    "description": "Commit bf33906.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.\n",
    "bugtrack_url": null,
    "license": null,
    "summary": "Runner for the Certora Prover",
    "version": "7.23.0",
    "project_urls": {
        "Homepage": "https://pypi.org/project/certora-cli-beta"
    },
    "split_keywords": [],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "8722de42cd3435bbb693963545f1472f8a03a883d0a5a50d5259d5f2124c24de",
                "md5": "f8a6adf6108007581f2c8f1cc5fd09e0",
                "sha256": "526ec9492cc2d4d11a1c28e4f420c3973d28ce85cdac36cfed6cd9534e31a96c"
            },
            "downloads": -1,
            "filename": "certora_cli_beta-7.23.0-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "f8a6adf6108007581f2c8f1cc5fd09e0",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 15667606,
            "upload_time": "2025-01-17T16:38:34",
            "upload_time_iso_8601": "2025-01-17T16:38:34.568607Z",
            "url": "https://files.pythonhosted.org/packages/87/22/de42cd3435bbb693963545f1472f8a03a883d0a5a50d5259d5f2124c24de/certora_cli_beta-7.23.0-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "04ad524eafbe97850f6f43cec0c05e6f6cd767e4c9b916bc7b87cfa48b49a9ce",
                "md5": "06ab8dbb531649d0a01429a9540fc787",
                "sha256": "350d222864ef7798852f79b989cd9e83827980e5dfc0da1f3115191bd984d7f0"
            },
            "downloads": -1,
            "filename": "certora_cli_beta-7.23.0-py3-none-macosx_10_9_universal2.whl",
            "has_sig": false,
            "md5_digest": "06ab8dbb531649d0a01429a9540fc787",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 17207822,
            "upload_time": "2025-01-17T16:38:43",
            "upload_time_iso_8601": "2025-01-17T16:38:43.763577Z",
            "url": "https://files.pythonhosted.org/packages/04/ad/524eafbe97850f6f43cec0c05e6f6cd767e4c9b916bc7b87cfa48b49a9ce/certora_cli_beta-7.23.0-py3-none-macosx_10_9_universal2.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "4a2e42370694cd85e54e50cb86c6174f483d1758131bc4ba6f6665704e52cbbb",
                "md5": "c15da6f49ba6c51289168640e8d4d02d",
                "sha256": "8a18eecd24542b13b5ad888b6da127c2373c58d4941762488da8a0c0533b0c5c"
            },
            "downloads": -1,
            "filename": "certora_cli_beta-7.23.0-py3-none-manylinux_2_28_x86_64.whl",
            "has_sig": false,
            "md5_digest": "c15da6f49ba6c51289168640e8d4d02d",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 17251020,
            "upload_time": "2025-01-17T16:38:39",
            "upload_time_iso_8601": "2025-01-17T16:38:39.332871Z",
            "url": "https://files.pythonhosted.org/packages/4a/2e/42370694cd85e54e50cb86c6174f483d1758131bc4ba6f6665704e52cbbb/certora_cli_beta-7.23.0-py3-none-manylinux_2_28_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "ab11b088f6a54591a2a87023481f65aa10a549d3efb9666f810eed181c528b90",
                "md5": "3ba8b5061b08029e510e29e045176b1f",
                "sha256": "a63212cbad0cbe579232029f86187293471d551bb27c80058fd91fd172baf6aa"
            },
            "downloads": -1,
            "filename": "certora-cli-beta-7.23.0.tar.gz",
            "has_sig": false,
            "md5_digest": "3ba8b5061b08029e510e29e045176b1f",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.8",
            "size": 15639899,
            "upload_time": "2025-01-17T16:38:48",
            "upload_time_iso_8601": "2025-01-17T16:38:48.098993Z",
            "url": "https://files.pythonhosted.org/packages/ab/11/b088f6a54591a2a87023481f65aa10a549d3efb9666f810eed181c528b90/certora-cli-beta-7.23.0.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2025-01-17 16:38:48",
    "github": false,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "lcname": "certora-cli-beta"
}