Commit 30f9701. 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-jtoman-cert-2201",
"name": "certora-cli-alpha-jtoman-cert-2201",
"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/d2/c7/21c59d69691e5f00c263244171b16a8e72cfd4e918fad0f35491e7689705/certora-cli-alpha-jtoman-cert-2201-20230524.17.12.878229.tar.gz",
"platform": null,
"description": "Commit 30f9701. 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": "20230524.17.12.878229",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-jtoman-cert-2201"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "efb73f30f9b2ef6b74a3150f095d6ddaa68098db095915c1962c6262d448547f",
"md5": "451e5925236c4c87f82ad6bc8a2725b0",
"sha256": "76b1eb0806ba6ff6ec3ddbd26c4bb1f449762b11dcf41fb0ce3448b6dd0f843f"
},
"downloads": -1,
"filename": "certora_cli_alpha_jtoman_cert_2201-20230524.17.12.878229-py3-none-any.whl",
"has_sig": false,
"md5_digest": "451e5925236c4c87f82ad6bc8a2725b0",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8.16",
"size": 39009501,
"upload_time": "2023-05-24T17:12:10",
"upload_time_iso_8601": "2023-05-24T17:12:10.245851Z",
"url": "https://files.pythonhosted.org/packages/ef/b7/3f30f9b2ef6b74a3150f095d6ddaa68098db095915c1962c6262d448547f/certora_cli_alpha_jtoman_cert_2201-20230524.17.12.878229-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "d2c721c59d69691e5f00c263244171b16a8e72cfd4e918fad0f35491e7689705",
"md5": "2649272d9d07ed36d832087850f25aad",
"sha256": "4c9ffa30c6cccea4939d62831de326ab4af8ff8855fd874057da88f444a8ac22"
},
"downloads": -1,
"filename": "certora-cli-alpha-jtoman-cert-2201-20230524.17.12.878229.tar.gz",
"has_sig": false,
"md5_digest": "2649272d9d07ed36d832087850f25aad",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8.16",
"size": 38980040,
"upload_time": "2023-05-24T17:12:17",
"upload_time_iso_8601": "2023-05-24T17:12:17.326367Z",
"url": "https://files.pythonhosted.org/packages/d2/c7/21c59d69691e5f00c263244171b16a8e72cfd4e918fad0f35491e7689705/certora-cli-alpha-jtoman-cert-2201-20230524.17.12.878229.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-05-24 17:12:17",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-jtoman-cert-2201"
}
JSON