Commit 735abaf. 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-martin-sflag",
"name": "certora-cli-alpha-martin-sflag",
"maintainer": "",
"docs_url": null,
"requires_python": ">=3.8.16",
"maintainer_email": "",
"keywords": "",
"author": "Certora",
"author_email": "support@certora.com",
"download_url": "https://files.pythonhosted.org/packages/de/b5/f03c4cb50f326b415ad8c31b775bfd6b4089f5dedddf7197ff5e8b3e37d1/certora-cli-alpha-martin-sflag-20230522.13.19.110100.tar.gz",
"platform": null,
"description": "Commit 735abaf. 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": "20230522.13.19.110100",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-martin-sflag"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "7535a2d1dfa937d42d3937a8e3d606f2e893082524fb58b58b58ff4e0c3bdd2b",
"md5": "5e6519b66395e161784a214c22ad0a3b",
"sha256": "ae62f3cc9f83b8e76b31f49146156729872ec66bee0d8479ea6ac8ff6b0ea238"
},
"downloads": -1,
"filename": "certora_cli_alpha_martin_sflag-20230522.13.19.110100-py3-none-any.whl",
"has_sig": false,
"md5_digest": "5e6519b66395e161784a214c22ad0a3b",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8.16",
"size": 39009621,
"upload_time": "2023-05-22T13:19:39",
"upload_time_iso_8601": "2023-05-22T13:19:39.181848Z",
"url": "https://files.pythonhosted.org/packages/75/35/a2d1dfa937d42d3937a8e3d606f2e893082524fb58b58b58ff4e0c3bdd2b/certora_cli_alpha_martin_sflag-20230522.13.19.110100-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "deb5f03c4cb50f326b415ad8c31b775bfd6b4089f5dedddf7197ff5e8b3e37d1",
"md5": "e549394ce58e8ae459fb38b862cccb3a",
"sha256": "cb65bc72db6950123ae99dc1647575b5d60775c6e2e6f6437482846f8df3a8db"
},
"downloads": -1,
"filename": "certora-cli-alpha-martin-sflag-20230522.13.19.110100.tar.gz",
"has_sig": false,
"md5_digest": "e549394ce58e8ae459fb38b862cccb3a",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8.16",
"size": 38978663,
"upload_time": "2023-05-22T13:19:44",
"upload_time_iso_8601": "2023-05-22T13:19:44.737994Z",
"url": "https://files.pythonhosted.org/packages/de/b5/f03c4cb50f326b415ad8c31b775bfd6b4089f5dedddf7197ff5e8b3e37d1/certora-cli-alpha-martin-sflag-20230522.13.19.110100.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-05-22 13:19:44",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-martin-sflag"
}
JSON