Commit d45521f. 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-ef",
"name": "certora-cli-alpha-shelly-ef",
"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/78/66/ea9c579fe84e7c7b34438d1046fcec1f348fa735bc4add69aa289c78e948/certora-cli-alpha-shelly-ef-20231127.9.32.271980.tar.gz",
"platform": null,
"description": "Commit d45521f. 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": "20231127.9.32.271980",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-shelly-ef"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "8de1b2305617050000d9a13116c108c98ec99ee8077437175628f33964bbbd1e",
"md5": "968f65e5fc485e0aed8b8622f74a77c1",
"sha256": "688fdbaaf0d46d3874c88676a86e331d78016e4b6f02ac51a4db254de5847da9"
},
"downloads": -1,
"filename": "certora_cli_alpha_shelly_ef-20231127.9.32.271980-py3-none-any.whl",
"has_sig": false,
"md5_digest": "968f65e5fc485e0aed8b8622f74a77c1",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 13898498,
"upload_time": "2023-11-27T09:32:43",
"upload_time_iso_8601": "2023-11-27T09:32:43.830069Z",
"url": "https://files.pythonhosted.org/packages/8d/e1/b2305617050000d9a13116c108c98ec99ee8077437175628f33964bbbd1e/certora_cli_alpha_shelly_ef-20231127.9.32.271980-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "052791ce21018125be9a79947357adaa7befe362bed2afacae423073958a21ac",
"md5": "2eba9e5a778795a7d65e6151a2c7d437",
"sha256": "c84b42aea8fd63e2ac2c10107b37e4da2ac472b058a08feab71be2555fcabe2d"
},
"downloads": -1,
"filename": "certora_cli_alpha_shelly_ef-20231127.9.32.271980-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "2eba9e5a778795a7d65e6151a2c7d437",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 15530234,
"upload_time": "2023-11-27T09:32:49",
"upload_time_iso_8601": "2023-11-27T09:32:49.595287Z",
"url": "https://files.pythonhosted.org/packages/05/27/91ce21018125be9a79947357adaa7befe362bed2afacae423073958a21ac/certora_cli_alpha_shelly_ef-20231127.9.32.271980-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "d954f1d89fb99b72a24f311dc62a154d3a375dcc565ed2221ba251204df642f6",
"md5": "6d1280b7e8d7c7b77766818a94fb4122",
"sha256": "d91997168117c56b4d8556af7cb7a682d3a5713a0080ad1bf41d26ab4296fb23"
},
"downloads": -1,
"filename": "certora_cli_alpha_shelly_ef-20231127.9.32.271980-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "6d1280b7e8d7c7b77766818a94fb4122",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 15658161,
"upload_time": "2023-11-27T09:32:46",
"upload_time_iso_8601": "2023-11-27T09:32:46.918399Z",
"url": "https://files.pythonhosted.org/packages/d9/54/f1d89fb99b72a24f311dc62a154d3a375dcc565ed2221ba251204df642f6/certora_cli_alpha_shelly_ef-20231127.9.32.271980-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "7866ea9c579fe84e7c7b34438d1046fcec1f348fa735bc4add69aa289c78e948",
"md5": "852f5d7f874f7104218155cac185590e",
"sha256": "c45d862d6bf058bf377c2aed4db01d42f272ffb3e0adcd48197d8f2537160b18"
},
"downloads": -1,
"filename": "certora-cli-alpha-shelly-ef-20231127.9.32.271980.tar.gz",
"has_sig": false,
"md5_digest": "852f5d7f874f7104218155cac185590e",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 13883454,
"upload_time": "2023-11-27T09:32:52",
"upload_time_iso_8601": "2023-11-27T09:32:52.243400Z",
"url": "https://files.pythonhosted.org/packages/78/66/ea9c579fe84e7c7b34438d1046fcec1f348fa735bc4add69aa289c78e948/certora-cli-alpha-shelly-ef-20231127.9.32.271980.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-11-27 09:32:52",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-shelly-ef"
}
JSON