Commit 56e41eb. 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-oz-cli-by-os",
"name": "certora-cli-alpha-oz-cli-by-os",
"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/10/33/78e6e6760d8e6af486d7ac3d07bdefe6baed47dca4a4537979d27cae6733/certora-cli-alpha-oz-cli-by-os-20230704.12.14.654666.tar.gz",
"platform": null,
"description": "Commit 56e41eb. 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": "20230704.12.14.654666",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-oz-cli-by-os"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "8099d5958f7d6ed79e17dbe4e1be271000785a5d632ff9001719817c3945485f",
"md5": "deb8e2e015abfa5f410640c8862befbb",
"sha256": "b6b6fc70531f761a5990192911dd709cfcc8bd6b85160211151c2a6f4106f948"
},
"downloads": -1,
"filename": "certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666-py3-none-any.whl",
"has_sig": false,
"md5_digest": "deb8e2e015abfa5f410640c8862befbb",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 37451238,
"upload_time": "2023-07-04T12:15:05",
"upload_time_iso_8601": "2023-07-04T12:15:05.617842Z",
"url": "https://files.pythonhosted.org/packages/80/99/d5958f7d6ed79e17dbe4e1be271000785a5d632ff9001719817c3945485f/certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "3b1a945b957e196eb172e5a6de7f5da6a10ca9c2c51d8cc1e07c2a8a547d4af2",
"md5": "1813ef4aa512f3160265804b5fc70fd0",
"sha256": "9bc2f42fd1ec4f748f4159ec8321c762a27e809bb49b0f574eba2619380a5605"
},
"downloads": -1,
"filename": "certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "1813ef4aa512f3160265804b5fc70fd0",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 39003559,
"upload_time": "2023-07-04T12:15:16",
"upload_time_iso_8601": "2023-07-04T12:15:16.310889Z",
"url": "https://files.pythonhosted.org/packages/3b/1a/945b957e196eb172e5a6de7f5da6a10ca9c2c51d8cc1e07c2a8a547d4af2/certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "49e09c293a0405ffc6ab6793085eec0716ebd55c749606951dd2fcecda07d35a",
"md5": "f406e19514e07306af2c367c744228a1",
"sha256": "cdfbab2b2da5d2a28316d50bea831a89a3569430b2f188d101c76997286074ed"
},
"downloads": -1,
"filename": "certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "f406e19514e07306af2c367c744228a1",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 39111742,
"upload_time": "2023-07-04T12:15:10",
"upload_time_iso_8601": "2023-07-04T12:15:10.455239Z",
"url": "https://files.pythonhosted.org/packages/49/e0/9c293a0405ffc6ab6793085eec0716ebd55c749606951dd2fcecda07d35a/certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "103378e6e6760d8e6af486d7ac3d07bdefe6baed47dca4a4537979d27cae6733",
"md5": "2e7450a2a76a4fb10494fa9ba1d01819",
"sha256": "14ee9e4677acdd9036227d9a723bf9ffaa4e61b5ffa4600eed097c4168cad515"
},
"downloads": -1,
"filename": "certora-cli-alpha-oz-cli-by-os-20230704.12.14.654666.tar.gz",
"has_sig": false,
"md5_digest": "2e7450a2a76a4fb10494fa9ba1d01819",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 37436260,
"upload_time": "2023-07-04T12:15:21",
"upload_time_iso_8601": "2023-07-04T12:15:21.704054Z",
"url": "https://files.pythonhosted.org/packages/10/33/78e6e6760d8e6af486d7ac3d07bdefe6baed47dca4a4537979d27cae6733/certora-cli-alpha-oz-cli-by-os-20230704.12.14.654666.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-07-04 12:15:21",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-oz-cli-by-os"
}
JSON