Commit 45c35a0. 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-uri-eradicate_certora_dir",
"name": "certora-cli-alpha-uri-eradicate-certora-dir",
"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/32/3f/7ffdf57c762754a19283341ce2fa0060d3a7fe4dbd736d10d3e6103589f6/certora-cli-alpha-uri-eradicate_certora_dir-20230801.15.42.608313.tar.gz",
"platform": null,
"description": "Commit 45c35a0. 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": "20230801.15.42.608313",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-uri-eradicate_certora_dir"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "54bc993816a79bf117c58201180e921ea3a16f0ae10a22acb7d0f9e57e8e9089",
"md5": "fa79a0278c8b8c066a0cd235d6d9db71",
"sha256": "b73640cbfc5e7880242af55ac3f75e8d1d43a1d04c4604c5571e51105eb61e50"
},
"downloads": -1,
"filename": "certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-any.whl",
"has_sig": false,
"md5_digest": "fa79a0278c8b8c066a0cd235d6d9db71",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 37764022,
"upload_time": "2023-08-01T15:42:38",
"upload_time_iso_8601": "2023-08-01T15:42:38.352573Z",
"url": "https://files.pythonhosted.org/packages/54/bc/993816a79bf117c58201180e921ea3a16f0ae10a22acb7d0f9e57e8e9089/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "51a4b896586e0293deb7df1cbbdfc92e4f2342f569ac5b5eeb1d514e03d536e2",
"md5": "df1bc356fc07ca2c0a55611a2448eb62",
"sha256": "a33002b42098b6df82722ccb9b06d930853f752c3f39e182fd7fda9a6ff85369"
},
"downloads": -1,
"filename": "certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "df1bc356fc07ca2c0a55611a2448eb62",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 39317272,
"upload_time": "2023-08-01T15:42:45",
"upload_time_iso_8601": "2023-08-01T15:42:45.474854Z",
"url": "https://files.pythonhosted.org/packages/51/a4/b896586e0293deb7df1cbbdfc92e4f2342f569ac5b5eeb1d514e03d536e2/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "be92ac192eb60f144b9f403acfcc9daa94a4a237eae7c566bf88303432243b29",
"md5": "844735bc056d233d6db913dc5fc9bde3",
"sha256": "b05ce490796af1125a702fcadbc73901b47d61ea5698f56a99ec07e1ba73f358"
},
"downloads": -1,
"filename": "certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "844735bc056d233d6db913dc5fc9bde3",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 39425490,
"upload_time": "2023-08-01T15:42:42",
"upload_time_iso_8601": "2023-08-01T15:42:42.201104Z",
"url": "https://files.pythonhosted.org/packages/be/92/ac192eb60f144b9f403acfcc9daa94a4a237eae7c566bf88303432243b29/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "323f7ffdf57c762754a19283341ce2fa0060d3a7fe4dbd736d10d3e6103589f6",
"md5": "9c968d3f5e7c3d527e2f9d10f0f933b5",
"sha256": "c5f3bf64cc32b1370f63299644003bd9744400d7be6a485496dbf2dd5bcaa68b"
},
"downloads": -1,
"filename": "certora-cli-alpha-uri-eradicate_certora_dir-20230801.15.42.608313.tar.gz",
"has_sig": false,
"md5_digest": "9c968d3f5e7c3d527e2f9d10f0f933b5",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 37750068,
"upload_time": "2023-08-01T15:42:48",
"upload_time_iso_8601": "2023-08-01T15:42:48.224240Z",
"url": "https://files.pythonhosted.org/packages/32/3f/7ffdf57c762754a19283341ce2fa0060d3a7fe4dbd736d10d3e6103589f6/certora-cli-alpha-uri-eradicate_certora_dir-20230801.15.42.608313.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-08-01 15:42:48",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-uri-eradicate-certora-dir"
}
JSON