Commit 4717875. 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-oz-change-image",
"name": "certora-cli-alpha-oz-change-image",
"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/88/19/790ce16049035eb84e82efffc87f992bb2e4675214246978d7481e27bd37/certora-cli-alpha-oz-change-image-20250108.10.38.781826.tar.gz",
"platform": null,
"description": "Commit 4717875. 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": "20250108.10.38.781826",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-oz-change-image"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "e0f4c71deeabcf83405ceaf675313e85c70f3ba9e6bb1b67ad70020951c6b490",
"md5": "b3c52174eeb20060f80af4e747190ccc",
"sha256": "9a3b6ab50e9a5940a502be47904200a726e2e84146421bf7156c29f34d3a5ecd"
},
"downloads": -1,
"filename": "certora_cli_alpha_oz_change_image-20250108.10.38.781826-py3-none-any.whl",
"has_sig": false,
"md5_digest": "b3c52174eeb20060f80af4e747190ccc",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 15654027,
"upload_time": "2025-01-08T10:38:07",
"upload_time_iso_8601": "2025-01-08T10:38:07.941436Z",
"url": "https://files.pythonhosted.org/packages/e0/f4/c71deeabcf83405ceaf675313e85c70f3ba9e6bb1b67ad70020951c6b490/certora_cli_alpha_oz_change_image-20250108.10.38.781826-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "b793d4fd71b797cd8d28126a80de1c46d16d34780361230fc6edbd9f6ccc3fbf",
"md5": "c868de5118eb12aa9f97139f1119714e",
"sha256": "5e2f3d4ff665fba7a46da0f70e5f16425c3dc3c2e36bfd8c179c639d53a5b1bc"
},
"downloads": -1,
"filename": "certora_cli_alpha_oz_change_image-20250108.10.38.781826-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "c868de5118eb12aa9f97139f1119714e",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 17194244,
"upload_time": "2025-01-08T10:38:16",
"upload_time_iso_8601": "2025-01-08T10:38:16.037368Z",
"url": "https://files.pythonhosted.org/packages/b7/93/d4fd71b797cd8d28126a80de1c46d16d34780361230fc6edbd9f6ccc3fbf/certora_cli_alpha_oz_change_image-20250108.10.38.781826-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "0b57819e322cb30b5dbaaac3bd76b4190db67d0cff9add7a0fabf819d3def61a",
"md5": "3571af722a71e07eccd59e0213376b48",
"sha256": "8a5ec84680eca11b64263522f8d0b6812ea18a9263448560b1d516ffccc3107f"
},
"downloads": -1,
"filename": "certora_cli_alpha_oz_change_image-20250108.10.38.781826-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "3571af722a71e07eccd59e0213376b48",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 17237440,
"upload_time": "2025-01-08T10:38:12",
"upload_time_iso_8601": "2025-01-08T10:38:12.686265Z",
"url": "https://files.pythonhosted.org/packages/0b/57/819e322cb30b5dbaaac3bd76b4190db67d0cff9add7a0fabf819d3def61a/certora_cli_alpha_oz_change_image-20250108.10.38.781826-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "8819790ce16049035eb84e82efffc87f992bb2e4675214246978d7481e27bd37",
"md5": "109e8823d0b99fd2cb20fd530be86efa",
"sha256": "4cb0fc1715f750c386cd08d774189183a597c6ea124110d2a99fa004a104610f"
},
"downloads": -1,
"filename": "certora-cli-alpha-oz-change-image-20250108.10.38.781826.tar.gz",
"has_sig": false,
"md5_digest": "109e8823d0b99fd2cb20fd530be86efa",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 15627205,
"upload_time": "2025-01-08T10:38:20",
"upload_time_iso_8601": "2025-01-08T10:38:20.343683Z",
"url": "https://files.pythonhosted.org/packages/88/19/790ce16049035eb84e82efffc87f992bb2e4675214246978d7481e27bd37/certora-cli-alpha-oz-change-image-20250108.10.38.781826.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2025-01-08 10:38:20",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-oz-change-image"
}
JSON