Commit 94bbe01. 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-CERT-7596_Execute_Cargo_Build",
"name": "certora-cli-alpha-CERT-7596-Execute-Cargo-Build",
"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/1d/2a/ae49c7738937fbd12fa699b3c6954c1f5a20f149b0e86f3378bbf34d19bf/certora_cli_alpha_cert_7596_execute_cargo_build-20241128.13.35.61632.tar.gz",
"platform": null,
"description": "Commit 94bbe01. 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": "20241128.13.35.61632",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-CERT-7596_Execute_Cargo_Build"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "372ac6ed61ae5b51cfd94e92b981d584b2d48dbfda9fab52800e1b5c6c6d29cf",
"md5": "6942bd8614bc13383122bb429c6fa10b",
"sha256": "21fd4bc9fa8eb01937e7549aedff8c87e62402a92841852651f642915de25b66"
},
"downloads": -1,
"filename": "certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-any.whl",
"has_sig": false,
"md5_digest": "6942bd8614bc13383122bb429c6fa10b",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 15506962,
"upload_time": "2024-11-28T13:35:58",
"upload_time_iso_8601": "2024-11-28T13:35:58.016936Z",
"url": "https://files.pythonhosted.org/packages/37/2a/c6ed61ae5b51cfd94e92b981d584b2d48dbfda9fab52800e1b5c6c6d29cf/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "e3c48452ade67f3dbed5f82f937db82ed43a8e79e118d6a040abb5093177d49c",
"md5": "5811f17070e322cf0fbba4812d618c20",
"sha256": "a209b9c078905f740b3eb80a3cf1aebcc3568ff4931bd3587b6d72a68d523039"
},
"downloads": -1,
"filename": "certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "5811f17070e322cf0fbba4812d618c20",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 17047177,
"upload_time": "2024-11-28T13:36:02",
"upload_time_iso_8601": "2024-11-28T13:36:02.917839Z",
"url": "https://files.pythonhosted.org/packages/e3/c4/8452ade67f3dbed5f82f937db82ed43a8e79e118d6a040abb5093177d49c/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "1305688c92802a0bd7427a5c2c6c331ee9e061ba6b749ad24cf44769c70b17dd",
"md5": "c6211f83a1510eb27619c26a4c3f91e5",
"sha256": "c148f2fc7651f3b9aac17094a1bc6738186a3174143666fd80657f78b887bc2c"
},
"downloads": -1,
"filename": "certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "c6211f83a1510eb27619c26a4c3f91e5",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 17090374,
"upload_time": "2024-11-28T13:36:00",
"upload_time_iso_8601": "2024-11-28T13:36:00.792882Z",
"url": "https://files.pythonhosted.org/packages/13/05/688c92802a0bd7427a5c2c6c331ee9e061ba6b749ad24cf44769c70b17dd/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "1d2aae49c7738937fbd12fa699b3c6954c1f5a20f149b0e86f3378bbf34d19bf",
"md5": "b56b476e67b7c96063aca16f3936070b",
"sha256": "1fa6baf4b5a56f8b46c47f8f3e239922f507572032959cfab2e5f53cc11770d9"
},
"downloads": -1,
"filename": "certora_cli_alpha_cert_7596_execute_cargo_build-20241128.13.35.61632.tar.gz",
"has_sig": false,
"md5_digest": "b56b476e67b7c96063aca16f3936070b",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 15480594,
"upload_time": "2024-11-28T13:36:05",
"upload_time_iso_8601": "2024-11-28T13:36:05.068495Z",
"url": "https://files.pythonhosted.org/packages/1d/2a/ae49c7738937fbd12fa699b3c6954c1f5a20f149b0e86f3378bbf34d19bf/certora_cli_alpha_cert_7596_execute_cargo_build-20241128.13.35.61632.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-11-28 13:36:05",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-cert-7596-execute-cargo-build"
}
JSON