certora-cli-alpha-cnandi-gambit-path

Name	certora-cli-alpha-cnandi-gambit-path JSON
Version	20230812.2.16.70975 JSON
	download
home_page	https://pypi.org/project/certora-cli-alpha-cnandi-gambit-path
Summary	Runner for the Certora Prover
upload_time	2023-08-12 02:16:55
maintainer
docs_url	None
author	Certora
requires_python	>=3.8
license
keywords
VCS
bugtrack_url
requirements	No requirements were recorded.
Travis-CI	No Travis.
coveralls test coverage	No coveralls.

            Commit 25a912a. 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-cnandi-gambit-path",
    "name": "certora-cli-alpha-cnandi-gambit-path",
    "maintainer": "",
    "docs_url": null,
    "requires_python": ">=3.8",
    "maintainer_email": "",
    "keywords": "",
    "author": "Certora",
    "author_email": "support@certora.com",
    "download_url": "https://files.pythonhosted.org/packages/fa/e9/25d788ecec2db9985f467b30d9390302224410252d9b92325a51ffffb44e/certora-cli-alpha-cnandi-gambit-path-20230812.2.16.70975.tar.gz",
    "platform": null,
    "description": "Commit 25a912a. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.\n",
    "bugtrack_url": null,
    "license": "",
    "summary": "Runner for the Certora Prover",
    "version": "20230812.2.16.70975",
    "project_urls": {
        "Homepage": "https://pypi.org/project/certora-cli-alpha-cnandi-gambit-path"
    },
    "split_keywords": [],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "638b5a1662bb83c9d7470e8a8942e75366c9ff8391310881902c6598586c2473",
                "md5": "10489aa15fe4030795ce600806bbe68c",
                "sha256": "10ad06aac139a2eea35dfece09c60a917aab1a9adda42911ee41fcd4110e62b4"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_cnandi_gambit_path-20230812.2.16.70975-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "10489aa15fe4030795ce600806bbe68c",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 37874489,
            "upload_time": "2023-08-12T02:16:45",
            "upload_time_iso_8601": "2023-08-12T02:16:45.281525Z",
            "url": "https://files.pythonhosted.org/packages/63/8b/5a1662bb83c9d7470e8a8942e75366c9ff8391310881902c6598586c2473/certora_cli_alpha_cnandi_gambit_path-20230812.2.16.70975-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "8cf6ab6ecc12f5483f582b23587d159c23fb18d9d3ed19bc4b48fbac85333c41",
                "md5": "72aba7ee37e9f68b4cf5f8eab1c34860",
                "sha256": "15e623cdc0ccc39a73a3369ac324270b681daa2bbeb78ebe3feccd0abf823eb2"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_cnandi_gambit_path-20230812.2.16.70975-py3-none-macosx_10_9_universal2.whl",
            "has_sig": false,
            "md5_digest": "72aba7ee37e9f68b4cf5f8eab1c34860",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 39427740,
            "upload_time": "2023-08-12T02:16:52",
            "upload_time_iso_8601": "2023-08-12T02:16:52.049910Z",
            "url": "https://files.pythonhosted.org/packages/8c/f6/ab6ecc12f5483f582b23587d159c23fb18d9d3ed19bc4b48fbac85333c41/certora_cli_alpha_cnandi_gambit_path-20230812.2.16.70975-py3-none-macosx_10_9_universal2.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "1346b7171445f02b582ff6197e5a920ef11f957a8b3ea402604a9b15ed41cfe1",
                "md5": "b6f62672140ed8589835fe63f356fadd",
                "sha256": "084dc5cc99857c28ba462784de66e1f25d3c24a401eb0459224977f754e5d599"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_cnandi_gambit_path-20230812.2.16.70975-py3-none-manylinux_2_28_x86_64.whl",
            "has_sig": false,
            "md5_digest": "b6f62672140ed8589835fe63f356fadd",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 39535958,
            "upload_time": "2023-08-12T02:16:48",
            "upload_time_iso_8601": "2023-08-12T02:16:48.833065Z",
            "url": "https://files.pythonhosted.org/packages/13/46/b7171445f02b582ff6197e5a920ef11f957a8b3ea402604a9b15ed41cfe1/certora_cli_alpha_cnandi_gambit_path-20230812.2.16.70975-py3-none-manylinux_2_28_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "fae925d788ecec2db9985f467b30d9390302224410252d9b92325a51ffffb44e",
                "md5": "4ee8e23165d24a0a5ed4ba3d28e5e591",
                "sha256": "c75c3439fbcdf106cbbc4ac037b0bd2de4b5a8a8813a783c73d0f047141c40b9"
            },
            "downloads": -1,
            "filename": "certora-cli-alpha-cnandi-gambit-path-20230812.2.16.70975.tar.gz",
            "has_sig": false,
            "md5_digest": "4ee8e23165d24a0a5ed4ba3d28e5e591",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.8",
            "size": 37859306,
            "upload_time": "2023-08-12T02:16:55",
            "upload_time_iso_8601": "2023-08-12T02:16:55.234553Z",
            "url": "https://files.pythonhosted.org/packages/fa/e9/25d788ecec2db9985f467b30d9390302224410252d9b92325a51ffffb44e/certora-cli-alpha-cnandi-gambit-path-20230812.2.16.70975.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2023-08-12 02:16:55",
    "github": false,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "lcname": "certora-cli-alpha-cnandi-gambit-path"
}