certora-cli-alpha-master

Name	certora-cli-alpha-master JSON
Version	20250204.10.32.526484 JSON
	download
home_page	https://pypi.org/project/certora_cli_alpha_master
Summary	Runner for the Certora Prover
upload_time	2025-02-04 10:32:41
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 323b847.                    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_alpha_master",
    "name": "certora-cli-alpha-master",
    "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/4d/d5/75e81482692ddc969cd258346071b68d59e5d9649ff6fbb4afdcff4ac160/certora_cli_alpha_master-20250204.10.32.526484.tar.gz",
    "platform": null,
    "description": "Commit 323b847.                    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": "20250204.10.32.526484",
    "project_urls": {
        "Homepage": "https://pypi.org/project/certora_cli_alpha_master"
    },
    "split_keywords": [],
    "urls": [
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "2ab9163cbf9760b58373e7e391fe12f9f4a8d9855e81a218eb0787999c96a7c6",
                "md5": "52ba41b9e72213feb1a15b5ae6b582d7",
                "sha256": "105665b360cbd18eca13b2fb1427092a4889d3101036f2d112476fe08e146d99"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_master-20250204.10.32.526484-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "52ba41b9e72213feb1a15b5ae6b582d7",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 15474991,
            "upload_time": "2025-02-04T10:32:31",
            "upload_time_iso_8601": "2025-02-04T10:32:31.485152Z",
            "url": "https://files.pythonhosted.org/packages/2a/b9/163cbf9760b58373e7e391fe12f9f4a8d9855e81a218eb0787999c96a7c6/certora_cli_alpha_master-20250204.10.32.526484-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "fa81ae8abb1aa423e2d7e6555d65374a9c02ca77d7587ef3d2290ca952431538",
                "md5": "d3b28f778f2524bb2aaef65f4778ebfc",
                "sha256": "a4c166d86423fe33d4fb642a2ec1adf26ff55a48254b0d1da32653552dafcdf0"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_master-20250204.10.32.526484-py3-none-macosx_10_9_universal2.whl",
            "has_sig": false,
            "md5_digest": "d3b28f778f2524bb2aaef65f4778ebfc",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 17015206,
            "upload_time": "2025-02-04T10:32:38",
            "upload_time_iso_8601": "2025-02-04T10:32:38.428037Z",
            "url": "https://files.pythonhosted.org/packages/fa/81/ae8abb1aa423e2d7e6555d65374a9c02ca77d7587ef3d2290ca952431538/certora_cli_alpha_master-20250204.10.32.526484-py3-none-macosx_10_9_universal2.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "bf2f5f84b63d7613a838a0829fab5896e63ce452763940c056689401608f70dd",
                "md5": "aab59148b23c0b692c8b5a874f5eb933",
                "sha256": "0a6a2110c270bae187711a35aacb9e26e0e39169692ab98aa83fbbd4f3544134"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_master-20250204.10.32.526484-py3-none-manylinux_2_28_x86_64.whl",
            "has_sig": false,
            "md5_digest": "aab59148b23c0b692c8b5a874f5eb933",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 17058404,
            "upload_time": "2025-02-04T10:32:35",
            "upload_time_iso_8601": "2025-02-04T10:32:35.193005Z",
            "url": "https://files.pythonhosted.org/packages/bf/2f/5f84b63d7613a838a0829fab5896e63ce452763940c056689401608f70dd/certora_cli_alpha_master-20250204.10.32.526484-py3-none-manylinux_2_28_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "4dd575e81482692ddc969cd258346071b68d59e5d9649ff6fbb4afdcff4ac160",
                "md5": "8d5cb8c6bc2b4c6c3d5e57e41a62b15a",
                "sha256": "fa5f990c699f9b87d9f39c3323da8255c286f05f73eff9cd537d615e20fdf97d"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_master-20250204.10.32.526484.tar.gz",
            "has_sig": false,
            "md5_digest": "8d5cb8c6bc2b4c6c3d5e57e41a62b15a",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.8",
            "size": 15447117,
            "upload_time": "2025-02-04T10:32:41",
            "upload_time_iso_8601": "2025-02-04T10:32:41.687367Z",
            "url": "https://files.pythonhosted.org/packages/4d/d5/75e81482692ddc969cd258346071b68d59e5d9649ff6fbb4afdcff4ac160/certora_cli_alpha_master-20250204.10.32.526484.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2025-02-04 10:32:41",
    "github": false,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "lcname": "certora-cli-alpha-master"
}