2025-10-02T21:32:46,639 Created temporary directory: /tmp/pip-ephem-wheel-cache-l8ov9r5p
2025-10-02T21:32:46,640 Created temporary directory: /tmp/pip-build-tracker-ursnysve
2025-10-02T21:32:46,641 Initialized build tracking at /tmp/pip-build-tracker-ursnysve
2025-10-02T21:32:46,642 Created build tracker: /tmp/pip-build-tracker-ursnysve
2025-10-02T21:32:46,642 Entered build tracker: /tmp/pip-build-tracker-ursnysve
2025-10-02T21:32:46,643 Created temporary directory: /tmp/pip-wheel-vjqymebo
2025-10-02T21:32:46,646 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2025-10-02T21:32:46,648 Created temporary directory: /tmp/pip-ephem-wheel-cache-9t42p1da
2025-10-02T21:32:46,670 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-10-02T21:32:46,673 2 location(s) to search for versions of certora-cli-alpha-master:
2025-10-02T21:32:46,673 * https://pypi.org/simple/certora-cli-alpha-master/
2025-10-02T21:32:46,673 * https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-10-02T21:32:46,674 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/
2025-10-02T21:32:46,675 Getting page https://pypi.org/simple/certora-cli-alpha-master/
2025-10-02T21:32:46,676 Found index url https://pypi.org/simple
2025-10-02T21:32:46,893 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json
2025-10-02T21:32:46,908   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c6/00/636427591d27c776ede303eb3937fdf843016693b42c44e8e9b0e39920d7/certora_cli_alpha_master-20250924.20.27.347903-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,908   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f6/9c/6861f431048d2deacbe6707646ab2f5f239fcccb7672403e81b882e7fd87/certora_cli_alpha_master-20250924.20.27.347903-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,909   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/48/40/5c21f43887a7680ad1aa63b11558d87ee7134cff87892aa75437048ed5f7/certora_cli_alpha_master-20250924.20.27.347903-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,910   Found link https://files.pythonhosted.org/packages/d9/e8/dd261ceae40c4379e677f33eb0f66a14d5aa42e23ac538e0af3885c61d29/certora_cli_alpha_master-20250924.20.27.347903.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250924.20.27.347903
2025-10-02T21:32:46,911   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/df/8d/cb1b5377a345cb2ef8af310f482682e5c29cfeab61512662580688b078da/certora_cli_alpha_master-20250925.21.32.629319-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,912   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/52/de/919ada9d5559b212f8e352e5acbc753c4425cb2745237b65491b2fe7f351/certora_cli_alpha_master-20250925.21.32.629319-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,912   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6e/41/0997910e1f1f4acb12f5f10f0182baa7212cb4742a8ebab684559aa4bb50/certora_cli_alpha_master-20250925.21.32.629319-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,913   Found link https://files.pythonhosted.org/packages/ec/c6/5a967580d5f03acf2bf5bb4a6cc5231cd3bfb5341f62d928d4cd148f6888/certora_cli_alpha_master-20250925.21.32.629319.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250925.21.32.629319
2025-10-02T21:32:46,914   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e1/0e/6b1e15c60c0a4f193dc82dd30d5dab32b4a96a87bd3b8872cf8482616651/certora_cli_alpha_master-20250925.23.41.511158-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,915   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ae/ab/e43c3b935048adf5cce9f6f790e255025060b4be5d60fd77d31753e5e3a5/certora_cli_alpha_master-20250925.23.41.511158-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,916   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/60/0e/097e56084a4cd2785d48fd7dfe8d417d894a40f53cd513005251ab3e7da7/certora_cli_alpha_master-20250925.23.41.511158-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,916   Found link https://files.pythonhosted.org/packages/f8/56/dea6702fdba878c57993d68ce0dbaf59debce3b61f1c7210360dc14ae7ca/certora_cli_alpha_master-20250925.23.41.511158.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250925.23.41.511158
2025-10-02T21:32:46,917   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/73/fd/865ae1ebcea68df85f0b9795502c5df4a8ef4a9032b865e7022b3c56ac63/certora_cli_alpha_master-20250926.1.32.577495-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,918   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fd/00/1ca61cc9d1ce7d7380f80fe93469baaa7ee02922937dcce23577cf8f7c8a/certora_cli_alpha_master-20250926.1.32.577495-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,918   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/bd/93/6fa298d89a10a4854d3b0328d124500ea2400fd484095d143fb250d3065e/certora_cli_alpha_master-20250926.1.32.577495-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,919   Found link https://files.pythonhosted.org/packages/b2/58/1410535d487510a4c7926ad087e4d4fd481523f694ee1e440d02c8f7768a/certora_cli_alpha_master-20250926.1.32.577495.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250926.1.32.577495
2025-10-02T21:32:46,920   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/43/b1/a2d76ae5e22d7aa5b08976d6fc52cfbefe0a02cb1d77bec0b053760c7039/certora_cli_alpha_master-20250926.2.20.643182-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,921   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a9/20/d203345215da444af63c3de322e2424a2e2efabe10ffefadbd84007536f5/certora_cli_alpha_master-20250926.2.20.643182-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,921   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fe/51/7b61644f7a53286e4b93148d2d0e3fe1408ff58dce92010004faedb341c5/certora_cli_alpha_master-20250926.2.20.643182-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,922   Found link https://files.pythonhosted.org/packages/e6/c9/9e11ec160df731ba0ad32fc6cd48436582f4f4771ed31e96a2bae9838e2f/certora_cli_alpha_master-20250926.2.20.643182.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250926.2.20.643182
2025-10-02T21:32:46,923   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e7/f0/c999b4f3eb72e6fbdbcbf4f1bdc12c759325cf6151bb9fdbb2fa7d46254b/certora_cli_alpha_master-20250926.18.13.526732-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,924   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c7/3b/8396dccf4e5384f4c48c769b7a460455f0c4ecd41ac53fd1314b9577a4a6/certora_cli_alpha_master-20250926.18.13.526732-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,924   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4b/f2/2960b937dbdb29f2de84a618e11b243de064ba16e1eb796f9b1b74d99b78/certora_cli_alpha_master-20250926.18.13.526732-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,925   Found link https://files.pythonhosted.org/packages/dc/b0/5a50fc397f47c0245e3cda981c34b9f4dbb43214943b7400ca6e57eb2f19/certora_cli_alpha_master-20250926.18.13.526732.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250926.18.13.526732
2025-10-02T21:32:46,926   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/79/85/b25aecfd8c1a1eb50d629cbb676d4ddeecb04671eb3b1dddce18ce2f4f1c/certora_cli_alpha_master-20250926.22.58.223100-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,927   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d1/40/df714d1a025850c6de3abf60d0039aedd61fc9c9b7e06af5052393fde375/certora_cli_alpha_master-20250926.22.58.223100-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,927   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0a/30/8bd6e0779a5dae4292587c8177f742759d82c9272ba7283c61a9b6606560/certora_cli_alpha_master-20250926.22.58.223100-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,928   Found link https://files.pythonhosted.org/packages/d6/e7/d562f0ca8af18c6acec5bd637e7fd79f35c093a08dd0b1780aa60286f198/certora_cli_alpha_master-20250926.22.58.223100.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250926.22.58.223100
2025-10-02T21:32:46,929   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/72/d4/ec0e643065b5b73fd91b512c98b84b02f005445e5df291110595c001b50f/certora_cli_alpha_master-20250928.8.56.931778-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,930   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c4/bb/91d151e4251e44208eb0770fc347cd4222a801908ffbadefe5d59b082970/certora_cli_alpha_master-20250928.8.56.931778-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,930   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/02/8f/37d4b056f53a95262ab1efa0f3443ecda186bcd09330ab0aff7deba79d9e/certora_cli_alpha_master-20250928.8.56.931778-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,931   Found link https://files.pythonhosted.org/packages/4b/e5/86149165babb82f43bcbdda2a5e8108bc12cc425bcf166939e7e79c2d0cd/certora_cli_alpha_master-20250928.8.56.931778.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250928.8.56.931778
2025-10-02T21:32:46,933   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/56/40/eda6a522f0142d9e3832ba8b912e2758a0485c8c970d98fa1b85b41d5894/certora_cli_alpha_master-20250930.6.59.556139-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,933   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7e/fd/d0a1dfa08894b73ddb5913b7e4223a5ecbf03c87d04dbaa9f379ad67e9a0/certora_cli_alpha_master-20250930.6.59.556139-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,934   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5b/16/c91b27a1d2504077c0ba96cc5e871bb56c1c19e61fe2305fc188ea6d6897/certora_cli_alpha_master-20250930.6.59.556139-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,934   Found link https://files.pythonhosted.org/packages/16/f6/8e783c0fd1bc927c27525dc33944eb6e4290968ab085b49ae9ba0941c80c/certora_cli_alpha_master-20250930.6.59.556139.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250930.6.59.556139
2025-10-02T21:32:46,935   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4d/62/562bda32a1c55fc9641674b00f71d5d2bae009d59404a63f012203cb2cc5/certora_cli_alpha_master-20250930.14.57.423664-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,936   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/35/9d/46dd8e6861edc3e1ef9a5a3c93253288a6a4ef5d96b2c22e8e9b60d12d90/certora_cli_alpha_master-20250930.14.57.423664-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,936   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/29/48/fb1318baf351777d4adda32d167e32d5031d70473a6f1da602ab369616ef/certora_cli_alpha_master-20250930.14.57.423664-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,937   Found link https://files.pythonhosted.org/packages/fd/db/61091c9a6f8cf8ed50b502a9884fde22cf1b57bac0206440cbeaa71c7ce5/certora_cli_alpha_master-20250930.14.57.423664.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250930.14.57.423664
2025-10-02T21:32:46,938   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ef/9b/f3ed681c252d5e2a77b44bcc856d445c11bb48f0effcd0931b662557f62c/certora_cli_alpha_master-20250930.22.48.736735-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,939   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/05/8b/09cd3fabbf802e6e26ae153544f034d30dfd15da4e765023d6fd8214b86d/certora_cli_alpha_master-20250930.22.48.736735-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,939   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7c/bb/c840b45ff8c9c79b93c7caf4d355a7b4d828a8bb5677bebbb59f74aae6d8/certora_cli_alpha_master-20250930.22.48.736735-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,940   Found link https://files.pythonhosted.org/packages/d9/a5/2378a133cb2c53525c8e91d6f25f8e70c32c8d018eebdad351f74dc93a2f/certora_cli_alpha_master-20250930.22.48.736735.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250930.22.48.736735
2025-10-02T21:32:46,941   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e7/db/326c58124ed6ec9702e7b1a4be53a58dfc8857d8db2e329f3f1c8ded07bf/certora_cli_alpha_master-20250930.23.43.373106-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,942   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/49/d3/0c7da8dd7179479b75a1864a2aaee9afb27f41b3c618deda3527d41b8461/certora_cli_alpha_master-20250930.23.43.373106-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,942   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/70/d5/dc72d7cca8f328d53e416ecdd9df00bc044f824d2823f47e5476385e18ee/certora_cli_alpha_master-20250930.23.43.373106-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,943   Found link https://files.pythonhosted.org/packages/73/41/c016b0d02a2e97e609967d20e75acf1c034548e5fe5e17a9148cf868e3e2/certora_cli_alpha_master-20250930.23.43.373106.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250930.23.43.373106
2025-10-02T21:32:46,944   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ee/d4/ef2fd6b156a24f05c370aeefc14c0011f21aba1d0c5212e7ea06e795b4f9/certora_cli_alpha_master-20251001.16.55.47244-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,944   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/80/1a/4bc7fde9cddaddec85c85d2a68059445d012a3573f73b23ca92e063eedfa/certora_cli_alpha_master-20251001.16.55.47244-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,945   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3c/4d/630cab8d6c1b0b399939ad17f91c134682e7b8f059bcdb10f06e89fe95a2/certora_cli_alpha_master-20251001.16.55.47244-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,946   Found link https://files.pythonhosted.org/packages/a4/2b/414526513f1bf52894269dc0db42cc2ece8ab8c8aa0911eb41fdfd0be8e3/certora_cli_alpha_master-20251001.16.55.47244.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251001.16.55.47244
2025-10-02T21:32:46,947   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f4/b3/dbe1d4050a72f0b7735c7877bf62794e17bdd515417516bcce326d0150e1/certora_cli_alpha_master-20251001.21.56.577903-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,947   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/91/41/e7ddd1a6b64343d12e57e5a939b04b851651ee3ea64b3bc8b0fb81c8e779/certora_cli_alpha_master-20251001.21.56.577903-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,948   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5f/66/be4a19a1724b1d0242b7e1a90b29338fcf18385f60755d6f60df6f8ca8c6/certora_cli_alpha_master-20251001.21.56.577903-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,949   Found link https://files.pythonhosted.org/packages/62/b3/547f4d0146c30568e0cfd41840004a97b67b8c8ac340fc12c21777e6dbd0/certora_cli_alpha_master-20251001.21.56.577903.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251001.21.56.577903
2025-10-02T21:32:46,950   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7b/2c/9e9a2bf9b98bce739ba15fce39a2417585243a39eb78b21672fa9297c79a/certora_cli_alpha_master-20251002.3.8.824092-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,950   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5e/2b/3a4ea8fc80aa961943886e9926a12333ff43d3f3165906eb4ee76cfe5b16/certora_cli_alpha_master-20251002.3.8.824092-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,951   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fe/d3/4fe26cd57607e6242df6a1c9842d80dde9713b2471a05f778619d9a8ca55/certora_cli_alpha_master-20251002.3.8.824092-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,952   Found link https://files.pythonhosted.org/packages/10/01/23e50f210c1516e2abddae0fab00650d44bdc6c7730ac1764ae59e8df090/certora_cli_alpha_master-20251002.3.8.824092.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251002.3.8.824092
2025-10-02T21:32:46,952   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5b/db/a5d38e68eb6efce514d616a12141e4654f456101c193a0ae0a2155771335/certora_cli_alpha_master-20251002.18.40.665446-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,953   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4e/ef/484f732df5941d02e138114ae3d16428911af1b9e2ffb95fccf244b4f092/certora_cli_alpha_master-20251002.18.40.665446-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,954   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e3/36/88ad802a893eb01f7a8664598f713c71a4ce164489c7614979b20a4b50b7/certora_cli_alpha_master-20251002.18.40.665446-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,954   Found link https://files.pythonhosted.org/packages/23/6f/d9ab664c5714af970b4a48917ab6d8c460de1aa3a77162378bb36e1cdeb7/certora_cli_alpha_master-20251002.18.40.665446.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251002.18.40.665446
2025-10-02T21:32:46,955   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/16/93/16c50bb556f2cdfce1a61bf6607014e7ddc391e20ede937a82cd649ea4e2/certora_cli_alpha_master-20251002.19.34.460373-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,956   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d5/9f/0ab88c70916dd4599335cdbae8b9ac00469230e523bd788ae43316220ec3/certora_cli_alpha_master-20251002.19.34.460373-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,956   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1c/68/bcf6bfee2340a657fe0271919f0db67ab0df9e8880afb6db771cc2477010/certora_cli_alpha_master-20251002.19.34.460373-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,957   Found link https://files.pythonhosted.org/packages/ac/2f/edf604e4fb06dd345c3e9394526cdd183e59eded3e96965aa71dcd2b29e0/certora_cli_alpha_master-20251002.19.34.460373.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251002.19.34.460373
2025-10-02T21:32:46,958   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/df/81/406e9730aff273a9a784b6e8d39d561cd3e4b3f765e4a929679699f2788a/certora_cli_alpha_master-20251002.20.31.252325-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,958   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c1/36/60cdb5dbfcdaca1680b104b2e6c8f033e5a4428b6fba7490aa5dcef4695e/certora_cli_alpha_master-20251002.20.31.252325-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,959   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ad/4e/518e80cf9436f7e5ba7a98e5c4931432c7a6c5bbc998bd327180d5074483/certora_cli_alpha_master-20251002.20.31.252325-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:46,959   Found link https://files.pythonhosted.org/packages/b0/7e/e45564f170f69e8eba625758afec65c4c97aaddb377ebc0ddbf50602c003/certora_cli_alpha_master-20251002.20.31.252325.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251002.20.31.252325
2025-10-02T21:32:46,960 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-10-02T21:32:46,961 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-10-02T21:32:46,962 Found index url https://www.piwheels.org/simple
2025-10-02T21:32:47,266 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html
2025-10-02T21:32:47,276   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251002.19.34.460373-py3-none-any.whl#sha256=d62f4821c50fb73c72c8370e46c9ce3f47fd1c293eaec324d448575d10e93127 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,278   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251002.18.40.665446-py3-none-any.whl#sha256=4fe48f4570f2b523fe72cb47982ba0ca19e6eba1f916ef31ac7a7cec9056a1bc (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,279   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251002.3.8.824092-py3-none-any.whl#sha256=0e6773b721ea9f16967e7ffb92a615fddc77c62d3b0772618cd73458f3f190cf (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,279   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251001.21.56.577903-py3-none-any.whl#sha256=54defd849de18ecddadbab5296b1f1843de7c8adb693fe8f85e730386dc8458a (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,280   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251001.16.55.47244-py3-none-any.whl#sha256=49b9b9b1691cdcec60ff50ae5684e9cbeb9517dd089fcd5f9674483caa90708e (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,281   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250930.23.43.373106-py3-none-any.whl#sha256=258b710029f1fe33c9cc5a19e707b3491fa0ba458a93b533b2ffd3220a2a5e5b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,282   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250930.22.48.736735-py3-none-any.whl#sha256=9415302b5c7eea6f3dd2959db9231c23458ed6c37c6addbae740ae8500ed157f (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,283   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250930.14.57.423664-py3-none-any.whl#sha256=572a06005e4e97cc6320cb4d85c7a8e3df26aad826232040ea1b64a90c704d92 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,284   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250930.6.59.556139-py3-none-any.whl#sha256=47c6a6adf2609f4963dbef66e54ab3587862d275adff023e475953ecf1326512 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,284   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250928.8.56.931778-py3-none-any.whl#sha256=b347375eb62b9d5ee8b85d101f2bb19f4089f2fd67da11a60c5514a12d140ec9 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,285   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250926.22.58.223100-py3-none-any.whl#sha256=f7addf8da115f62c24b6d559348bfec557f315450f9e13b700f29cf011d7ee4c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,286   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250926.18.13.526732-py3-none-any.whl#sha256=6106c20584c3021500e16f2c31d37756c79647936dc9400c1be9283fd5fe6c31 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,287   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250926.2.20.643182-py3-none-any.whl#sha256=6b3ac99d3fd6539a23d2ce46959b5b5a960e393127f5b5db810da38d4a21381f (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,288   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250926.1.32.577495-py3-none-any.whl#sha256=19fbc6c91cc0a5d1931e9655249b4e6baa92351d560a2b8150d66cda265f3ab4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,288   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250925.23.41.511158-py3-none-any.whl#sha256=78b96808db04e37f481ddcd5fb66b0674668ca3912913eed38a9546f9c1c9f74 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,289   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250925.21.32.629319-py3-none-any.whl#sha256=3abdfbc55c739fca8806d5d282e4ae0dc1c6e7dcd866421a3c1dc000d3475689 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,290   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250924.20.27.347903-py3-none-any.whl#sha256=3166e9c46e1c1bfeea5235c9051eebd959a369dd964db0db1fcb69b59754296d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-10-02T21:32:47,291 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-10-02T21:32:47,292 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/
2025-10-02T21:32:47,330 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates
2025-10-02T21:32:47,351 Collecting certora-cli-alpha-master==20251002.20.31.252325
2025-10-02T21:32:47,354   Created temporary directory: /tmp/pip-unpack-s02bptvl
2025-10-02T21:32:47,568   Downloading certora_cli_alpha_master-20251002.20.31.252325.tar.gz (38.9 MB)
2025-10-02T21:32:54,826   Added certora-cli-alpha-master==20251002.20.31.252325 from https://files.pythonhosted.org/packages/b0/7e/e45564f170f69e8eba625758afec65c4c97aaddb377ebc0ddbf50602c003/certora_cli_alpha_master-20251002.20.31.252325.tar.gz to build tracker '/tmp/pip-build-tracker-ursnysve'
2025-10-02T21:32:54,828   Running setup.py (path:/tmp/pip-wheel-vjqymebo/certora-cli-alpha-master_82db409c4cc5496bb70c66b427114adf/setup.py) egg_info for package certora-cli-alpha-master
2025-10-02T21:32:54,828   Created temporary directory: /tmp/pip-pip-egg-info-yeozq7jg
2025-10-02T21:32:54,829   Preparing metadata (setup.py): started
2025-10-02T21:32:54,830   Running command python setup.py egg_info
2025-10-02T21:32:55,661   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-10-02T21:32:55,661   !!

2025-10-02T21:32:55,662           ********************************************************************************
2025-10-02T21:32:55,663           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-10-02T21:32:55,664           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2025-10-02T21:32:55,666           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-10-02T21:32:55,666           ********************************************************************************

2025-10-02T21:32:55,668   !!
2025-10-02T21:32:55,668     self._finalize_license_expression()
2025-10-02T21:32:55,691   running egg_info
2025-10-02T21:32:55,719   creating /tmp/pip-pip-egg-info-yeozq7jg/certora_cli_alpha_master.egg-info
2025-10-02T21:32:55,720   writing /tmp/pip-pip-egg-info-yeozq7jg/certora_cli_alpha_master.egg-info/PKG-INFO
2025-10-02T21:32:55,723   writing dependency_links to /tmp/pip-pip-egg-info-yeozq7jg/certora_cli_alpha_master.egg-info/dependency_links.txt
2025-10-02T21:32:55,725   writing entry points to /tmp/pip-pip-egg-info-yeozq7jg/certora_cli_alpha_master.egg-info/entry_points.txt
2025-10-02T21:32:55,726   writing requirements to /tmp/pip-pip-egg-info-yeozq7jg/certora_cli_alpha_master.egg-info/requires.txt
2025-10-02T21:32:55,728   writing top-level names to /tmp/pip-pip-egg-info-yeozq7jg/certora_cli_alpha_master.egg-info/top_level.txt
2025-10-02T21:32:55,729   writing manifest file '/tmp/pip-pip-egg-info-yeozq7jg/certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-10-02T21:32:55,826   reading manifest file '/tmp/pip-pip-egg-info-yeozq7jg/certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-10-02T21:32:55,827   reading manifest template 'MANIFEST.in'
2025-10-02T21:32:55,892   warning: no files found matching 'gambit' under directory 'certora_bins'
2025-10-02T21:32:55,985   adding license file 'LICENSE'
2025-10-02T21:32:56,043   writing manifest file '/tmp/pip-pip-egg-info-yeozq7jg/certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-10-02T21:32:56,147   Preparing metadata (setup.py): finished with status 'done'
2025-10-02T21:32:56,151   Source in /tmp/pip-wheel-vjqymebo/certora-cli-alpha-master_82db409c4cc5496bb70c66b427114adf has version 20251002.20.31.252325, which satisfies requirement certora-cli-alpha-master==20251002.20.31.252325 from https://files.pythonhosted.org/packages/b0/7e/e45564f170f69e8eba625758afec65c4c97aaddb377ebc0ddbf50602c003/certora_cli_alpha_master-20251002.20.31.252325.tar.gz
2025-10-02T21:32:56,152   Removed certora-cli-alpha-master==20251002.20.31.252325 from https://files.pythonhosted.org/packages/b0/7e/e45564f170f69e8eba625758afec65c4c97aaddb377ebc0ddbf50602c003/certora_cli_alpha_master-20251002.20.31.252325.tar.gz from build tracker '/tmp/pip-build-tracker-ursnysve'
2025-10-02T21:32:56,158 Created temporary directory: /tmp/pip-unpack-s30rm2fr
2025-10-02T21:32:56,158 Building wheels for collected packages: certora-cli-alpha-master
2025-10-02T21:32:56,162   Created temporary directory: /tmp/pip-wheel-1591ixci
2025-10-02T21:32:56,163   Building wheel for certora-cli-alpha-master (setup.py): started
2025-10-02T21:32:56,164   Destination directory: /tmp/pip-wheel-1591ixci
2025-10-02T21:32:56,165   Running command python setup.py bdist_wheel
2025-10-02T21:32:56,994   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-10-02T21:32:56,994   !!

2025-10-02T21:32:56,995           ********************************************************************************
2025-10-02T21:32:56,996           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-10-02T21:32:56,997           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2025-10-02T21:32:56,998           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-10-02T21:32:56,998           ********************************************************************************

2025-10-02T21:32:57,000   !!
2025-10-02T21:32:57,000     self._finalize_license_expression()
2025-10-02T21:32:57,001   running bdist_wheel
2025-10-02T21:32:57,135   running build
2025-10-02T21:32:57,136   running build_py
2025-10-02T21:32:57,168   creating build/lib/certora_cli
2025-10-02T21:32:57,170   copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli
2025-10-02T21:32:57,173   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2025-10-02T21:32:57,175   copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli
2025-10-02T21:32:57,177   copying certora_cli/rustMutator.py -> build/lib/certora_cli
2025-10-02T21:32:57,179   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2025-10-02T21:32:57,181   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2025-10-02T21:32:57,184   copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli
2025-10-02T21:32:57,186   copying certora_cli/__init__.py -> build/lib/certora_cli
2025-10-02T21:32:57,187   copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli
2025-10-02T21:32:57,189   copying certora_cli/certoraRanger.py -> build/lib/certora_cli
2025-10-02T21:32:57,191   copying certora_cli/certoraConcord.py -> build/lib/certora_cli
2025-10-02T21:32:57,193   creating build/lib/certora_jars
2025-10-02T21:32:57,194   copying certora_jars/__init__.py -> build/lib/certora_jars
2025-10-02T21:32:57,197   creating build/lib/certora_bins
2025-10-02T21:32:57,198   copying certora_bins/__init__.py -> build/lib/certora_bins
2025-10-02T21:32:57,200   creating build/lib/certora_cli/EquivalenceCheck
2025-10-02T21:32:57,201   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2025-10-02T21:32:57,203   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2025-10-02T21:32:57,207   creating build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,208   copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,211   copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,213   copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,216   copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,219   copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,221   copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,223   copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,226   copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,228   copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,230   copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,233   copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,236   copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,238   copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,240   copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,242   copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,245   copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,248   copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,250   copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,253   copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,256   copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,258   copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,262   copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,264   copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,266   copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,268   copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,271   copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,273   copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,279   copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,281   copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver
2025-10-02T21:32:57,284   creating build/lib/certora_cli/Shared
2025-10-02T21:32:57,285   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2025-10-02T21:32:57,288   copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared
2025-10-02T21:32:57,291   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2025-10-02T21:32:57,294   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2025-10-02T21:32:57,297   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2025-10-02T21:32:57,300   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2025-10-02T21:32:57,302   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2025-10-02T21:32:57,305   creating build/lib/certora_cli/Mutate
2025-10-02T21:32:57,307   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2025-10-02T21:32:57,309   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2025-10-02T21:32:57,313   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2025-10-02T21:32:57,315   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2025-10-02T21:32:57,318   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2025-10-02T21:32:57,321   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2025-10-02T21:32:57,323   creating build/lib/certora_cli/CertoraProver/Compiler
2025-10-02T21:32:57,325   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-10-02T21:32:57,328   copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-10-02T21:32:57,330   copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-10-02T21:32:57,332   copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-10-02T21:32:57,336   copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-10-02T21:32:57,339   copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-10-02T21:32:57,342   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-10-02T21:32:57,343   running egg_info
2025-10-02T21:32:57,371   writing certora_cli_alpha_master.egg-info/PKG-INFO
2025-10-02T21:32:57,375   writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt
2025-10-02T21:32:57,377   writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt
2025-10-02T21:32:57,379   writing requirements to certora_cli_alpha_master.egg-info/requires.txt
2025-10-02T21:32:57,380   writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt
2025-10-02T21:32:57,420   reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-10-02T21:32:57,486   reading manifest template 'MANIFEST.in'
2025-10-02T21:32:57,493   warning: no files found matching 'gambit' under directory 'certora_bins'
2025-10-02T21:32:57,599   adding license file 'LICENSE'
2025-10-02T21:32:57,606   writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-10-02T21:32:57,613   copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars
2025-10-02T21:32:57,936   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2025-10-02T21:32:57,938   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2025-10-02T21:32:58,238   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2025-10-02T21:32:58,240   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-10-02T21:32:58,242   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-10-02T21:32:58,244   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2025-10-02T21:32:58,246   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-10-02T21:32:58,248   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2025-10-02T21:32:58,281   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2025-10-02T21:32:58,282   !!

2025-10-02T21:32:58,283           ********************************************************************************
2025-10-02T21:32:58,284           Please avoid running ``setup.py`` directly.
2025-10-02T21:32:58,284           Instead, use pypa/build, pypa/installer or other
2025-10-02T21:32:58,285           standards-based tools.

2025-10-02T21:32:58,286           By 2025-Oct-31, you need to update your project and remove deprecated calls
2025-10-02T21:32:58,286           or your builds will no longer be supported.

2025-10-02T21:32:58,287           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2025-10-02T21:32:58,287           ********************************************************************************

2025-10-02T21:32:58,288   !!
2025-10-02T21:32:58,289     self.initialize_options()
2025-10-02T21:32:58,309   installing to build/bdist.linux-armv7l/wheel
2025-10-02T21:32:58,310   running install
2025-10-02T21:32:58,333   running install_lib
2025-10-02T21:32:58,361   creating build/bdist.linux-armv7l/wheel
2025-10-02T21:32:58,363   creating build/bdist.linux-armv7l/wheel/certora_cli
2025-10-02T21:32:58,364   copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-10-02T21:32:58,366   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-10-02T21:32:58,368   copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-10-02T21:32:58,370   copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-10-02T21:32:58,373   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2025-10-02T21:32:58,374   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-10-02T21:32:58,376   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-10-02T21:32:58,378   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-10-02T21:32:58,380   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-10-02T21:32:58,381   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-10-02T21:32:58,383   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-10-02T21:32:58,385   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-10-02T21:32:58,387   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-10-02T21:32:58,389   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-10-02T21:32:58,391   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-10-02T21:32:58,394   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver
2025-10-02T21:32:58,395   copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,397   copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,400   copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,403   copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,405   copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,408   copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,409   copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,412   copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,416   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler
2025-10-02T21:32:58,417   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-10-02T21:32:58,419   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-10-02T21:32:58,421   copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-10-02T21:32:58,423   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-10-02T21:32:58,426   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-10-02T21:32:58,429   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-10-02T21:32:58,431   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-10-02T21:32:58,433   copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,435   copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,437   copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,439   copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,441   copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,443   copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,446   copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,449   copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,451   copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,453   copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,456   copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,459   copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,461   copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,464   copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,466   copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,469   copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,470   copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,473   copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,475   copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,482   copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,484   copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-10-02T21:32:58,486   copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-10-02T21:32:58,488   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-10-02T21:32:58,490   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2025-10-02T21:32:58,491   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-10-02T21:32:58,494   copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-10-02T21:32:58,496   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-10-02T21:32:58,499   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-10-02T21:32:58,502   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-10-02T21:32:58,505   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-10-02T21:32:58,506   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-10-02T21:32:58,509   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2025-10-02T21:32:58,511   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-10-02T21:32:58,513   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-10-02T21:32:58,517   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-10-02T21:32:58,519   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-10-02T21:32:58,521   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-10-02T21:32:58,524   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-10-02T21:32:58,526   copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-10-02T21:32:58,528   copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-10-02T21:32:58,530   copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-10-02T21:32:58,532   creating build/bdist.linux-armv7l/wheel/certora_jars
2025-10-02T21:32:58,534   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-10-02T21:32:58,892   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-10-02T21:32:58,894   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-10-02T21:32:58,896   copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-10-02T21:32:59,213   creating build/bdist.linux-armv7l/wheel/certora_bins
2025-10-02T21:32:59,215   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2025-10-02T21:32:59,216   running install_egg_info
2025-10-02T21:32:59,252   Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20251002.20.31.252325-py3.11.egg-info
2025-10-02T21:32:59,263   running install_scripts
2025-10-02T21:32:59,275   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20251002.20.31.252325.dist-info/WHEEL
2025-10-02T21:32:59,277   creating '/tmp/pip-wheel-1591ixci/certora_cli_alpha_master-20251002.20.31.252325-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2025-10-02T21:32:59,279   adding 'certora_bins/__init__.py'
2025-10-02T21:32:59,281   adding 'certora_cli/__init__.py'
2025-10-02T21:32:59,282   adding 'certora_cli/certoraCVLFormatter.py'
2025-10-02T21:32:59,284   adding 'certora_cli/certoraConcord.py'
2025-10-02T21:32:59,285   adding 'certora_cli/certoraEVMProver.py'
2025-10-02T21:32:59,286   adding 'certora_cli/certoraEqCheck.py'
2025-10-02T21:32:59,288   adding 'certora_cli/certoraMutate.py'
2025-10-02T21:32:59,289   adding 'certora_cli/certoraRanger.py'
2025-10-02T21:32:59,291   adding 'certora_cli/certoraRun.py'
2025-10-02T21:32:59,292   adding 'certora_cli/certoraSolanaProver.py'
2025-10-02T21:32:59,294   adding 'certora_cli/certoraSorobanProver.py'
2025-10-02T21:32:59,296   adding 'certora_cli/rustMutator.py'
2025-10-02T21:32:59,298   adding 'certora_cli/CertoraProver/__init__.py'
2025-10-02T21:32:59,299   adding 'certora_cli/CertoraProver/certoraApp.py'
2025-10-02T21:32:59,326   adding 'certora_cli/CertoraProver/certoraBuild.py'
2025-10-02T21:32:59,329   adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py'
2025-10-02T21:32:59,331   adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py'
2025-10-02T21:32:59,333   adding 'certora_cli/CertoraProver/certoraBuildRust.py'
2025-10-02T21:32:59,334   adding 'certora_cli/CertoraProver/certoraBuildSui.py'
2025-10-02T21:32:59,340   adding 'certora_cli/CertoraProver/certoraCloudIO.py'
2025-10-02T21:32:59,343   adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py'
2025-10-02T21:32:59,345   adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py'
2025-10-02T21:32:59,346   adding 'certora_cli/CertoraProver/certoraCompilerParameters.py'
2025-10-02T21:32:59,347   adding 'certora_cli/CertoraProver/certoraConfigIO.py'
2025-10-02T21:32:59,351   adding 'certora_cli/CertoraProver/certoraContext.py'
2025-10-02T21:32:59,356   adding 'certora_cli/CertoraProver/certoraContextAttributes.py'
2025-10-02T21:32:59,358   adding 'certora_cli/CertoraProver/certoraContextClass.py'
2025-10-02T21:32:59,364   adding 'certora_cli/CertoraProver/certoraContextValidator.py'
2025-10-02T21:32:59,365   adding 'certora_cli/CertoraProver/certoraContractFuncs.py'
2025-10-02T21:32:59,367   adding 'certora_cli/CertoraProver/certoraExtensionInfo.py'
2025-10-02T21:32:59,369   adding 'certora_cli/CertoraProver/certoraJobList.py'
2025-10-02T21:32:59,370   adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py'
2025-10-02T21:32:59,372   adding 'certora_cli/CertoraProver/certoraNodeFilters.py'
2025-10-02T21:32:59,373   adding 'certora_cli/CertoraProver/certoraParseBuildScript.py'
2025-10-02T21:32:59,375   adding 'certora_cli/CertoraProver/certoraProjectScanner.py'
2025-10-02T21:32:59,377   adding 'certora_cli/CertoraProver/certoraSourceFinders.py'
2025-10-02T21:32:59,381   adding 'certora_cli/CertoraProver/certoraType.py'
2025-10-02T21:32:59,383   adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py'
2025-10-02T21:32:59,384   adding 'certora_cli/CertoraProver/erc7201.py'
2025-10-02T21:32:59,386   adding 'certora_cli/CertoraProver/splitRules.py'
2025-10-02T21:32:59,388   adding 'certora_cli/CertoraProver/storageExtension.py'
2025-10-02T21:32:59,390   adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py'
2025-10-02T21:32:59,392   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py'
2025-10-02T21:32:59,394   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py'
2025-10-02T21:32:59,395   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py'
2025-10-02T21:32:59,402   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py'
2025-10-02T21:32:59,404   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py'
2025-10-02T21:32:59,405   adding 'certora_cli/CertoraProver/Compiler/__init__.py'
2025-10-02T21:32:59,407   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2025-10-02T21:32:59,408   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2025-10-02T21:32:59,409   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2025-10-02T21:32:59,410   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2025-10-02T21:32:59,412   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2025-10-02T21:32:59,413   adding 'certora_cli/EquivalenceCheck/__init__.py'
2025-10-02T21:32:59,415   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2025-10-02T21:32:59,416   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2025-10-02T21:32:59,418   adding 'certora_cli/Mutate/__init__.py'
2025-10-02T21:32:59,428   adding 'certora_cli/Mutate/mutateApp.py'
2025-10-02T21:32:59,430   adding 'certora_cli/Mutate/mutateAttributes.py'
2025-10-02T21:32:59,432   adding 'certora_cli/Mutate/mutateConstants.py'
2025-10-02T21:32:59,433   adding 'certora_cli/Mutate/mutateUtil.py'
2025-10-02T21:32:59,435   adding 'certora_cli/Mutate/mutateValidate.py'
2025-10-02T21:32:59,438   adding 'certora_cli/Shared/ExpectedComparator.py'
2025-10-02T21:32:59,439   adding 'certora_cli/Shared/__init__.py'
2025-10-02T21:32:59,441   adding 'certora_cli/Shared/certoraAttrUtil.py'
2025-10-02T21:32:59,443   adding 'certora_cli/Shared/certoraLogging.py'
2025-10-02T21:32:59,451   adding 'certora_cli/Shared/certoraUtils.py'
2025-10-02T21:32:59,456   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2025-10-02T21:32:59,458   adding 'certora_cli/Shared/proverCommon.py'
2025-10-02T21:32:59,461   adding 'certora_cli_alpha_master-20251002.20.31.252325.dist-info/licenses/LICENSE'
2025-10-02T21:33:01,776   adding 'certora_jars/ASTExtraction.jar'
2025-10-02T21:33:01,905   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2025-10-02T21:33:04,215   adding 'certora_jars/Typechecker.jar'
2025-10-02T21:33:04,344   adding 'certora_jars/__init__.py'
2025-10-02T21:33:04,346   adding 'certora_cli_alpha_master-20251002.20.31.252325.dist-info/METADATA'
2025-10-02T21:33:04,346   adding 'certora_cli_alpha_master-20251002.20.31.252325.dist-info/WHEEL'
2025-10-02T21:33:04,347   adding 'certora_cli_alpha_master-20251002.20.31.252325.dist-info/entry_points.txt'
2025-10-02T21:33:04,348   adding 'certora_cli_alpha_master-20251002.20.31.252325.dist-info/top_level.txt'
2025-10-02T21:33:04,350   adding 'certora_cli_alpha_master-20251002.20.31.252325.dist-info/RECORD'
2025-10-02T21:33:04,755   removing build/bdist.linux-armv7l/wheel
2025-10-02T21:33:04,897   Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done'
2025-10-02T21:33:05,789   Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20251002.20.31.252325-py3-none-any.whl size=38947475 sha256=efd4bb51772cd660126cb739c37fa70c9131f0f91a3769f640335917852f516e
2025-10-02T21:33:05,790   Stored in directory: /tmp/pip-ephem-wheel-cache-9t42p1da/wheels/05/4f/bc/12ef5f9eab2a7a3cb3b99b8d4cfaea58d90b81260d18a802d7
2025-10-02T21:33:05,899 Successfully built certora-cli-alpha-master
2025-10-02T21:33:07,077 Removed build tracker: '/tmp/pip-build-tracker-ursnysve'