Commit d6b1d13. 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",
"name": "certora-cli",
"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/26/70/a5f3f42bbb5caad66e40ddfb86eabc64e85104307887b7f80800b41e4a2b/certora-cli-7.25.2.tar.gz",
"platform": null,
"description": "Commit d6b1d13. 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": "7.25.2",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli"
},
"split_keywords": [],
"urls": [
{
"comment_text": null,
"digests": {
"blake2b_256": "fb19a68ae503e2d9f84df323dfdda4aa94c00e79ec3a8de73ab4846b31a275cf",
"md5": "965147679f96ff182680365863a973f2",
"sha256": "19b723c0f1332e713890346a4c7305520a1b987111226fc5ff0c09d587b0f6a2"
},
"downloads": -1,
"filename": "certora_cli-7.25.2-py3-none-any.whl",
"has_sig": false,
"md5_digest": "965147679f96ff182680365863a973f2",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 15626343,
"upload_time": "2025-02-19T14:11:52",
"upload_time_iso_8601": "2025-02-19T14:11:52.571503Z",
"url": "https://files.pythonhosted.org/packages/fb/19/a68ae503e2d9f84df323dfdda4aa94c00e79ec3a8de73ab4846b31a275cf/certora_cli-7.25.2-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "722c891be099e1ff1fe025fe12006d84253abec239f59b9b2087a38de2ad1516",
"md5": "80c23ac8dfa2d1a33c4b357f5463e12b",
"sha256": "e002c411211d3ccb8e45dd0060205b89c02101398939371a7e15b3427080e961"
},
"downloads": -1,
"filename": "certora_cli-7.25.2-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "80c23ac8dfa2d1a33c4b357f5463e12b",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 17166561,
"upload_time": "2025-02-19T14:12:00",
"upload_time_iso_8601": "2025-02-19T14:12:00.365337Z",
"url": "https://files.pythonhosted.org/packages/72/2c/891be099e1ff1fe025fe12006d84253abec239f59b9b2087a38de2ad1516/certora_cli-7.25.2-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "6f5c5098f1a280d9520c622ddf6f6e3aa12205df71b0e77cb70c9d90f6bca519",
"md5": "0538596036f5d4151d9d317474aca8af",
"sha256": "fda82d7aec4bec4cb2ab1baba432d6a7c531dcb7c54cc91e81a9e2ba8581729e"
},
"downloads": -1,
"filename": "certora_cli-7.25.2-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "0538596036f5d4151d9d317474aca8af",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 17209756,
"upload_time": "2025-02-19T14:11:56",
"upload_time_iso_8601": "2025-02-19T14:11:56.064384Z",
"url": "https://files.pythonhosted.org/packages/6f/5c/5098f1a280d9520c622ddf6f6e3aa12205df71b0e77cb70c9d90f6bca519/certora_cli-7.25.2-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "2670a5f3f42bbb5caad66e40ddfb86eabc64e85104307887b7f80800b41e4a2b",
"md5": "2994b78ac089031e32acf0715b3d66ad",
"sha256": "f62a5a52530c230ca8a7199cedcf18c21487a337c6010d84fcd4e8f8058b1cfd"
},
"downloads": -1,
"filename": "certora-cli-7.25.2.tar.gz",
"has_sig": false,
"md5_digest": "2994b78ac089031e32acf0715b3d66ad",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 15583449,
"upload_time": "2025-02-19T14:12:03",
"upload_time_iso_8601": "2025-02-19T14:12:03.599051Z",
"url": "https://files.pythonhosted.org/packages/26/70/a5f3f42bbb5caad66e40ddfb86eabc64e85104307887b7f80800b41e4a2b/certora-cli-7.25.2.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2025-02-19 14:12:03",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli"
}