2025-10-01T23:12:22,351 Created temporary directory: /tmp/pip-build-tracker-ehi4y2s1 2025-10-01T23:12:22,352 Initialized build tracking at /tmp/pip-build-tracker-ehi4y2s1 2025-10-01T23:12:22,352 Created build tracker: /tmp/pip-build-tracker-ehi4y2s1 2025-10-01T23:12:22,353 Entered build tracker: /tmp/pip-build-tracker-ehi4y2s1 2025-10-01T23:12:22,353 Created temporary directory: /tmp/pip-wheel-ec8h81v2 2025-10-01T23:12:22,357 Created temporary directory: /tmp/pip-ephem-wheel-cache-l_ua4fm1 2025-10-01T23:12:22,405 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-10-01T23:12:22,408 2 location(s) to search for versions of certora-cli-alpha-master: 2025-10-01T23:12:22,408 * https://pypi.org/simple/certora-cli-alpha-master/ 2025-10-01T23:12:22,408 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-10-01T23:12:22,408 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2025-10-01T23:12:22,409 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2025-10-01T23:12:22,411 Found index url https://pypi.org/simple/ 2025-10-01T23:12:22,634 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2025-10-01T23:12:22,641 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-01T23:12:22,642 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-01T23:12:22,643 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-01T23:12:22,644 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-01T23:12:22,644 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-01T23:12:22,645 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-01T23:12:22,646 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-01T23:12:22,646 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-01T23:12:22,647 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-01T23:12:22,648 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-01T23:12:22,648 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-01T23:12:22,649 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-01T23:12:22,649 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-01T23:12:22,650 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-01T23:12:22,650 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-01T23:12:22,651 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-01T23:12:22,652 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-01T23:12:22,652 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-01T23:12:22,653 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-01T23:12:22,654 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-01T23:12:22,654 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-01T23:12:22,655 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-01T23:12:22,656 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-01T23:12:22,656 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-01T23:12:22,657 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-01T23:12:22,657 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-01T23:12:22,658 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-01T23:12:22,658 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-01T23:12:22,659 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-01T23:12:22,659 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-01T23:12:22,660 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-01T23:12:22,661 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-01T23:12:22,661 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-01T23:12:22,662 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-01T23:12:22,663 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-01T23:12:22,663 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-01T23:12:22,664 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-01T23:12:22,664 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-01T23:12:22,665 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-01T23:12:22,665 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-01T23:12:22,666 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-01T23:12:22,667 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-01T23:12:22,667 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-01T23:12:22,668 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-01T23:12:22,668 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-01T23:12:22,669 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-01T23:12:22,670 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-01T23:12:22,670 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-01T23:12:22,671 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-01T23:12:22,671 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-01T23:12:22,672 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-01T23:12:22,672 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-01T23:12:22,673 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-01T23:12:22,674 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-01T23:12:22,674 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-01T23:12:22,675 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-01T23:12:22,676 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-10-01T23:12:22,677 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-10-01T23:12:22,678 Found index url https://www.piwheels.org/simple/ 2025-10-01T23:12:22,841 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2025-10-01T23:12:22,846 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-01T23:12:22,846 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-01T23:12:22,847 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-01T23:12:22,847 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-01T23:12:22,848 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-01T23:12:22,848 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-01T23:12:22,849 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-01T23:12:22,849 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-01T23:12:22,850 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-01T23:12:22,850 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-01T23:12:22,851 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-01T23:12:22,852 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-01T23:12:22,852 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-01T23:12:22,853 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-10-01T23:12:22,853 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2025-10-01T23:12:22,873 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2025-10-01T23:12:22,875 Collecting certora-cli-alpha-master==20251001.21.56.577903 2025-10-01T23:12:22,878 Created temporary directory: /tmp/pip-unpack-w6bhvcse 2025-10-01T23:12:23,112 Downloading certora_cli_alpha_master-20251001.21.56.577903.tar.gz (38.9 MB) 2025-10-01T23:12:30,444 Added certora-cli-alpha-master==20251001.21.56.577903 from https://files.pythonhosted.org/packages/62/b3/547f4d0146c30568e0cfd41840004a97b67b8c8ac340fc12c21777e6dbd0/certora_cli_alpha_master-20251001.21.56.577903.tar.gz to build tracker '/tmp/pip-build-tracker-ehi4y2s1' 2025-10-01T23:12:30,446 Running setup.py (path:/tmp/pip-wheel-ec8h81v2/certora-cli-alpha-master_a92f5ddde42d48d6ae218df002cda828/setup.py) egg_info for package certora-cli-alpha-master 2025-10-01T23:12:30,447 Created temporary directory: /tmp/pip-pip-egg-info-j7j21w33 2025-10-01T23:12:30,448 Preparing metadata (setup.py): started 2025-10-01T23:12:30,449 Running command python setup.py egg_info 2025-10-01T23:12:31,313 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-10-01T23:12:31,314 !! 2025-10-01T23:12:31,315 ******************************************************************************** 2025-10-01T23:12:31,315 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-10-01T23:12:31,317 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-10-01T23:12:31,318 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-10-01T23:12:31,318 ******************************************************************************** 2025-10-01T23:12:31,319 !! 2025-10-01T23:12:31,320 self._finalize_license_expression() 2025-10-01T23:12:31,343 running egg_info 2025-10-01T23:12:31,369 creating /tmp/pip-pip-egg-info-j7j21w33/certora_cli_alpha_master.egg-info 2025-10-01T23:12:31,370 writing /tmp/pip-pip-egg-info-j7j21w33/certora_cli_alpha_master.egg-info/PKG-INFO 2025-10-01T23:12:31,374 writing dependency_links to /tmp/pip-pip-egg-info-j7j21w33/certora_cli_alpha_master.egg-info/dependency_links.txt 2025-10-01T23:12:31,375 writing entry points to /tmp/pip-pip-egg-info-j7j21w33/certora_cli_alpha_master.egg-info/entry_points.txt 2025-10-01T23:12:31,377 writing requirements to /tmp/pip-pip-egg-info-j7j21w33/certora_cli_alpha_master.egg-info/requires.txt 2025-10-01T23:12:31,378 writing top-level names to /tmp/pip-pip-egg-info-j7j21w33/certora_cli_alpha_master.egg-info/top_level.txt 2025-10-01T23:12:31,379 writing manifest file '/tmp/pip-pip-egg-info-j7j21w33/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-10-01T23:12:31,479 reading manifest file '/tmp/pip-pip-egg-info-j7j21w33/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-10-01T23:12:31,481 reading manifest template 'MANIFEST.in' 2025-10-01T23:12:31,688 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-10-01T23:12:31,787 adding license file 'LICENSE' 2025-10-01T23:12:31,792 writing manifest file '/tmp/pip-pip-egg-info-j7j21w33/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-10-01T23:12:31,897 Preparing metadata (setup.py): finished with status 'done' 2025-10-01T23:12:31,901 Source in /tmp/pip-wheel-ec8h81v2/certora-cli-alpha-master_a92f5ddde42d48d6ae218df002cda828 has version 20251001.21.56.577903, which satisfies requirement certora-cli-alpha-master==20251001.21.56.577903 from https://files.pythonhosted.org/packages/62/b3/547f4d0146c30568e0cfd41840004a97b67b8c8ac340fc12c21777e6dbd0/certora_cli_alpha_master-20251001.21.56.577903.tar.gz 2025-10-01T23:12:31,902 Removed certora-cli-alpha-master==20251001.21.56.577903 from https://files.pythonhosted.org/packages/62/b3/547f4d0146c30568e0cfd41840004a97b67b8c8ac340fc12c21777e6dbd0/certora_cli_alpha_master-20251001.21.56.577903.tar.gz from build tracker '/tmp/pip-build-tracker-ehi4y2s1' 2025-10-01T23:12:31,909 Created temporary directory: /tmp/pip-unpack-zdid02n7 2025-10-01T23:12:31,910 Created temporary directory: /tmp/pip-unpack-v9_eilq5 2025-10-01T23:12:31,911 Building wheels for collected packages: certora-cli-alpha-master 2025-10-01T23:12:31,915 Created temporary directory: /tmp/pip-wheel-94xviojk 2025-10-01T23:12:31,916 DEPRECATION: Building 'certora-cli-alpha-master' using the legacy setup.py bdist_wheel mechanism, which will be removed in a future version. pip 25.3 will enforce this behaviour change. A possible replacement is to use the standardized build interface by setting the `--use-pep517` option, (possibly combined with `--no-build-isolation`), or adding a `pyproject.toml` file to the source tree of 'certora-cli-alpha-master'. Discussion can be found at https://github.com/pypa/pip/issues/6334 2025-10-01T23:12:31,917 Building wheel for certora-cli-alpha-master (setup.py): started 2025-10-01T23:12:31,918 Destination directory: /tmp/pip-wheel-94xviojk 2025-10-01T23:12:31,919 Running command python setup.py bdist_wheel 2025-10-01T23:12:32,757 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-10-01T23:12:32,757 !! 2025-10-01T23:12:32,758 ******************************************************************************** 2025-10-01T23:12:32,759 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-10-01T23:12:32,760 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-10-01T23:12:32,761 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-10-01T23:12:32,762 ******************************************************************************** 2025-10-01T23:12:32,763 !! 2025-10-01T23:12:32,763 self._finalize_license_expression() 2025-10-01T23:12:32,764 running bdist_wheel 2025-10-01T23:12:32,891 running build 2025-10-01T23:12:32,892 running build_py 2025-10-01T23:12:32,921 creating build/lib/certora_jars 2025-10-01T23:12:32,923 copying certora_jars/__init__.py -> build/lib/certora_jars 2025-10-01T23:12:32,925 creating build/lib/certora_cli 2025-10-01T23:12:32,926 copying certora_cli/__init__.py -> build/lib/certora_cli 2025-10-01T23:12:32,928 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2025-10-01T23:12:32,930 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2025-10-01T23:12:32,931 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2025-10-01T23:12:32,934 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2025-10-01T23:12:32,936 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2025-10-01T23:12:32,938 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2025-10-01T23:12:32,939 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2025-10-01T23:12:32,941 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2025-10-01T23:12:32,943 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2025-10-01T23:12:32,945 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2025-10-01T23:12:32,947 creating build/lib/certora_bins 2025-10-01T23:12:32,948 copying certora_bins/__init__.py -> build/lib/certora_bins 2025-10-01T23:12:32,950 creating build/lib/certora_cli/Shared 2025-10-01T23:12:32,951 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2025-10-01T23:12:32,953 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2025-10-01T23:12:32,955 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2025-10-01T23:12:32,958 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2025-10-01T23:12:32,961 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2025-10-01T23:12:32,963 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2025-10-01T23:12:32,966 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2025-10-01T23:12:32,968 creating build/lib/certora_cli/Mutate 2025-10-01T23:12:32,969 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2025-10-01T23:12:32,972 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2025-10-01T23:12:32,974 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2025-10-01T23:12:32,975 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2025-10-01T23:12:32,979 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2025-10-01T23:12:32,982 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2025-10-01T23:12:32,985 creating build/lib/certora_cli/CertoraProver 2025-10-01T23:12:32,985 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:32,988 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:32,990 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:32,993 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:32,994 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,000 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,003 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,005 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,007 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,010 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,012 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,015 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,017 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,020 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,023 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,026 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,028 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,031 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,033 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,035 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,037 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,040 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,042 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,044 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,046 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,048 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,050 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,052 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,054 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2025-10-01T23:12:33,056 creating build/lib/certora_cli/EquivalenceCheck 2025-10-01T23:12:33,057 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2025-10-01T23:12:33,059 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2025-10-01T23:12:33,062 creating build/lib/certora_cli/CertoraProver/Compiler 2025-10-01T23:12:33,063 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-10-01T23:12:33,065 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-10-01T23:12:33,067 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-10-01T23:12:33,069 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-10-01T23:12:33,073 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-10-01T23:12:33,075 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-10-01T23:12:33,077 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-10-01T23:12:33,079 running egg_info 2025-10-01T23:12:33,106 writing certora_cli_alpha_master.egg-info/PKG-INFO 2025-10-01T23:12:33,109 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2025-10-01T23:12:33,111 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2025-10-01T23:12:33,112 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2025-10-01T23:12:33,113 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2025-10-01T23:12:33,151 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-10-01T23:12:33,157 reading manifest template 'MANIFEST.in' 2025-10-01T23:12:33,162 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-10-01T23:12:33,265 adding license file 'LICENSE' 2025-10-01T23:12:33,271 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-10-01T23:12:33,277 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2025-10-01T23:12:33,583 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2025-10-01T23:12:33,585 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2025-10-01T23:12:33,888 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2025-10-01T23:12:33,891 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-10-01T23:12:33,893 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-10-01T23:12:33,896 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2025-10-01T23:12:33,898 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-10-01T23:12:33,900 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2025-10-01T23:12:33,933 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-10-01T23:12:33,933 !! 2025-10-01T23:12:33,934 ******************************************************************************** 2025-10-01T23:12:33,935 Please avoid running ``setup.py`` directly. 2025-10-01T23:12:33,935 Instead, use pypa/build, pypa/installer or other 2025-10-01T23:12:33,936 standards-based tools. 2025-10-01T23:12:33,937 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-10-01T23:12:33,937 or your builds will no longer be supported. 2025-10-01T23:12:33,938 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-10-01T23:12:33,939 ******************************************************************************** 2025-10-01T23:12:33,940 !! 2025-10-01T23:12:33,941 self.initialize_options() 2025-10-01T23:12:33,962 installing to build/bdist.linux-armv7l/wheel 2025-10-01T23:12:33,962 running install 2025-10-01T23:12:33,986 running install_lib 2025-10-01T23:12:34,013 creating build/bdist.linux-armv7l/wheel 2025-10-01T23:12:34,015 creating build/bdist.linux-armv7l/wheel/certora_jars 2025-10-01T23:12:34,016 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-10-01T23:12:34,017 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-10-01T23:12:34,019 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-10-01T23:12:34,561 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-10-01T23:12:35,153 creating build/bdist.linux-armv7l/wheel/certora_cli 2025-10-01T23:12:35,154 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-10-01T23:12:35,157 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2025-10-01T23:12:35,158 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-10-01T23:12:35,160 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-10-01T23:12:35,162 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-10-01T23:12:35,165 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-10-01T23:12:35,169 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-10-01T23:12:35,172 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-10-01T23:12:35,174 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-10-01T23:12:35,177 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-10-01T23:12:35,178 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-10-01T23:12:35,180 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-10-01T23:12:35,182 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-10-01T23:12:35,185 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2025-10-01T23:12:35,186 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-10-01T23:12:35,188 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-10-01T23:12:35,190 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-10-01T23:12:35,192 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-10-01T23:12:35,196 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-10-01T23:12:35,198 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-10-01T23:12:35,200 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-10-01T23:12:35,201 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-10-01T23:12:35,204 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2025-10-01T23:12:35,205 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,207 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,210 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,212 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,214 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,219 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,222 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,224 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,226 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,229 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,231 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,233 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,236 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,239 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,242 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,244 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2025-10-01T23:12:35,245 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-10-01T23:12:35,247 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-10-01T23:12:35,249 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-10-01T23:12:35,252 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-10-01T23:12:35,255 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-10-01T23:12:35,257 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-10-01T23:12:35,259 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-10-01T23:12:35,262 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,264 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,266 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,268 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,270 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,272 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,275 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,277 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,279 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,282 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,283 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,285 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,288 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,289 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-10-01T23:12:35,292 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2025-10-01T23:12:35,293 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-10-01T23:12:35,294 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-10-01T23:12:35,296 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-10-01T23:12:35,298 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-10-01T23:12:35,300 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-10-01T23:12:35,302 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-10-01T23:12:35,304 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-10-01T23:12:35,306 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-10-01T23:12:35,307 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-10-01T23:12:35,309 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-10-01T23:12:35,311 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-10-01T23:12:35,312 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-10-01T23:12:35,315 creating build/bdist.linux-armv7l/wheel/certora_bins 2025-10-01T23:12:35,316 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2025-10-01T23:12:35,317 running install_egg_info 2025-10-01T23:12:35,351 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20251001.21.56.577903-py3.11.egg-info 2025-10-01T23:12:35,361 running install_scripts 2025-10-01T23:12:35,373 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20251001.21.56.577903.dist-info/WHEEL 2025-10-01T23:12:35,376 creating '/tmp/pip-wheel-94xviojk/certora_cli_alpha_master-20251001.21.56.577903-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-10-01T23:12:35,378 adding 'certora_bins/__init__.py' 2025-10-01T23:12:35,380 adding 'certora_cli/__init__.py' 2025-10-01T23:12:35,381 adding 'certora_cli/certoraCVLFormatter.py' 2025-10-01T23:12:35,382 adding 'certora_cli/certoraConcord.py' 2025-10-01T23:12:35,384 adding 'certora_cli/certoraEVMProver.py' 2025-10-01T23:12:35,385 adding 'certora_cli/certoraEqCheck.py' 2025-10-01T23:12:35,387 adding 'certora_cli/certoraMutate.py' 2025-10-01T23:12:35,388 adding 'certora_cli/certoraRanger.py' 2025-10-01T23:12:35,390 adding 'certora_cli/certoraRun.py' 2025-10-01T23:12:35,391 adding 'certora_cli/certoraSolanaProver.py' 2025-10-01T23:12:35,392 adding 'certora_cli/certoraSorobanProver.py' 2025-10-01T23:12:35,395 adding 'certora_cli/rustMutator.py' 2025-10-01T23:12:35,397 adding 'certora_cli/CertoraProver/__init__.py' 2025-10-01T23:12:35,398 adding 'certora_cli/CertoraProver/certoraApp.py' 2025-10-01T23:12:35,424 adding 'certora_cli/CertoraProver/certoraBuild.py' 2025-10-01T23:12:35,428 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2025-10-01T23:12:35,430 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2025-10-01T23:12:35,432 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2025-10-01T23:12:35,433 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2025-10-01T23:12:35,439 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2025-10-01T23:12:35,442 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2025-10-01T23:12:35,444 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2025-10-01T23:12:35,445 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2025-10-01T23:12:35,447 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2025-10-01T23:12:35,450 adding 'certora_cli/CertoraProver/certoraContext.py' 2025-10-01T23:12:35,456 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2025-10-01T23:12:35,457 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2025-10-01T23:12:35,463 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2025-10-01T23:12:35,464 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2025-10-01T23:12:35,466 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2025-10-01T23:12:35,468 adding 'certora_cli/CertoraProver/certoraJobList.py' 2025-10-01T23:12:35,470 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2025-10-01T23:12:35,471 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2025-10-01T23:12:35,472 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2025-10-01T23:12:35,474 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2025-10-01T23:12:35,477 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2025-10-01T23:12:35,480 adding 'certora_cli/CertoraProver/certoraType.py' 2025-10-01T23:12:35,482 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2025-10-01T23:12:35,483 adding 'certora_cli/CertoraProver/erc7201.py' 2025-10-01T23:12:35,485 adding 'certora_cli/CertoraProver/splitRules.py' 2025-10-01T23:12:35,488 adding 'certora_cli/CertoraProver/storageExtension.py' 2025-10-01T23:12:35,490 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2025-10-01T23:12:35,492 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2025-10-01T23:12:35,493 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2025-10-01T23:12:35,494 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2025-10-01T23:12:35,502 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2025-10-01T23:12:35,504 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2025-10-01T23:12:35,505 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2025-10-01T23:12:35,506 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2025-10-01T23:12:35,508 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2025-10-01T23:12:35,509 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2025-10-01T23:12:35,510 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2025-10-01T23:12:35,511 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2025-10-01T23:12:35,512 adding 'certora_cli/EquivalenceCheck/__init__.py' 2025-10-01T23:12:35,515 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2025-10-01T23:12:35,516 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2025-10-01T23:12:35,518 adding 'certora_cli/Mutate/__init__.py' 2025-10-01T23:12:35,528 adding 'certora_cli/Mutate/mutateApp.py' 2025-10-01T23:12:35,530 adding 'certora_cli/Mutate/mutateAttributes.py' 2025-10-01T23:12:35,532 adding 'certora_cli/Mutate/mutateConstants.py' 2025-10-01T23:12:35,533 adding 'certora_cli/Mutate/mutateUtil.py' 2025-10-01T23:12:35,535 adding 'certora_cli/Mutate/mutateValidate.py' 2025-10-01T23:12:35,538 adding 'certora_cli/Shared/ExpectedComparator.py' 2025-10-01T23:12:35,539 adding 'certora_cli/Shared/__init__.py' 2025-10-01T23:12:35,541 adding 'certora_cli/Shared/certoraAttrUtil.py' 2025-10-01T23:12:35,543 adding 'certora_cli/Shared/certoraLogging.py' 2025-10-01T23:12:35,551 adding 'certora_cli/Shared/certoraUtils.py' 2025-10-01T23:12:35,556 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2025-10-01T23:12:35,558 adding 'certora_cli/Shared/proverCommon.py' 2025-10-01T23:12:35,561 adding 'certora_cli_alpha_master-20251001.21.56.577903.dist-info/licenses/LICENSE' 2025-10-01T23:12:37,901 adding 'certora_jars/ASTExtraction.jar' 2025-10-01T23:12:38,030 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2025-10-01T23:12:40,396 adding 'certora_jars/Typechecker.jar' 2025-10-01T23:12:40,525 adding 'certora_jars/__init__.py' 2025-10-01T23:12:40,526 adding 'certora_cli_alpha_master-20251001.21.56.577903.dist-info/METADATA' 2025-10-01T23:12:40,527 adding 'certora_cli_alpha_master-20251001.21.56.577903.dist-info/WHEEL' 2025-10-01T23:12:40,528 adding 'certora_cli_alpha_master-20251001.21.56.577903.dist-info/entry_points.txt' 2025-10-01T23:12:40,529 adding 'certora_cli_alpha_master-20251001.21.56.577903.dist-info/top_level.txt' 2025-10-01T23:12:40,531 adding 'certora_cli_alpha_master-20251001.21.56.577903.dist-info/RECORD' 2025-10-01T23:12:40,958 removing build/bdist.linux-armv7l/wheel 2025-10-01T23:12:41,103 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2025-10-01T23:12:41,989 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20251001.21.56.577903-py3-none-any.whl size=38948071 sha256=54defd849de18ecddadbab5296b1f1843de7c8adb693fe8f85e730386dc8458a 2025-10-01T23:12:41,990 Stored in directory: /tmp/pip-ephem-wheel-cache-l_ua4fm1/wheels/33/f4/cc/46ee569fe06c267882d1112b2b68bfd7426d0fc93e029c4ec1 2025-10-01T23:12:43,534 Successfully built certora-cli-alpha-master 2025-10-01T23:12:44,635 Removed build tracker: '/tmp/pip-build-tracker-ehi4y2s1'