Commit b8b2a46. 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-shelly-jumptodefReport",
"name": "certora-cli-alpha-shelly-jumptodefReport",
"maintainer": "",
"docs_url": null,
"requires_python": ">=3.8",
"maintainer_email": "",
"keywords": "",
"author": "Certora",
"author_email": "support@certora.com",
"download_url": "https://files.pythonhosted.org/packages/84/49/30ce5961bbcaafa14363f2297551cecd9c1bedb9b5f4fd2764d7309e45d5/certora-cli-alpha-shelly-jumptodefReport-20230520.12.34.386718.tar.gz",
"platform": null,
"description": "Commit b8b2a46. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.\n",
"bugtrack_url": null,
"license": "",
"summary": "Runner for the Certora Prover",
"version": "20230520.12.34.386718",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-shelly-jumptodefReport"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "ac8c022e23b1adb9639931d4f3519c702c9a8197851e6edf43ee4ae8c67e2f72",
"md5": "78a29a71f105195dfb09315bd5e805a0",
"sha256": "7c24f6d565c7390b6123f4864413dcbf2512ee9ca838c5d56c353de112d322a8"
},
"downloads": -1,
"filename": "certora_cli_alpha_shelly_jumptodefReport-20230520.12.34.386718-py3-none-any.whl",
"has_sig": false,
"md5_digest": "78a29a71f105195dfb09315bd5e805a0",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 39016003,
"upload_time": "2023-05-20T12:34:15",
"upload_time_iso_8601": "2023-05-20T12:34:15.372288Z",
"url": "https://files.pythonhosted.org/packages/ac/8c/022e23b1adb9639931d4f3519c702c9a8197851e6edf43ee4ae8c67e2f72/certora_cli_alpha_shelly_jumptodefReport-20230520.12.34.386718-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "844930ce5961bbcaafa14363f2297551cecd9c1bedb9b5f4fd2764d7309e45d5",
"md5": "08b2d2384b30f10e6e20505c3e691426",
"sha256": "7a848c7aa17536b97065fd05efafc9cef6de84938abf5ef96f7e15ebabd67271"
},
"downloads": -1,
"filename": "certora-cli-alpha-shelly-jumptodefReport-20230520.12.34.386718.tar.gz",
"has_sig": false,
"md5_digest": "08b2d2384b30f10e6e20505c3e691426",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 38979669,
"upload_time": "2023-05-20T12:34:19",
"upload_time_iso_8601": "2023-05-20T12:34:19.889340Z",
"url": "https://files.pythonhosted.org/packages/84/49/30ce5961bbcaafa14363f2297551cecd9c1bedb9b5f4fd2764d7309e45d5/certora-cli-alpha-shelly-jumptodefReport-20230520.12.34.386718.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-05-20 12:34:19",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-shelly-jumptodefreport"
}
JSON