certora-cli-alpha-niv-Fix-Path-In-Soroban-Entry


Namecertora-cli-alpha-niv-Fix-Path-In-Soroban-Entry JSON
Version 20241224.11.41.25008 PyPI version JSON
download
home_pagehttps://pypi.org/project/certora-cli-alpha-niv-Fix-Path-In-Soroban-Entry
SummaryRunner for the Certora Prover
upload_time2024-12-24 11:42:09
maintainerNone
docs_urlNone
authorCertora
requires_python>=3.8
licenseNone
keywords
VCS
bugtrack_url
requirements No requirements were recorded.
Travis-CI No Travis.
coveralls test coverage No coveralls.
            Commit f1e048d.                    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-niv-Fix-Path-In-Soroban-Entry",
    "name": "certora-cli-alpha-niv-Fix-Path-In-Soroban-Entry",
    "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/24/fe/9d5f3dd0e670b40a033b3579fb15b4479ef95cd723db97e9513aa64b7f56/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.11.41.25008.tar.gz",
    "platform": null,
    "description": "Commit f1e048d.                    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": "20241224.11.41.25008",
    "project_urls": {
        "Homepage": "https://pypi.org/project/certora-cli-alpha-niv-Fix-Path-In-Soroban-Entry"
    },
    "split_keywords": [],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "1bec8f57a395040573d0d7201a87ab65c2863d7bcd9a123b82445c94609cc14c",
                "md5": "ba44e9d3432bf23b7ada564bb7798652",
                "sha256": "6221a992c66e20ae22ed673352120b758b2912848ae5f35b694ee2925ae54bbe"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "ba44e9d3432bf23b7ada564bb7798652",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 15641290,
            "upload_time": "2024-12-24T11:41:57",
            "upload_time_iso_8601": "2024-12-24T11:41:57.317969Z",
            "url": "https://files.pythonhosted.org/packages/1b/ec/8f57a395040573d0d7201a87ab65c2863d7bcd9a123b82445c94609cc14c/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "740300ee8b55d1c5d20bb5049519f1eba1eec6bb8e95fb84be2e289cdd928559",
                "md5": "b9aae93206d86eb106dd93da29e501f5",
                "sha256": "e5b32c67b9a452cacf631d8df0567f40251a544c856271bf3125708e310b65ec"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008-py3-none-macosx_10_9_universal2.whl",
            "has_sig": false,
            "md5_digest": "b9aae93206d86eb106dd93da29e501f5",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 17181503,
            "upload_time": "2024-12-24T11:42:04",
            "upload_time_iso_8601": "2024-12-24T11:42:04.774447Z",
            "url": "https://files.pythonhosted.org/packages/74/03/00ee8b55d1c5d20bb5049519f1eba1eec6bb8e95fb84be2e289cdd928559/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008-py3-none-macosx_10_9_universal2.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "64e800e50fc169bf454977fab26a6a6d0a137a30d019d2b214ad0d251b66dec2",
                "md5": "c5efe086921b2d1c006a28355a22beb9",
                "sha256": "0d67fdb71d3f582ca89a66e0242fde9494d78f1f5f0b480af6b66310a8dadb6d"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008-py3-none-manylinux_2_28_x86_64.whl",
            "has_sig": false,
            "md5_digest": "c5efe086921b2d1c006a28355a22beb9",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8",
            "size": 17224698,
            "upload_time": "2024-12-24T11:42:01",
            "upload_time_iso_8601": "2024-12-24T11:42:01.540379Z",
            "url": "https://files.pythonhosted.org/packages/64/e8/00e50fc169bf454977fab26a6a6d0a137a30d019d2b214ad0d251b66dec2/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008-py3-none-manylinux_2_28_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "24fe9d5f3dd0e670b40a033b3579fb15b4479ef95cd723db97e9513aa64b7f56",
                "md5": "9254355924654655c6619c60f4c0a7b1",
                "sha256": "dbe0a83f5eaa582c74b9eebe59dbfc52b9bba95fb72067eda472296985d6a6b9"
            },
            "downloads": -1,
            "filename": "certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.11.41.25008.tar.gz",
            "has_sig": false,
            "md5_digest": "9254355924654655c6619c60f4c0a7b1",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.8",
            "size": 15613997,
            "upload_time": "2024-12-24T11:42:09",
            "upload_time_iso_8601": "2024-12-24T11:42:09.685624Z",
            "url": "https://files.pythonhosted.org/packages/24/fe/9d5f3dd0e670b40a033b3579fb15b4479ef95cd723db97e9513aa64b7f56/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.11.41.25008.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2024-12-24 11:42:09",
    "github": false,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "lcname": "certora-cli-alpha-niv-fix-path-in-soroban-entry"
}
        
Elapsed time: 1.09040s