Commit beb22f8. 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-nast-gambit_on_the_cloud-phase2",
"name": "certora-cli-alpha-nast-gambit-on-the-cloud-phase2",
"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/15/5d/4fa4621e09a9344e6925eb4879dc9cb5a3c3933f5fcdb434c372db0c8896/certora-cli-alpha-nast-gambit_on_the_cloud-phase2-20231003.11.22.780268.tar.gz",
"platform": null,
"description": "Commit beb22f8. 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": "20231003.11.22.780268",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-nast-gambit_on_the_cloud-phase2"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "06dda08118ada85d8c4059013bcdb62f2c5739f0c4512fdd2b27977d18e4a490",
"md5": "6653ef41e404eb854e595c41ed6572cf",
"sha256": "15020c98399fe5779f38556f7da2a346e72f6edf959e1c9a045402b6d0d173f1"
},
"downloads": -1,
"filename": "certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-any.whl",
"has_sig": false,
"md5_digest": "6653ef41e404eb854e595c41ed6572cf",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 38479207,
"upload_time": "2023-10-03T11:22:28",
"upload_time_iso_8601": "2023-10-03T11:22:28.401399Z",
"url": "https://files.pythonhosted.org/packages/06/dd/a08118ada85d8c4059013bcdb62f2c5739f0c4512fdd2b27977d18e4a490/certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "9c55cc78832900171827a56cc84806cd5d1c7e9325980ae63eff7ae218cca681",
"md5": "692f6bfe84a5f7c6ec543c71293d2674",
"sha256": "f85d0437f4c256a2ca3b85e8dcb75a774542da6dd2b870ee354ec19e9f55a553"
},
"downloads": -1,
"filename": "certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "692f6bfe84a5f7c6ec543c71293d2674",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 40032456,
"upload_time": "2023-10-03T11:22:36",
"upload_time_iso_8601": "2023-10-03T11:22:36.216232Z",
"url": "https://files.pythonhosted.org/packages/9c/55/cc78832900171827a56cc84806cd5d1c7e9325980ae63eff7ae218cca681/certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "cad2a45372210ed497e5faf01b9db855bfd2bb5a877181f43bf511652177a8d8",
"md5": "40a6736b452a7352881a96a1e65a8272",
"sha256": "2e31c99b97cdecc399a845d2a2101b2f98a78b57e4b1672a13f60c6769d25ad7"
},
"downloads": -1,
"filename": "certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "40a6736b452a7352881a96a1e65a8272",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 40140678,
"upload_time": "2023-10-03T11:22:32",
"upload_time_iso_8601": "2023-10-03T11:22:32.136115Z",
"url": "https://files.pythonhosted.org/packages/ca/d2/a45372210ed497e5faf01b9db855bfd2bb5a877181f43bf511652177a8d8/certora_cli_alpha_nast_gambit_on_the_cloud_phase2-20231003.11.22.780268-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "155d4fa4621e09a9344e6925eb4879dc9cb5a3c3933f5fcdb434c372db0c8896",
"md5": "e76795418ae0357dab4d4ec502ffc46e",
"sha256": "1cdae6cf938a96acd5891019420ece7e9b3a92044fd5fc90aab6a64cb703a3d9"
},
"downloads": -1,
"filename": "certora-cli-alpha-nast-gambit_on_the_cloud-phase2-20231003.11.22.780268.tar.gz",
"has_sig": false,
"md5_digest": "e76795418ae0357dab4d4ec502ffc46e",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 38462898,
"upload_time": "2023-10-03T11:22:39",
"upload_time_iso_8601": "2023-10-03T11:22:39.279857Z",
"url": "https://files.pythonhosted.org/packages/15/5d/4fa4621e09a9344e6925eb4879dc9cb5a3c3933f5fcdb434c372db0c8896/certora-cli-alpha-nast-gambit_on_the_cloud-phase2-20231003.11.22.780268.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-10-03 11:22:39",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-nast-gambit-on-the-cloud-phase2"
}
JSON