Commit 86a2051. 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-maker_multicall",
"name": "certora-cli-alpha-maker-multicall",
"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/89/41/a7f6894d09bc02a3d5ea97d728e663fc5c2a254b0ff04135065c30588d40/certora-cli-alpha-maker_multicall-20240309.17.30.434038.tar.gz",
"platform": null,
"description": "Commit 86a2051. 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": "20240309.17.30.434038",
"project_urls": {
"Homepage": "https://pypi.org/project/certora-cli-alpha-maker_multicall"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "b2985e376adf6ad04dbc4bbe24a1c527e26d7cc5659578da8f0ef1bbd3fd02e3",
"md5": "36f62187da4af6e26f79fd8c0e20e46f",
"sha256": "131bd9cced61ee29211246a236014f0e2f8df63837a01639e7d161e3b7ea34d6"
},
"downloads": -1,
"filename": "certora_cli_alpha_maker_multicall-20240309.17.30.434038-py3-none-any.whl",
"has_sig": false,
"md5_digest": "36f62187da4af6e26f79fd8c0e20e46f",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 14413778,
"upload_time": "2024-03-09T17:30:41",
"upload_time_iso_8601": "2024-03-09T17:30:41.011154Z",
"url": "https://files.pythonhosted.org/packages/b2/98/5e376adf6ad04dbc4bbe24a1c527e26d7cc5659578da8f0ef1bbd3fd02e3/certora_cli_alpha_maker_multicall-20240309.17.30.434038-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "8d65a7b4fddedca432b28bd06c0bc4764e10493ce150fb227e105af850d5950b",
"md5": "49aca76e01922f9d3554ec6e2d6e5fdd",
"sha256": "042ef81a99a6afa94b4ff5ef159bd1063a8505e33a3a4b6e9f03eff3f2abf97f"
},
"downloads": -1,
"filename": "certora_cli_alpha_maker_multicall-20240309.17.30.434038-py3-none-macosx_10_9_universal2.whl",
"has_sig": false,
"md5_digest": "49aca76e01922f9d3554ec6e2d6e5fdd",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 16030279,
"upload_time": "2024-03-09T17:30:46",
"upload_time_iso_8601": "2024-03-09T17:30:46.104479Z",
"url": "https://files.pythonhosted.org/packages/8d/65/a7b4fddedca432b28bd06c0bc4764e10493ce150fb227e105af850d5950b/certora_cli_alpha_maker_multicall-20240309.17.30.434038-py3-none-macosx_10_9_universal2.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "b87847ec0fecbacba8979d41d90daf6a39dada986e574f9256b5c4f90847b2b8",
"md5": "4d3e7fcaa8f05afbb76f46cf712651e9",
"sha256": "da77f38ef48b167dc46f5e7b34d542055bf465f7f4e3123c29945fe0b225e42c"
},
"downloads": -1,
"filename": "certora_cli_alpha_maker_multicall-20240309.17.30.434038-py3-none-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "4d3e7fcaa8f05afbb76f46cf712651e9",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 16150045,
"upload_time": "2024-03-09T17:30:43",
"upload_time_iso_8601": "2024-03-09T17:30:43.934157Z",
"url": "https://files.pythonhosted.org/packages/b8/78/47ec0fecbacba8979d41d90daf6a39dada986e574f9256b5c4f90847b2b8/certora_cli_alpha_maker_multicall-20240309.17.30.434038-py3-none-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "8941a7f6894d09bc02a3d5ea97d728e663fc5c2a254b0ff04135065c30588d40",
"md5": "c4acc46d972aaea2973c808ed9aade60",
"sha256": "e288a431f651cbd6bbc0eedd2e1e7fa1fdd426951a08b76c0b91d265db430bc2"
},
"downloads": -1,
"filename": "certora-cli-alpha-maker_multicall-20240309.17.30.434038.tar.gz",
"has_sig": false,
"md5_digest": "c4acc46d972aaea2973c808ed9aade60",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 14395062,
"upload_time": "2024-03-09T17:30:48",
"upload_time_iso_8601": "2024-03-09T17:30:48.779116Z",
"url": "https://files.pythonhosted.org/packages/89/41/a7f6894d09bc02a3d5ea97d728e663fc5c2a254b0ff04135065c30588d40/certora-cli-alpha-maker_multicall-20240309.17.30.434038.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-03-09 17:30:48",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "certora-cli-alpha-maker-multicall"
}
JSON