Commit 6b8408c. 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-mutation_test_urls",
"name": "certora-cli-alpha-nast-mutation-test-urls",
"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/d9/fa/8fde63f61ed4977915ddcda651ce1f86bfdbed52dee9ca705966d17f0fea/certora-cli-alpha-nast-mutation_test_urls-20231029.20.9.985934.tar.gz",
"platform": null,
"description": "Commit 6b8408c. 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": "20231029.20.9.985934",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-nast-mutation_test_urls"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "145e527a5839dc9326be0d3cbe4c0f048adc0c410793e460dfb20e23bfc551ac",
"md5": "47d8349617f642a73a82769198544d49",
"sha256": "f4b02551caf6d01580b05fd6e8d8e3a9375fbcdb3f66a367ee00f4393388f101"
},
"downloads": -1,
"filename": "certora_cli_alpha_nast_mutation_test_urls-20231029.20.9.985934-py3-none-any.whl",
"has_sig": false,
"md5_digest": "47d8349617f642a73a82769198544d49",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 13922782,
"upload_time": "2023-10-29T20:09:13",
"upload_time_iso_8601": "2023-10-29T20:09:13.871165Z",
"url": "https://files.pythonhosted.org/packages/14/5e/527a5839dc9326be0d3cbe4c0f048adc0c410793e460dfb20e23bfc551ac/certora_cli_alpha_nast_mutation_test_urls-20231029.20.9.985934-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "538ad3e5de1ab14ebc0e56642e08829fdf02a8ef1ed23dfde7c2c3f1b2794d46",
"md5": "af79628b7634ae54e31f2131af4a1a33",
"sha256": "5278c26a1ed8f90ea106f64060dda8396976f515a2d2074d833a7d9e98f11fa9"
},
"downloads": -1,
"filename": "certora_cli_alpha_nast_mutation_test_urls-20231029.20.9.985934-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "af79628b7634ae54e31f2131af4a1a33",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 15554518,
"upload_time": "2023-10-29T20:09:20",
"upload_time_iso_8601": "2023-10-29T20:09:20.088700Z",
"url": "https://files.pythonhosted.org/packages/53/8a/d3e5de1ab14ebc0e56642e08829fdf02a8ef1ed23dfde7c2c3f1b2794d46/certora_cli_alpha_nast_mutation_test_urls-20231029.20.9.985934-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "b3b24953bf7a0c1ff9191f41a78b7c2c98571141d0aa14d93b4a88a5dfb5b9fd",
"md5": "18d15f355b6deca61e47df976fd85b1e",
"sha256": "0f307a0ae659e343a4aae0d79c7fbe8a169076b61ffb72614c5de37724b04d37"
},
"downloads": -1,
"filename": "certora_cli_alpha_nast_mutation_test_urls-20231029.20.9.985934-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "18d15f355b6deca61e47df976fd85b1e",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 15682445,
"upload_time": "2023-10-29T20:09:17",
"upload_time_iso_8601": "2023-10-29T20:09:17.163286Z",
"url": "https://files.pythonhosted.org/packages/b3/b2/4953bf7a0c1ff9191f41a78b7c2c98571141d0aa14d93b4a88a5dfb5b9fd/certora_cli_alpha_nast_mutation_test_urls-20231029.20.9.985934-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "d9fa8fde63f61ed4977915ddcda651ce1f86bfdbed52dee9ca705966d17f0fea",
"md5": "a76fe0dae507b47d7a9ad7fdc33ea0c3",
"sha256": "fcf5a5f9512dff29ff451dc14eb612f5bfb22ea9f95fe8fa91d7cf160c4521b0"
},
"downloads": -1,
"filename": "certora-cli-alpha-nast-mutation_test_urls-20231029.20.9.985934.tar.gz",
"has_sig": false,
"md5_digest": "a76fe0dae507b47d7a9ad7fdc33ea0c3",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 13907639,
"upload_time": "2023-10-29T20:09:22",
"upload_time_iso_8601": "2023-10-29T20:09:22.677850Z",
"url": "https://files.pythonhosted.org/packages/d9/fa/8fde63f61ed4977915ddcda651ce1f86bfdbed52dee9ca705966d17f0fea/certora-cli-alpha-nast-mutation_test_urls-20231029.20.9.985934.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-10-29 20:09:22",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-nast-mutation-test-urls"
}
JSON