Commit 292e83e. 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-7153_summarization_2",
"name": "certora-cli-alpha-rahav-CERT-7153-summarization-2",
"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/38/6b/fede0010ca2d5e86deaa92238fff4d4661a58d85cd5640273f8ebc837005/certora_cli_alpha_rahav_cert_7153_summarization_2-20241024.16.1.723201.tar.gz",
"platform": null,
"description": "Commit 292e83e. 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": "20241024.16.1.723201",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-rahav-CERT-7153_summarization_2"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "40c4bba9ce8633096b22c8162d0df0f724d6746ead3c19d0e5a153f547e9c48b",
"md5": "e53f16417f200904230b2146747dc016",
"sha256": "cc863f912681f185e93c39c4f2dc4d4e7ff5b2ad92285c16686aae7db7c9a975"
},
"downloads": -1,
"filename": "certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-any.whl",
"has_sig": false,
"md5_digest": "e53f16417f200904230b2146747dc016",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 15335703,
"upload_time": "2024-10-24T16:01:43",
"upload_time_iso_8601": "2024-10-24T16:01:43.969562Z",
"url": "https://files.pythonhosted.org/packages/40/c4/bba9ce8633096b22c8162d0df0f724d6746ead3c19d0e5a153f547e9c48b/certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "cdf3cac62370535f034e308a6486fa60ffd03b84bef0ee04032d60f6d4ff6630",
"md5": "8b8c3ffa5f9b2f88da821b4bde6578db",
"sha256": "5a1a50133a40931451b72323b4024feb35184ea219272cb433596449afdb0edd"
},
"downloads": -1,
"filename": "certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "8b8c3ffa5f9b2f88da821b4bde6578db",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 16875916,
"upload_time": "2024-10-24T16:01:48",
"upload_time_iso_8601": "2024-10-24T16:01:48.861283Z",
"url": "https://files.pythonhosted.org/packages/cd/f3/cac62370535f034e308a6486fa60ffd03b84bef0ee04032d60f6d4ff6630/certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "eab61d74e9dfa05232505d777d8e42336e8d855854dd8186f08b0514c5069da0",
"md5": "0b71bcd190465ac5552fd9d95ba6fb0d",
"sha256": "f9d7420a42f2cb952c0e8934459c9f5454a1b66a7847cad70dcc23ab5960091b"
},
"downloads": -1,
"filename": "certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "0b71bcd190465ac5552fd9d95ba6fb0d",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 16919115,
"upload_time": "2024-10-24T16:01:46",
"upload_time_iso_8601": "2024-10-24T16:01:46.562414Z",
"url": "https://files.pythonhosted.org/packages/ea/b6/1d74e9dfa05232505d777d8e42336e8d855854dd8186f08b0514c5069da0/certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "386bfede0010ca2d5e86deaa92238fff4d4661a58d85cd5640273f8ebc837005",
"md5": "fd2c548fbce5b9e979c485dcc9a33796",
"sha256": "ffc171c9cc8c4557026c6c1da1a953774a72861ac260a180c7fcd71e986248f2"
},
"downloads": -1,
"filename": "certora_cli_alpha_rahav_cert_7153_summarization_2-20241024.16.1.723201.tar.gz",
"has_sig": false,
"md5_digest": "fd2c548fbce5b9e979c485dcc9a33796",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 15313742,
"upload_time": "2024-10-24T16:01:50",
"upload_time_iso_8601": "2024-10-24T16:01:50.955095Z",
"url": "https://files.pythonhosted.org/packages/38/6b/fede0010ca2d5e86deaa92238fff4d4661a58d85cd5640273f8ebc837005/certora_cli_alpha_rahav_cert_7153_summarization_2-20241024.16.1.723201.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-10-24 16:01:50",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-rahav-cert-7153-summarization-2"
}
JSON