Commit bf33906. 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-beta-mirror",
"name": "certora-cli-beta-mirror",
"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/9a/78/f465984c1131c4c3f31392f567ddac671d1ce1ba32af2f2c5aad3bbde46c/certora-cli-beta-mirror-7.23.0.tar.gz",
"platform": null,
"description": "Commit bf33906. 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.23.0",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-beta-mirror"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "23dbf845d8ba6bc3e7cb4db9b59e57cf6f30baf2990aa3e4c57af06ef71d8fbb",
"md5": "f4e68cf2a660509241b431b366ac3eb2",
"sha256": "cf6bb679ed263e88aba264352a5a0855a1ea62b241fe7d98b551b4de683efc04"
},
"downloads": -1,
"filename": "certora_cli_beta_mirror-7.23.0-py3-none-any.whl",
"has_sig": false,
"md5_digest": "f4e68cf2a660509241b431b366ac3eb2",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 15667709,
"upload_time": "2025-01-17T16:38:49",
"upload_time_iso_8601": "2025-01-17T16:38:49.247299Z",
"url": "https://files.pythonhosted.org/packages/23/db/f845d8ba6bc3e7cb4db9b59e57cf6f30baf2990aa3e4c57af06ef71d8fbb/certora_cli_beta_mirror-7.23.0-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "d90816b948ee5fbe423721aec9c6d8d79173fe5355b5ff1623df9c3312e4c818",
"md5": "3b1f085f3b06a209f1565cfa16b18123",
"sha256": "dce6ce36ccc5c093783226e684fbdf2fc0d4f88f8c2b9af2bc0acffa80054df7"
},
"downloads": -1,
"filename": "certora_cli_beta_mirror-7.23.0-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "3b1f085f3b06a209f1565cfa16b18123",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 17207924,
"upload_time": "2025-01-17T16:39:01",
"upload_time_iso_8601": "2025-01-17T16:39:01.365482Z",
"url": "https://files.pythonhosted.org/packages/d9/08/16b948ee5fbe423721aec9c6d8d79173fe5355b5ff1623df9c3312e4c818/certora_cli_beta_mirror-7.23.0-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "dbf021e19e9629eb0f2e03c6b4e8f4ed36d3907b84fbe69d76238c177d7b1295",
"md5": "d69fc787e461d723c74abecbaa71ccd3",
"sha256": "00de69c96dee1046dc0bd3fbe1c71f8ee25e50cd032e2d08f2a0d15508370279"
},
"downloads": -1,
"filename": "certora_cli_beta_mirror-7.23.0-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "d69fc787e461d723c74abecbaa71ccd3",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 17251123,
"upload_time": "2025-01-17T16:38:57",
"upload_time_iso_8601": "2025-01-17T16:38:57.036194Z",
"url": "https://files.pythonhosted.org/packages/db/f0/21e19e9629eb0f2e03c6b4e8f4ed36d3907b84fbe69d76238c177d7b1295/certora_cli_beta_mirror-7.23.0-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "9a78f465984c1131c4c3f31392f567ddac671d1ce1ba32af2f2c5aad3bbde46c",
"md5": "9f2f91e479ac4b8bcabbfc0a3b1a3307",
"sha256": "4013a3bc93cea437c9eab97410178dd66f8162ed9f06d9a6e4719a20a99886f4"
},
"downloads": -1,
"filename": "certora-cli-beta-mirror-7.23.0.tar.gz",
"has_sig": false,
"md5_digest": "9f2f91e479ac4b8bcabbfc0a3b1a3307",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 15639931,
"upload_time": "2025-01-17T16:39:05",
"upload_time_iso_8601": "2025-01-17T16:39:05.928351Z",
"url": "https://files.pythonhosted.org/packages/9a/78/f465984c1131c4c3f31392f567ddac671d1ce1ba32af2f2c5aad3bbde46c/certora-cli-beta-mirror-7.23.0.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2025-01-17 16:39:05",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-beta-mirror"
}
JSON