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"
}