Commit 6348fd3. 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-pinnedgambit",
"name": "certora-cli-alpha-oz-pinnedgambit",
"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/2c/83/6443000ae2c60ad24e305dab704ae41f6a9108313457c678bfe983bc7bf2/certora-cli-alpha-oz-pinnedgambit-20230713.8.2.496097.tar.gz",
"platform": null,
"description": "Commit 6348fd3. 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": "20230713.8.2.496097",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-oz-pinnedgambit"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "c30b90c98ef61a5770c61a090e3803471d30cea0563f8e13c08d1de8462a975d",
"md5": "7b28238211825fd382e0ccacd209b79a",
"sha256": "75aae189db7f87694e3c2ada9d6d3a760310e7a1047ec6255c449506245085db"
},
"downloads": -1,
"filename": "certora_cli_alpha_oz_pinnedgambit-20230713.8.2.496097-py3-none-any.whl",
"has_sig": false,
"md5_digest": "7b28238211825fd382e0ccacd209b79a",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 37505144,
"upload_time": "2023-07-13T08:02:37",
"upload_time_iso_8601": "2023-07-13T08:02:37.046846Z",
"url": "https://files.pythonhosted.org/packages/c3/0b/90c98ef61a5770c61a090e3803471d30cea0563f8e13c08d1de8462a975d/certora_cli_alpha_oz_pinnedgambit-20230713.8.2.496097-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "63bc68c2efda768875983058b035b25146eed84c5121bc08ab5ad68a17f72a5e",
"md5": "3e2af75388446b61bb157e1da35fd4c4",
"sha256": "ab315f67d02f18f04290d21b27d267fcd38f6ff674138bbb19387741414a63d5"
},
"downloads": -1,
"filename": "certora_cli_alpha_oz_pinnedgambit-20230713.8.2.496097-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "3e2af75388446b61bb157e1da35fd4c4",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 39058393,
"upload_time": "2023-07-13T08:02:49",
"upload_time_iso_8601": "2023-07-13T08:02:49.071670Z",
"url": "https://files.pythonhosted.org/packages/63/bc/68c2efda768875983058b035b25146eed84c5121bc08ab5ad68a17f72a5e/certora_cli_alpha_oz_pinnedgambit-20230713.8.2.496097-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "dc3445fdb6006a2e3aa9270478d69dd926907c21880884b3bc8a2e99e42ecc93",
"md5": "29db0a690639f7ccf891b705ab23daba",
"sha256": "dda3a5db45cd23f787c14efd9937b966043f878bef779f92e01e18adb59aacad"
},
"downloads": -1,
"filename": "certora_cli_alpha_oz_pinnedgambit-20230713.8.2.496097-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "29db0a690639f7ccf891b705ab23daba",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 39166611,
"upload_time": "2023-07-13T08:02:44",
"upload_time_iso_8601": "2023-07-13T08:02:44.396478Z",
"url": "https://files.pythonhosted.org/packages/dc/34/45fdb6006a2e3aa9270478d69dd926907c21880884b3bc8a2e99e42ecc93/certora_cli_alpha_oz_pinnedgambit-20230713.8.2.496097-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "2c836443000ae2c60ad24e305dab704ae41f6a9108313457c678bfe983bc7bf2",
"md5": "d3a54f8c359d1b66b8f0a9dd04bf1446",
"sha256": "3ecc90cce21f4915648922995491284d844bebc3bdd19b2c3de4db4b8d35f61a"
},
"downloads": -1,
"filename": "certora-cli-alpha-oz-pinnedgambit-20230713.8.2.496097.tar.gz",
"has_sig": false,
"md5_digest": "d3a54f8c359d1b66b8f0a9dd04bf1446",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 37489489,
"upload_time": "2023-07-13T08:02:54",
"upload_time_iso_8601": "2023-07-13T08:02:54.491658Z",
"url": "https://files.pythonhosted.org/packages/2c/83/6443000ae2c60ad24e305dab704ae41f6a9108313457c678bfe983bc7bf2/certora-cli-alpha-oz-pinnedgambit-20230713.8.2.496097.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-07-13 08:02:54",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-oz-pinnedgambit"
}
JSON