Commit 0151329. 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-rahav-CERT-7552_set_branch_in_alpha",
"name": "certora-cli-alpha-rahav-CERT-7552-set-branch-in-alpha",
"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/49/f1/ce5de3c6501545fe4d248fcac4c5b07feba0de1853d66c385071ae5e6d5e/certora_cli_alpha_rahav_cert_7552_set_branch_in_alpha-20241121.13.1.747316.tar.gz",
"platform": null,
"description": "Commit 0151329. 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": "20241121.13.1.747316",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-rahav-CERT-7552_set_branch_in_alpha"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "4585d10f4a82ace1250a72b96ce0f58646f3ae4d52d34ad92970f4c0516a09db",
"md5": "fe9facf3b02ed6dfe4da5b1c6ffa5ab0",
"sha256": "7d3bed670842b52411b4bd8bf2f274382858a5e55d613767796f513f39da002c"
},
"downloads": -1,
"filename": "certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-any.whl",
"has_sig": false,
"md5_digest": "fe9facf3b02ed6dfe4da5b1c6ffa5ab0",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 15496939,
"upload_time": "2024-11-21T13:01:52",
"upload_time_iso_8601": "2024-11-21T13:01:52.112569Z",
"url": "https://files.pythonhosted.org/packages/45/85/d10f4a82ace1250a72b96ce0f58646f3ae4d52d34ad92970f4c0516a09db/certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "c43eef01e98754f9418e7051d059e18444b959ea9d1caa35e0bfd6d7c25b0d31",
"md5": "54bfdaf64ec85d8ba9fddc881ec8ee7f",
"sha256": "661d5c19ed6cf138fb55f7c07e2be32a6ff7b1b1de60bd48347bb0459a3b976a"
},
"downloads": -1,
"filename": "certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "54bfdaf64ec85d8ba9fddc881ec8ee7f",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 17037154,
"upload_time": "2024-11-21T13:01:57",
"upload_time_iso_8601": "2024-11-21T13:01:57.293661Z",
"url": "https://files.pythonhosted.org/packages/c4/3e/ef01e98754f9418e7051d059e18444b959ea9d1caa35e0bfd6d7c25b0d31/certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "b56c6a65c8ad9a2589cf6857dd6a213306a0717e17f76aa2bca984bc715f9a65",
"md5": "b4751a7d8ee4542f817e5c3bb63b4ab0",
"sha256": "93c0836652178b10ceedd97a51441cd63e129a207bbadf56d7adb7ffdd89518b"
},
"downloads": -1,
"filename": "certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "b4751a7d8ee4542f817e5c3bb63b4ab0",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 17080351,
"upload_time": "2024-11-21T13:01:55",
"upload_time_iso_8601": "2024-11-21T13:01:55.007733Z",
"url": "https://files.pythonhosted.org/packages/b5/6c/6a65c8ad9a2589cf6857dd6a213306a0717e17f76aa2bca984bc715f9a65/certora_cli_alpha_rahav_CERT_7552_set_branch_in_alpha-20241121.13.1.747316-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "49f1ce5de3c6501545fe4d248fcac4c5b07feba0de1853d66c385071ae5e6d5e",
"md5": "6fb1de2a5bf3b98c0b8ff9dec4f377a4",
"sha256": "7af09172dcec6431468d9ac6262c47f488a2d4bc5c07b69d7bc17853f5147c4b"
},
"downloads": -1,
"filename": "certora_cli_alpha_rahav_cert_7552_set_branch_in_alpha-20241121.13.1.747316.tar.gz",
"has_sig": false,
"md5_digest": "6fb1de2a5bf3b98c0b8ff9dec4f377a4",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 15473264,
"upload_time": "2024-11-21T13:01:59",
"upload_time_iso_8601": "2024-11-21T13:01:59.646020Z",
"url": "https://files.pythonhosted.org/packages/49/f1/ce5de3c6501545fe4d248fcac4c5b07feba0de1853d66c385071ae5e6d5e/certora_cli_alpha_rahav_cert_7552_set_branch_in_alpha-20241121.13.1.747316.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-11-21 13:01:59",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-rahav-cert-7552-set-branch-in-alpha"
}
JSON