2026-07-15T07:22:30,547 Created temporary directory: /tmp/pip-ephem-wheel-cache-4zu6n1xc 2026-07-15T07:22:30,549 Created temporary directory: /tmp/pip-build-tracker-q8gxlxqc 2026-07-15T07:22:30,550 Initialized build tracking at /tmp/pip-build-tracker-q8gxlxqc 2026-07-15T07:22:30,550 Created build tracker: /tmp/pip-build-tracker-q8gxlxqc 2026-07-15T07:22:30,551 Entered build tracker: /tmp/pip-build-tracker-q8gxlxqc 2026-07-15T07:22:30,551 Created temporary directory: /tmp/pip-wheel-ld2i2rs_ 2026-07-15T07:22:30,555 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 2026-07-15T07:22:30,557 Created temporary directory: /tmp/pip-ephem-wheel-cache-5fimio7x 2026-07-15T07:22:30,581 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-07-15T07:22:30,584 2 location(s) to search for versions of certora-cli-alpha-master: 2026-07-15T07:22:30,584 * https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-15T07:22:30,584 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-15T07:22:30,585 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-15T07:22:30,586 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-15T07:22:30,587 Found index url https://pypi.org/simple 2026-07-15T07:22:30,875 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2026-07-15T07:22:30,907 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/06/2d/70d29f7b487e18b13b0c87c8290894c7ed7138fd1c1ad60908015e46c6a1/certora_cli_alpha_master-20260602.19.42.668495-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,908 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7d/90/97a4a8e0465c191f26d0e23fe662d2515e7fe1dff4b7398b21658787f45f/certora_cli_alpha_master-20260602.19.42.668495-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,909 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e9/4b/03703087b246b53d84ca80e1110a4a0ba140373264d6a8eb55d42640c04c/certora_cli_alpha_master-20260602.19.42.668495-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,910 Found link https://files.pythonhosted.org/packages/df/9f/65f6a9239f6e9698ec37ce9a64f47c8f230eac183190f42ef8b3f3aeaf71/certora_cli_alpha_master-20260602.19.42.668495.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260602.19.42.668495 2026-07-15T07:22:30,911 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c9/1d/a9316b646c3f8467b8de8d6c24bd87bddcde964b8e59b35f3bb01c8e5ab5/certora_cli_alpha_master-20260603.16.54.616474-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,911 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2f/5f/c630de9f69f060ac8bd44690548edc267b0a63a16022ff73c9c35668f8a7/certora_cli_alpha_master-20260603.16.54.616474-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,912 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/34/40/2efe4c8a175b723ae636344b9862784388032427a68146bce8313ae62f1e/certora_cli_alpha_master-20260603.16.54.616474-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,913 Found link https://files.pythonhosted.org/packages/6b/10/24374cf60bae21fdb2cf6a4b489f504ea363a9067a12e56766c443c2bc42/certora_cli_alpha_master-20260603.16.54.616474.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260603.16.54.616474 2026-07-15T07:22:30,914 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9c/0e/48e18663ce19339b922441cd69a78ed358de906673d38423c731a40ddc3a/certora_cli_alpha_master-20260604.2.58.491470-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,915 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0c/3c/65836376e5f13497d68d498f6b6067b2209c6f6c30fac2dc554dbe2b9ce3/certora_cli_alpha_master-20260604.2.58.491470-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,915 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/17/3c/6bcd18b3ba262d966bff3fdbaca5aa5c11ba0b9b0343b77a7b28811df09d/certora_cli_alpha_master-20260604.2.58.491470-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,916 Found link https://files.pythonhosted.org/packages/9e/bd/f8f6bdcda0365d5c233a153e2d9f1db44cedefc2f3ee174c6d14fd1245bf/certora_cli_alpha_master-20260604.2.58.491470.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260604.2.58.491470 2026-07-15T07:22:30,917 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/da/64/cbcb26f4aee7ab345537458c63063a57b6203f079e3f462aa7269808a828/certora_cli_alpha_master-20260604.5.35.265265-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,917 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8b/66/4fe0e1f2f9a9811cfe01223c6d69597cd6b4bb7e74cdf635cc83eef7b8bf/certora_cli_alpha_master-20260604.5.35.265265-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,918 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d3/1b/4a028b6e585365d92b51938fc8f19ddc66aad0e168bb249a0ade3fbe2965/certora_cli_alpha_master-20260604.5.35.265265-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,919 Found link https://files.pythonhosted.org/packages/52/b0/5bea1f85efc72b2e1af001db544df447749fda74fa67eff2b74722065e14/certora_cli_alpha_master-20260604.5.35.265265.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260604.5.35.265265 2026-07-15T07:22:30,920 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b7/45/7dd10518e133b83542c55aa4ecab915d88954d23e6ccc32fde2f2344044b/certora_cli_alpha_master-20260606.2.56.501394-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,920 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/66/d7/27ba9a4228811dd4b9d088977792d960e031ddef0af84d3c30476549ce52/certora_cli_alpha_master-20260606.2.56.501394-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,921 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f7/9c/bf47282f19d0bb9a4b80ef530e07fb17639fcf9fe2a863222cabe9a70955/certora_cli_alpha_master-20260606.2.56.501394-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,922 Found link https://files.pythonhosted.org/packages/e4/28/664a18f881696c6704d82b66749c99a6a4fe4cad299d6618f2ff7ceee3bc/certora_cli_alpha_master-20260606.2.56.501394.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260606.2.56.501394 2026-07-15T07:22:30,923 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/60/a8/3c850c188df0a673c34575895f7b7f27b97088649e084741f396d6957679/certora_cli_alpha_master-20260606.7.10.701608-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,924 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5b/79/245ca683dc0b9bd06b498c5ee4f1bb81cdc6e9a18112c4f87aac238b6408/certora_cli_alpha_master-20260606.7.10.701608-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,924 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c9/fc/013cedc7dc929d0ba43c689b45b5220ffac6cb7934356468d96ee63c1419/certora_cli_alpha_master-20260606.7.10.701608-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,925 Found link https://files.pythonhosted.org/packages/a0/ab/42da7de1eb9946986041df459118225bb57f9001dc6b6f4c8ba678b09e45/certora_cli_alpha_master-20260606.7.10.701608.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260606.7.10.701608 2026-07-15T07:22:30,926 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/68/49/1047d2a678ff58b7d1db252661b40f28952a8276777597cb69981f6c3ae9/certora_cli_alpha_master-20260609.16.18.866576-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,926 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/bd/d5/d59c41292421648d38e429acb8fa38c9363e4f021c639f7a90d3a8b3b7c5/certora_cli_alpha_master-20260609.16.18.866576-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,927 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/bb/64/53e9e03e699d8bfa5e2b7714942a7974d7ab186ca96b252d3f9fcff1a47a/certora_cli_alpha_master-20260609.16.18.866576-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,928 Found link https://files.pythonhosted.org/packages/59/f5/888f4b13038d85ee4845d057707abbc2b875805d62e09378d25e18f81614/certora_cli_alpha_master-20260609.16.18.866576.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260609.16.18.866576 2026-07-15T07:22:30,929 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/33/6d/8559fbd554615337845f78e15a51bebb45ab59c264b3ce3244ebb11e0954/certora_cli_alpha_master-20260610.10.20.610380-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,929 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4f/9b/96db3d6fd7333b42d4969765d4c6576de68655668826909b4d0a83713b01/certora_cli_alpha_master-20260610.10.20.610380-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,930 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/67/a4/7db4a900de0ac276115364f0aa9b59c0295b7c1f5f36087927a54527e1ea/certora_cli_alpha_master-20260610.10.20.610380-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,931 Found link https://files.pythonhosted.org/packages/ef/84/8267265aca7103f16bb474a7de5078fefa94f37320adb13673ba257f77fd/certora_cli_alpha_master-20260610.10.20.610380.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260610.10.20.610380 2026-07-15T07:22:30,932 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/38/df/a7cce310c30ccff070336535b64dd85905e5e6c21e9f29fc004e028d4d69/certora_cli_alpha_master-20260610.11.2.719309-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,932 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b3/40/f081ecebed0a8807da461bdcbfa3887b82466cdbde33fe75295abac4cd74/certora_cli_alpha_master-20260610.11.2.719309-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,933 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/01/e4/0efe7e9b8280c5228df22a2abca78369cbea54110ae964811bcb238a800a/certora_cli_alpha_master-20260610.11.2.719309-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,934 Found link https://files.pythonhosted.org/packages/33/8c/e27da280e763834bfb92458fdf4eb600707df1938b0ae3e2f71b99b1d903/certora_cli_alpha_master-20260610.11.2.719309.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260610.11.2.719309 2026-07-15T07:22:30,934 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/35/49/ad93b7388eaf50f69e4cdf32b74c8070c8e2407a20c3fc51e85b647bbe75/certora_cli_alpha_master-20260610.20.35.973885-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,935 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/67/f1/34a6eea549967a461762bda6eb7a29aee910d910e1dff74bb1e142e11fc5/certora_cli_alpha_master-20260610.20.35.973885-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,936 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f1/47/2a3c5bf3398e232ce230c6ae1ab65888b6e252bb3624e65d0767cbbcff85/certora_cli_alpha_master-20260610.20.35.973885-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,937 Found link https://files.pythonhosted.org/packages/4d/76/f4c96e90a921b291d5de5bfb768ffff08bf1f29cc8daf4afccc030162390/certora_cli_alpha_master-20260610.20.35.973885.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260610.20.35.973885 2026-07-15T07:22:30,937 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/df/72/8da6d5314152dd535d0b9ec8be56b7ad4de4918179053aa1b9fd597debb9/certora_cli_alpha_master-20260612.15.41.919590-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,938 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fa/02/aae206b8d6e99dde66b3676b70c0480e3d8e3acfa0c5c6ae6854bba0b9a6/certora_cli_alpha_master-20260612.15.41.919590-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,939 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ec/3e/cb4310eeca4fdd263692512c317daad69b4e8d4946d3266b8800e6232ac1/certora_cli_alpha_master-20260612.15.41.919590-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,940 Found link https://files.pythonhosted.org/packages/bd/a2/dea08d41d0e7e06d2857fce84eec2d8dff3537e450642585c8a0dd542afb/certora_cli_alpha_master-20260612.15.41.919590.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260612.15.41.919590 2026-07-15T07:22:30,941 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cb/62/1717a56e831f06d0573c40f1882c987dafd6538b91b37e76d4c30c7834d3/certora_cli_alpha_master-20260612.17.41.351895-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,941 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/70/1f/187498e1b1c4a6a39015cbc636d503229b8b900c735326a468d0cad96547/certora_cli_alpha_master-20260612.17.41.351895-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,942 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/40/43/860aa6fa6534a978414fbfb4d8872d0bc378aeabd6b80993c56a38bc339d/certora_cli_alpha_master-20260612.17.41.351895-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,943 Found link https://files.pythonhosted.org/packages/26/f6/60909a1ba51cbffa6a048f71b7d31839838d9f9aca3d0ba928ae5b550ec7/certora_cli_alpha_master-20260612.17.41.351895.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260612.17.41.351895 2026-07-15T07:22:30,943 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fb/c3/27735e0b145130887f96883b822fdef7c1d8d2d59ca70cb183aed29c374c/certora_cli_alpha_master-20260612.21.48.864915-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,944 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/84/84/7f616f8226132fecd8a9a30aafe12d547c9de545dad39e338a7096a0e63a/certora_cli_alpha_master-20260612.21.48.864915-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,944 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b8/87/32fbdc03fe8819a8e0ebcda2612e6074798426e34753e0ea7ba96996c702/certora_cli_alpha_master-20260612.21.48.864915-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,945 Found link https://files.pythonhosted.org/packages/9c/cf/42a6561458547539088c6a524a1440e136cdd154890a2ee31ccfb44f8f65/certora_cli_alpha_master-20260612.21.48.864915.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260612.21.48.864915 2026-07-15T07:22:30,946 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/66/37/22741cd329e7c1299ef7d385d560d55f90cc2080c1d5050c2faa642f3d28/certora_cli_alpha_master-20260614.13.2.640354-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,947 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/12/1e/337f8f53280ce9b022bac4ad45d30bf6be1066d3021311292af39b58627b/certora_cli_alpha_master-20260614.13.2.640354-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,947 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1e/b4/0ec599bff90de68a8a2f226ed7f669f50384e14f4ec6994681b816733f38/certora_cli_alpha_master-20260614.13.2.640354-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,948 Found link https://files.pythonhosted.org/packages/8e/6a/525864f3d99dde8df007ff2fd463f662021173ba00662153bbe1cb5c5af1/certora_cli_alpha_master-20260614.13.2.640354.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260614.13.2.640354 2026-07-15T07:22:30,950 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c8/bb/154f04b99f1f9ee8f7536cd5090971a5d8c8fc374888d0a8d3e3403687e3/certora_cli_alpha_master-20260615.19.37.420490-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,950 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4d/15/d247813d8944fb1020d58ac2c66d34c30a153e247f08ea77a23de96d1ff3/certora_cli_alpha_master-20260615.19.37.420490-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,951 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4a/50/b75977d0cc7f0f6ced8ae0c834a33cba1a03a749fd3a10bff16f6c3efd3f/certora_cli_alpha_master-20260615.19.37.420490-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,951 Found link https://files.pythonhosted.org/packages/c9/b8/7db8c437653ca0ecaff46d75064bd54d799762356da5610d7a4f9ed257bd/certora_cli_alpha_master-20260615.19.37.420490.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260615.19.37.420490 2026-07-15T07:22:30,952 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/68/ae/40cf5bf1f39dd729142b37feb20588540c6a0313382f37784f751ca0cf6d/certora_cli_alpha_master-20260615.20.26.956345-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,953 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d1/ea/d15b6cfd7e04fd2133763ddd5ab11d45df858ed0d898bd745cc7a8d2afc9/certora_cli_alpha_master-20260615.20.26.956345-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,953 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/39/b6/af2bb4c903da4dd0ca5e22b7a6593c9561a4abf5d2ecd17d21122cfd0404/certora_cli_alpha_master-20260615.20.26.956345-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,954 Found link https://files.pythonhosted.org/packages/40/83/9e7096beb23daf4050bd01913d66a4c161c0f6c60c8e0eea22460d3dd811/certora_cli_alpha_master-20260615.20.26.956345.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260615.20.26.956345 2026-07-15T07:22:30,955 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/23/42/ab3881cdcf766ed128c27c849606c2602fb352e5de75f5e1861c778935ae/certora_cli_alpha_master-20260615.21.10.902584-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,956 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ee/01/a44dcecf2c7fb0b853c1a90be978fceeb12cc9e263ef3a87e464ecc8ec9a/certora_cli_alpha_master-20260615.21.10.902584-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,956 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/35/63/2d177a3257a872991f3c25433df5c816f2ec5f3ad2999535ad58899f906a/certora_cli_alpha_master-20260615.21.10.902584-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,958 Found link https://files.pythonhosted.org/packages/03/25/e4bf50889eb2784c53cb4863ca626b1d789f7eb8daa307f8db469589c8e0/certora_cli_alpha_master-20260615.21.10.902584.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260615.21.10.902584 2026-07-15T07:22:30,958 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b7/2e/3cc2ca3114e0f8bc488d6d14aaeef4da58698875442c09601435d2df8612/certora_cli_alpha_master-20260617.13.21.758011-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,959 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f3/86/b489bdda7e207bebf4b9f63dd275c694ab406acd6583ece419e15c8f2b0a/certora_cli_alpha_master-20260617.13.21.758011-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,959 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f8/55/ee98b5697bf9fdde4ac3b7588b9d49b78acaf2bfbe16eaaa944b6f1dad32/certora_cli_alpha_master-20260617.13.21.758011-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,960 Found link https://files.pythonhosted.org/packages/1a/a1/38b9fe6dd54b9fcb30ee1f2638132cf2c5f8ea7a6808abfce6dd3c2c391e/certora_cli_alpha_master-20260617.13.21.758011.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260617.13.21.758011 2026-07-15T07:22:30,961 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f3/fe/d2cd0212dc780fb095cb017ccacac9712eb5d617f591210980992b3f5baa/certora_cli_alpha_master-20260617.23.28.389095-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,961 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/45/1f/52aed1b725de65878465b0419bd77892fabb06b02a500accaacc92744eb3/certora_cli_alpha_master-20260617.23.28.389095-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,962 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a5/34/eecdc11af4e9cb1d74d6ac218c358bf45c8bf0742ed21e895e826dfe1e73/certora_cli_alpha_master-20260617.23.28.389095-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,963 Found link https://files.pythonhosted.org/packages/c2/a0/426ae3c94df66c0471cf1c12c3d3a52f03120cf5b51827407b0a36e39c67/certora_cli_alpha_master-20260617.23.28.389095.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260617.23.28.389095 2026-07-15T07:22:30,964 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4e/c2/58ecd01d1dda4768c5854681554d4d24a828d50721f4ccf024e3ff6c54cf/certora_cli_alpha_master-20260619.15.39.944177-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,964 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/57/f0/be8a5a1cb997a26b88c34c725fd6318193365f81e1f8676c1a95c6ccec71/certora_cli_alpha_master-20260619.15.39.944177-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,965 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e9/f0/1fb18b3fadb9e683d513ff0a9216901fcc733a70d66bd43e25bf8658407d/certora_cli_alpha_master-20260619.15.39.944177-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,966 Found link https://files.pythonhosted.org/packages/2a/a8/78186213eb9c0c5cad9d50ee14bee5619a4b6de803dc1b922dc0743733ba/certora_cli_alpha_master-20260619.15.39.944177.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260619.15.39.944177 2026-07-15T07:22:30,967 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7c/f5/f24a0f1397d901a7c7234524ebef27c834b4be56821905ad45c7f9444a25/certora_cli_alpha_master-20260619.16.25.23812-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,967 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fd/c7/4967951665873f605238c0e182a13bb0bd99a13de6875dd148d670043ad3/certora_cli_alpha_master-20260619.16.25.23812-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,968 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7b/07/e50ac849cd52dd3ba601a942622537597750a03e3127e82a584bc7a0ac87/certora_cli_alpha_master-20260619.16.25.23812-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,969 Found link https://files.pythonhosted.org/packages/d5/61/bf6db003f78aa951666cac750e8871612eaef1972bdcea51800ae1ad1b52/certora_cli_alpha_master-20260619.16.25.23812.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260619.16.25.23812 2026-07-15T07:22:30,969 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f6/3f/9e645ed1749d2e6b7fe76506b733811792df33c1a0441654c4424b6f2382/certora_cli_alpha_master-20260622.17.47.779366-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,970 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/93/e3/8a46de3a137a6ae1b7371289bd0056ab253628601ee505362b67891cf461/certora_cli_alpha_master-20260622.17.47.779366-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,971 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fb/77/c444ae64ee517002f6e60e9576e82bb23cb3595b83faed385e20bf094092/certora_cli_alpha_master-20260622.17.47.779366-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,972 Found link https://files.pythonhosted.org/packages/c1/3f/2bf02ccaa31e7706883b35b511e6a3fefd2dc8b31a7294eebdc037a5145f/certora_cli_alpha_master-20260622.17.47.779366.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260622.17.47.779366 2026-07-15T07:22:30,972 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/82/f3/c179224ad1fff6a3083b41845a818a340889d1c25dcbc77a96328e6a56be/certora_cli_alpha_master-20260623.17.28.405774-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,973 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6e/04/8a1b393de30e886130423637bd203fe5992a402eee3b5487857a38f7cb59/certora_cli_alpha_master-20260623.17.28.405774-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,973 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8a/72/b3f8b1f20bf579ea02db0f9b43d05e166da4ba52d9f28e94320c5e2ebd2e/certora_cli_alpha_master-20260623.17.28.405774-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,975 Found link https://files.pythonhosted.org/packages/71/4f/726633ecf4497617a7d250410ff20b0bea5c5fd5f9398b6e9564cdf1c97b/certora_cli_alpha_master-20260623.17.28.405774.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260623.17.28.405774 2026-07-15T07:22:30,975 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/42/e4/a72f84cb17811f64ae47282fe4feb6e27e4f452bc65a42177fbf3ab3bded/certora_cli_alpha_master-20260624.14.50.338813-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,976 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/70/48/e2e6ea428e279ea9b48e96f0dca04f6fa964e8e33bd51967c913e6924d32/certora_cli_alpha_master-20260624.14.50.338813-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,976 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/30/4d/4b70a7d58f8aa1256177c12142d7753ddfe65c4ac4f39c922ba55c206d6f/certora_cli_alpha_master-20260624.14.50.338813-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,977 Found link https://files.pythonhosted.org/packages/dd/fe/b5d3535608a4467d094141fb7da718d2d7d8db9d1ee378b336bf83dad652/certora_cli_alpha_master-20260624.14.50.338813.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260624.14.50.338813 2026-07-15T07:22:30,978 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/14/59/b665e436aefc882da28c276a7b3472ccaabe9f02ba64f97c93cabfe006f1/certora_cli_alpha_master-20260624.20.18.397226-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,978 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2f/79/5bee4f59fd76b1a8fe8d9828176c0e63d8a46554f3bf2d29638aa28cdaf9/certora_cli_alpha_master-20260624.20.18.397226-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,979 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6d/14/3b45159844de56c6830990714bfc4e832714c58fdc1b99a71a8a10e5fe5e/certora_cli_alpha_master-20260624.20.18.397226-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,980 Found link https://files.pythonhosted.org/packages/25/d7/1b8b901e2d93031920d33e94432da82542f818dc684b05368f58acf6ba7b/certora_cli_alpha_master-20260624.20.18.397226.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260624.20.18.397226 2026-07-15T07:22:30,981 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/33/8b/71a62497b8485c8a273c5a0c0db0868a44d5e98867bd7d30e7d81aa4541a/certora_cli_alpha_master-20260625.15.46.722804-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,981 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ff/c9/c7a464139c738fcb666294e6b769aaf9c07e1248b3f62b9de2f037d4fee4/certora_cli_alpha_master-20260625.15.46.722804-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,982 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d2/24/a813e950a8f328dc9f17ed2ab3dad8b0af162e99ef645a0e1e7a06681404/certora_cli_alpha_master-20260625.15.46.722804-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,983 Found link https://files.pythonhosted.org/packages/95/0e/29af00b063ebdf145ed9733ad927bc1a037c2ad4d61fb7e72bd5bf7e87c4/certora_cli_alpha_master-20260625.15.46.722804.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260625.15.46.722804 2026-07-15T07:22:30,984 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/42/6e/f71ef63757a86b37e52b2a07b95328ddfeb788a74874d61fb7bbf9d53134/certora_cli_alpha_master-20260626.18.49.854299-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,984 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/72/da/c4c6211d260255915d6e9a32421ac622069cac1a9ba9bb5e3679170cc98d/certora_cli_alpha_master-20260626.18.49.854299-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,985 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a7/9b/25b8ec4918891b711c57095e84658bb3b6a9177b9b89f4cb659b55ab4bde/certora_cli_alpha_master-20260626.18.49.854299-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,986 Found link https://files.pythonhosted.org/packages/86/9c/0caba018b804a3af8e315421c6a84373ba302c25ac28f5a4eb3b1cdbd18d/certora_cli_alpha_master-20260626.18.49.854299.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260626.18.49.854299 2026-07-15T07:22:30,987 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/98/3d/780b1b5352a8840e89abbc2d1c1c48ecd21d07f183815bde7082462bf7e2/certora_cli_alpha_master-20260629.12.52.270160-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,987 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/15/24/004a71716a2235b96bbfd381246485164af1bdf1d8830190ddeda2734f91/certora_cli_alpha_master-20260629.12.52.270160-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,988 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/16/12/ef2efe20b42cdf9330d78ad2081c34f8255b87af05323973d4b3f053a917/certora_cli_alpha_master-20260629.12.52.270160-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,989 Found link https://files.pythonhosted.org/packages/e6/f9/683e41f6244668ec9167c5a9ffe946a85065d172ab87b473bde50c61838e/certora_cli_alpha_master-20260629.12.52.270160.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260629.12.52.270160 2026-07-15T07:22:30,989 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/95/12/2af718e4b5491f140a05c91264db1be30f9ddca09c4da76140f6786e395b/certora_cli_alpha_master-20260629.17.2.854491-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,990 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cd/f1/6be71cb2bfbc0f5276876b31651ce94a97e6c7d93a03898697e8ad528e6f/certora_cli_alpha_master-20260629.17.2.854491-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,991 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/61/03/bfa3b84ee509875d96fb63510b577bb4a14745a73c11a4ac9eb9c7be899f/certora_cli_alpha_master-20260629.17.2.854491-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,992 Found link https://files.pythonhosted.org/packages/fd/37/055ee85399cb9361e5b58b021d1ffade20e7c12e1bf7b2535341b3339938/certora_cli_alpha_master-20260629.17.2.854491.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260629.17.2.854491 2026-07-15T07:22:30,993 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/85/db/22c991df135225e903c9f2ecbf6cb2a604c41dd91de9ed6b16ce52009390/certora_cli_alpha_master-20260630.0.45.196638-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,993 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/be/d1/b0e9b099af8625c996285eab95c2fb959def0ad3bfe2ad9ad05d6ecb22a7/certora_cli_alpha_master-20260630.0.45.196638-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,994 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7f/32/55e6400979fe1061722be977670743db3e40717e056d8c1caece5c462a39/certora_cli_alpha_master-20260630.0.45.196638-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,994 Found link https://files.pythonhosted.org/packages/97/13/ef97b1835a151450a2e060d270d0701129b1408284abc99a200230a946bb/certora_cli_alpha_master-20260630.0.45.196638.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260630.0.45.196638 2026-07-15T07:22:30,995 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8d/3d/e262fc6596eca89708578ddc06f62ccb3754e35ee5d9ea3c08943afccf2c/certora_cli_alpha_master-20260630.20.25.114928-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,996 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/12/82/15172d38ac1a7a9bb02ce52e5e18acde791485308e89eac68d92266faf48/certora_cli_alpha_master-20260630.20.25.114928-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,996 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3f/be/0b8cb4e0773c2ac300192d6892249e4daa20fff902dee2ac31c7fa9ea873/certora_cli_alpha_master-20260630.20.25.114928-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,997 Found link https://files.pythonhosted.org/packages/fc/6c/c1fc61740c9084beb92c9ec13ec560739c4fe9aba67a3a6afd65630d5a5c/certora_cli_alpha_master-20260630.20.25.114928.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260630.20.25.114928 2026-07-15T07:22:30,998 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ec/9a/58badff414d96ffa7a6aa3c46ff0a52b5cd6be5a850db4b1cdc2668c8006/certora_cli_alpha_master-20260701.17.24.714768-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,999 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e4/31/3cf9a56fbd38eb90f3fadb4c52ce42daa63281bfdfc8a403d333c252144d/certora_cli_alpha_master-20260701.17.24.714768-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:30,999 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3f/06/631587a7feea3a21efa3dfea63c57ac1082d2ca17291126aefb6de4da33a/certora_cli_alpha_master-20260701.17.24.714768-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,001 Found link https://files.pythonhosted.org/packages/b7/5f/2b5fc0ac4760662d092c8292b51fea6de8c7d92cdc7c4ffba142fc74aff8/certora_cli_alpha_master-20260701.17.24.714768.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260701.17.24.714768 2026-07-15T07:22:31,002 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c2/82/5221848a3a0a762fc277177a07b913a2fb6ba51efbf02d7e7bdd3a4e87d3/certora_cli_alpha_master-20260702.8.5.696809-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,003 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fb/5f/8cf3ffa8349bcc63ebd519e88ffa38d62bc11de3d434bf4904f15c5715b0/certora_cli_alpha_master-20260702.8.5.696809-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,003 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/35/d2/043619d573efb2fc099e31651f04c0b358c9aab21519d85353274753e8ab/certora_cli_alpha_master-20260702.8.5.696809-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,004 Found link https://files.pythonhosted.org/packages/00/99/3a90081b0ad3fb971f8d578e1238011622a9c148edd261611fa573b7a139/certora_cli_alpha_master-20260702.8.5.696809.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260702.8.5.696809 2026-07-15T07:22:31,005 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/27/ed/83cd240d7d13033fa5f5b092cdbf364e34778a8bc0094ac7848c1664b954/certora_cli_alpha_master-20260702.14.0.979624-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,005 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/bf/51/89ecf684ce3931ab6ff23746c662880a7d3cfa1b0d51913d6a7783aba00e/certora_cli_alpha_master-20260702.14.0.979624-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,006 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a4/75/d2d0ca0240e54569764bff48e5cc987d4835d58660066f524c786c1bd2f7/certora_cli_alpha_master-20260702.14.0.979624-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,007 Found link https://files.pythonhosted.org/packages/df/f1/5252fb2a78c204e36d4bc7ca336835974ea12b98275a3a6e07af00dd4523/certora_cli_alpha_master-20260702.14.0.979624.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260702.14.0.979624 2026-07-15T07:22:31,008 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e7/17/a5cdc5afefbcdcb86bf6b82a99eefe5f12dec712f63732d5fd732c80ceda/certora_cli_alpha_master-20260703.13.1.45555-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,008 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e9/97/769d4eef81575c9d0425922d98b14da0a63373338811fbd46330d039284b/certora_cli_alpha_master-20260703.13.1.45555-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,009 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/35/6a/336108ac9a1c8e92261e57896c3258b30b74aef0a5ddae85e0fe29d02242/certora_cli_alpha_master-20260703.13.1.45555-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,010 Found link https://files.pythonhosted.org/packages/bf/54/b1f7d2b4c28fc85f6c22f732eb3ac9d29c2c1741e5dd2b53e4156e66497c/certora_cli_alpha_master-20260703.13.1.45555.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260703.13.1.45555 2026-07-15T07:22:31,011 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8c/f5/562fb667cb44c9bfc155a456b0fddf27f61ac679d330013a5e2146d32ccb/certora_cli_alpha_master-20260704.21.8.727718-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,011 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/22/3a/2a221fb24e203a361ad08aeca749bff6e9dec3e4fbc1f974e22ebc2357f0/certora_cli_alpha_master-20260704.21.8.727718-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,012 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/bb/01/c800d91dd058d8b603bb029fd6df78144d7076e5cdf4206d5b5102d86d25/certora_cli_alpha_master-20260704.21.8.727718-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,013 Found link https://files.pythonhosted.org/packages/c2/df/18e880085d6e56c5207b2d2d3e48cea7244baf50c5d4b511f64a921ad857/certora_cli_alpha_master-20260704.21.8.727718.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260704.21.8.727718 2026-07-15T07:22:31,013 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5b/55/33aadcacfcfc55de6dde78977e7ba3457bc59a4754afaabd2608b2d1743e/certora_cli_alpha_master-20260704.21.42.175430-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,014 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9a/cd/5f6c1a345c92cc1586c3f0954d7aeeb37f9789aa3a6a56fa1edc1f6043ee/certora_cli_alpha_master-20260704.21.42.175430-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,015 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/69/af/7a92005f162b9e46e7ec83f9c6f5b328720d7a8501e1a810169040bfec09/certora_cli_alpha_master-20260704.21.42.175430-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,016 Found link https://files.pythonhosted.org/packages/6d/eb/ef48e8edf081223a11321991b977cda93e1dd229cf853802fe6351474b5f/certora_cli_alpha_master-20260704.21.42.175430.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260704.21.42.175430 2026-07-15T07:22:31,016 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cd/33/50142f38a4f671e7f8e514b93d84b572fb2627a5ba31449e5eb61703cbfb/certora_cli_alpha_master-20260705.10.47.84109-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,017 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d9/98/d7a9d8d33d967f54f948093a1a2417909c48e8ef1bfd9f5514c20fd821c4/certora_cli_alpha_master-20260705.10.47.84109-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,018 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b0/a1/919eeade9621b197d113a7e65d854cd9922ccb77386546d8d61fc0da3645/certora_cli_alpha_master-20260705.10.47.84109-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,019 Found link https://files.pythonhosted.org/packages/da/a8/d70ab584065a3def9073f479aae43575ad29e05fcdf5cc92b269e10121b9/certora_cli_alpha_master-20260705.10.47.84109.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260705.10.47.84109 2026-07-15T07:22:31,019 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b4/a7/6ecacc3740dfae358bee512ab09680d3975fb284fd0ca2ff3c9fdf2c6311/certora_cli_alpha_master-20260705.22.14.975194-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,020 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e6/37/bf91279bece5dd3eb55f2dd4f320104a9774207b47cfa5724c592ad30f5f/certora_cli_alpha_master-20260705.22.14.975194-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,020 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c5/6b/9077c3d697b5713b121829073909fea8feac475e8651723b75bab1d5924b/certora_cli_alpha_master-20260705.22.14.975194-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,021 Found link https://files.pythonhosted.org/packages/ac/a9/06d16350190dc30badaea7b74245d206ddb3d1d2ee78752d3f65eb385a3a/certora_cli_alpha_master-20260705.22.14.975194.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260705.22.14.975194 2026-07-15T07:22:31,022 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a8/be/239ffebe74bfbd3832fc1d4823be1760af22f0f9462fcf355804cc356300/certora_cli_alpha_master-20260707.19.34.975381-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,022 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/08/7d/bccf38bb53c41d0b201941ba218cec509de46b385675bb34f16d95fb9748/certora_cli_alpha_master-20260707.19.34.975381-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,023 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f0/be/00934e3b9a3288e0529318128ed2bc07c45f9fb204da1a3aff09b3b07018/certora_cli_alpha_master-20260707.19.34.975381-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,024 Found link https://files.pythonhosted.org/packages/07/2c/d2a34a95838cc9dc6750266cc1f000461b80a71e38ead32a88e59e0f218b/certora_cli_alpha_master-20260707.19.34.975381.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260707.19.34.975381 2026-07-15T07:22:31,025 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/82/d5/2daa67a5b83d8ceedc7b581750ed0b0fac624cda437e4b19d0d0ad315f2c/certora_cli_alpha_master-20260709.21.34.614640-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,025 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e6/44/db0390235b4bee3fe9a567c90632ab6b82aa8fc0d4704b78af9a25cfaf68/certora_cli_alpha_master-20260709.21.34.614640-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,026 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/79/4a/5a0d494d4ba774163ef2e2cd09dcdabb2e8d5d5a972fed53c86717c04a4b/certora_cli_alpha_master-20260709.21.34.614640-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,027 Found link https://files.pythonhosted.org/packages/90/7e/335bd1abf4266b0bb71acfdb28258281818ae27acb2e5e184a5d7b66e118/certora_cli_alpha_master-20260709.21.34.614640.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260709.21.34.614640 2026-07-15T07:22:31,028 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/95/7c/cbc4193cb54147ec700878c62908e764d1a44499011aaf18ad4e32c94684/certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,028 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2d/b2/ffed5f0a6dd0bea599910aa3c1b4c80ddda7925279a335c77b4fff66fd30/certora_cli_alpha_master-20260715.6.8.146347-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,029 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cc/98/abb95aabd27bc48e5177e6728e4a08346e7662a2607fbb07026d7fdb14cf/certora_cli_alpha_master-20260715.6.8.146347-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,030 Found link https://files.pythonhosted.org/packages/1a/4e/eecc3fc4136977e849f50aac5cea73aa8f2696dd1eeea8a170b9dea2dd80/certora_cli_alpha_master-20260715.6.8.146347.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.6.8.146347 2026-07-15T07:22:31,031 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ee/ce/370691f153d969eac1203cc52c1826b780d48adeee2ef5c9c15b1e8a1177/certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,031 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6b/09/0f40d43671128a09007501ed11adce51aff23ee45ab2d36e4dea290735b0/certora_cli_alpha_master-20260715.6.46.85716-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,032 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/be/2f/3ddf62c230dde2698deb86266f086f7cb247f9557fcc0be287d51a152adf/certora_cli_alpha_master-20260715.6.46.85716-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,033 Found link https://files.pythonhosted.org/packages/ae/47/92ff1d04703a3fefe2a8c07f31af5a752a5f00e202e7a79249b20db34849/certora_cli_alpha_master-20260715.6.46.85716.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.6.46.85716 2026-07-15T07:22:31,034 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-15T07:22:31,034 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-15T07:22:31,036 Found index url https://www.piwheels.org/simple 2026-07-15T07:22:31,522 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2026-07-15T07:22:31,535 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260709.21.34.614640-py3-none-any.whl#sha256=dc0e783eef394d9213626887c5760ba02bd7f3a886c094c1bac552716b7cf88e (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,536 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260707.19.34.975381-py3-none-any.whl#sha256=b1d37f9fe06ae8ac7b5a21370c5bd4ec958ce447c4fd160bd4f84ff5f08e53ee (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,536 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260705.22.14.975194-py3-none-any.whl#sha256=baea23d453fbef16f53cebb219b110d675c40acad7fbd2f7fdceb410b69e400e (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,537 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260705.10.47.84109-py3-none-any.whl#sha256=1c33d89c624e9c3c0b22298b07d1802992cc1c02ce565b4136c526ed780ec4e1 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,537 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260704.21.42.175430-py3-none-any.whl#sha256=bc431c915a3eb53e999831932ff3576cd2e31c9f8a05362fc62761b8fbaf4659 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,538 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260704.21.8.727718-py3-none-any.whl#sha256=623581cab753c1493805d42a16e6f2e4e791ba0b0cbc452089e5a955edbd6769 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,538 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260703.13.1.45555-py3-none-any.whl#sha256=bc7658591e0a54329f27694ac152fcd0ee49926ef661e52994ea689faeb87763 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,539 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260702.14.0.979624-py3-none-any.whl#sha256=f06f2fe8df17a1396707c35b2c7c31086943a85d55c0961a4f46113501f18a3f (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,539 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260702.8.5.696809-py3-none-any.whl#sha256=3abfdd8035cab88a8c766cc60b54de6e509150172d252b46b1e4adc18ca5ae1d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,540 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260701.17.24.714768-py3-none-any.whl#sha256=4e4e17378d05342b195906a5f07d41e21536eafe27d83e537afe45e01dc7aa25 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,540 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260630.20.25.114928-py3-none-any.whl#sha256=a5f7714009f10e1b9287b1ab8b0584431afa944478c08504fe8da28a619eac16 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,541 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260630.0.45.196638-py3-none-any.whl#sha256=9087e5d6430319b8487388f07bfc3e91c70690d3feecc7805d9f91cd3e669c81 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,542 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260629.17.2.854491-py3-none-any.whl#sha256=22f66fb893b0ec8293945956304d269376b5183b5ecd720631a77cc557430523 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,542 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260629.12.52.270160-py3-none-any.whl#sha256=aa1a26024bc0f3c919f68abe6ca93483907eca5323c9d7ba6a335f0a1dc39f41 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,543 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260626.18.49.854299-py3-none-any.whl#sha256=74890925141af81231136c5feaef6af7530293780592e2ef2b40edc8330d6ac0 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,543 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260625.15.46.722804-py3-none-any.whl#sha256=16c8004ea457b331fad9e8eff6487af3a599a0e6b94c78061f8be37a143e5b5d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,543 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260624.20.18.397226-py3-none-any.whl#sha256=a5e3fb84f404a82d403a22e1fb4b1acbae828a263f46f1e0be686ac202874ea7 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,544 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260624.14.50.338813-py3-none-any.whl#sha256=a99b90299a23df9cf4e1458cc665e105c9a2e63420f3bdfa398ccb8c17720d61 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,545 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260623.17.28.405774-py3-none-any.whl#sha256=0328425db004b5acb45eb64a8a31ebe9ec188f33cb1442c762ee740ba20dad72 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,545 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260622.17.47.779366-py3-none-any.whl#sha256=2c772d589711814ec63a47c82975536c6b53baa953f0b459b0f4dd3a3ca1ad40 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,546 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260619.16.25.23812-py3-none-any.whl#sha256=b20e4a8c78e120c40cec09ccb540939d77794fefcfa721a71012659d03457cd8 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,546 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260619.15.39.944177-py3-none-any.whl#sha256=c2a7fdb909b0161c4e49dd99347cf83a3ae87b1feb0df76db945c49eb71597cd (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,547 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260617.23.28.389095-py3-none-any.whl#sha256=37d696291ba74acc7bb565abff5e7d1356dff2ea55081f568888dd510da443f0 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,548 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260617.13.21.758011-py3-none-any.whl#sha256=11c66230355bc39432755ffe750dd042047cdcc67b452d81e49b923f23b72c3b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,548 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260615.21.10.902584-py3-none-any.whl#sha256=b7bc7485aae923e60586a474e948c1ddacc81a9a243d9677d9d20860a8d61095 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,549 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260615.20.26.956345-py3-none-any.whl#sha256=7a2dfe191c6e06d80bf63fc4777c5ecc43ff6366d9cf30bf63315786fbffd3c4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,549 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260615.19.37.420490-py3-none-any.whl#sha256=80f2c91bdb6b9936850d9b008acafa4b35cd6dca98c229fe0ef5933ff0f756bf (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,550 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260614.13.2.640354-py3-none-any.whl#sha256=04d30e2744b28f45a102490d12bff835f41162a6da4569b6fa818471f81bc383 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,550 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260612.21.48.864915-py3-none-any.whl#sha256=2c6e4dcee29535d710225f01917dc5462e850810de9829faf2958a9055535a21 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,551 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260612.17.41.351895-py3-none-any.whl#sha256=aafeffdcb702e28d13f4b6e93b45f7e094ca9243fbe852756a47d6e2248ef913 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,551 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260612.15.41.919590-py3-none-any.whl#sha256=71cc917b6b29337fff80030d559e2a8070de03c2f71172bf57bfb4b208674979 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,552 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260610.20.35.973885-py3-none-any.whl#sha256=21e244d994c580633ea98f285bf1416992924efbad3d29d4cea8dc102262f4c6 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,552 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260610.11.2.719309-py3-none-any.whl#sha256=4e9093595a5caeb05af0114580b87eec45a1570d45685e3a63ce9d027b2121a4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,553 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260610.10.20.610380-py3-none-any.whl#sha256=cc47519be44aebd03be3e1f5a9054369991ff8b0b1c7cf0de9b0dbe6c1f1296b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,554 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260609.16.18.866576-py3-none-any.whl#sha256=c303d337a2368d419b12e82599215fd48ed1a160255352077fd8b6929ae5547c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,554 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260606.7.10.701608-py3-none-any.whl#sha256=e6d6681c50cf8dec74aa7e537ff208c948650f77120b8ea45afa1058e13015e4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,555 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260606.2.56.501394-py3-none-any.whl#sha256=299d649174a8a36281d891c0247e973b34aa17f7bd0c1ba97cc067a1779a5c82 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,555 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260604.5.35.265265-py3-none-any.whl#sha256=39991e89423e3073a7c7421472925669e91be0ee413bf90b7dacf604610220cc (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,556 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260604.2.58.491470-py3-none-any.whl#sha256=8bd9051538161293bc0e78e7fec0d87b26d7760d962b0bd2d44a7d8be0a6aa0c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,556 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260603.16.54.616474-py3-none-any.whl#sha256=cf005232451ad2f7cbc0071512c8965d0b6b7bb4188a01604d71b29986af282c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,557 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260602.19.42.668495-py3-none-any.whl#sha256=149a912ee81d0923b114ab0f9c3f65689f735a3d7ce3fd2e43e7f4c66d0900da (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-15T07:22:31,557 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-15T07:22:31,558 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-15T07:22:31,583 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2026-07-15T07:22:31,602 Collecting certora-cli-alpha-master==20260715.6.8.146347 2026-07-15T07:22:31,604 Created temporary directory: /tmp/pip-unpack-e96969p4 2026-07-15T07:22:31,944 Downloading certora_cli_alpha_master-20260715.6.8.146347.tar.gz (43.3 MB) 2026-07-15T07:22:39,909 Added certora-cli-alpha-master==20260715.6.8.146347 from https://files.pythonhosted.org/packages/1a/4e/eecc3fc4136977e849f50aac5cea73aa8f2696dd1eeea8a170b9dea2dd80/certora_cli_alpha_master-20260715.6.8.146347.tar.gz to build tracker '/tmp/pip-build-tracker-q8gxlxqc' 2026-07-15T07:22:39,911 Running setup.py (path:/tmp/pip-wheel-ld2i2rs_/certora-cli-alpha-master_60b6a39c98bc4b5aa2adb62b79adfb8a/setup.py) egg_info for package certora-cli-alpha-master 2026-07-15T07:22:39,912 Created temporary directory: /tmp/pip-pip-egg-info-tg6nxsgs 2026-07-15T07:22:39,913 Preparing metadata (setup.py): started 2026-07-15T07:22:39,914 Running command python setup.py egg_info 2026-07-15T07:22:40,812 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-15T07:22:40,813 !! 2026-07-15T07:22:40,814 ******************************************************************************** 2026-07-15T07:22:40,814 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-15T07:22:40,815 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-07-15T07:22:40,816 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-15T07:22:40,816 ******************************************************************************** 2026-07-15T07:22:40,817 !! 2026-07-15T07:22:40,818 self._finalize_license_expression() 2026-07-15T07:22:40,843 running egg_info 2026-07-15T07:22:40,871 creating /tmp/pip-pip-egg-info-tg6nxsgs/certora_cli_alpha_master.egg-info 2026-07-15T07:22:40,873 writing /tmp/pip-pip-egg-info-tg6nxsgs/certora_cli_alpha_master.egg-info/PKG-INFO 2026-07-15T07:22:40,876 writing dependency_links to /tmp/pip-pip-egg-info-tg6nxsgs/certora_cli_alpha_master.egg-info/dependency_links.txt 2026-07-15T07:22:40,878 writing entry points to /tmp/pip-pip-egg-info-tg6nxsgs/certora_cli_alpha_master.egg-info/entry_points.txt 2026-07-15T07:22:40,880 writing requirements to /tmp/pip-pip-egg-info-tg6nxsgs/certora_cli_alpha_master.egg-info/requires.txt 2026-07-15T07:22:40,881 writing top-level names to /tmp/pip-pip-egg-info-tg6nxsgs/certora_cli_alpha_master.egg-info/top_level.txt 2026-07-15T07:22:40,882 writing manifest file '/tmp/pip-pip-egg-info-tg6nxsgs/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-15T07:22:40,983 reading manifest file '/tmp/pip-pip-egg-info-tg6nxsgs/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-15T07:22:40,985 reading manifest template 'MANIFEST.in' 2026-07-15T07:22:40,990 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-07-15T07:22:41,098 adding license file 'LICENSE' 2026-07-15T07:22:41,102 writing manifest file '/tmp/pip-pip-egg-info-tg6nxsgs/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-15T07:22:41,210 Preparing metadata (setup.py): finished with status 'done' 2026-07-15T07:22:41,215 Source in /tmp/pip-wheel-ld2i2rs_/certora-cli-alpha-master_60b6a39c98bc4b5aa2adb62b79adfb8a has version 20260715.6.8.146347, which satisfies requirement certora-cli-alpha-master==20260715.6.8.146347 from https://files.pythonhosted.org/packages/1a/4e/eecc3fc4136977e849f50aac5cea73aa8f2696dd1eeea8a170b9dea2dd80/certora_cli_alpha_master-20260715.6.8.146347.tar.gz 2026-07-15T07:22:41,216 Removed certora-cli-alpha-master==20260715.6.8.146347 from https://files.pythonhosted.org/packages/1a/4e/eecc3fc4136977e849f50aac5cea73aa8f2696dd1eeea8a170b9dea2dd80/certora_cli_alpha_master-20260715.6.8.146347.tar.gz from build tracker '/tmp/pip-build-tracker-q8gxlxqc' 2026-07-15T07:22:41,222 Created temporary directory: /tmp/pip-unpack-57fkaz7a 2026-07-15T07:22:41,222 Building wheels for collected packages: certora-cli-alpha-master 2026-07-15T07:22:41,227 Created temporary directory: /tmp/pip-wheel-15ellf65 2026-07-15T07:22:41,228 Building wheel for certora-cli-alpha-master (setup.py): started 2026-07-15T07:22:41,229 Destination directory: /tmp/pip-wheel-15ellf65 2026-07-15T07:22:41,230 Running command python setup.py bdist_wheel 2026-07-15T07:22:42,082 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-15T07:22:42,083 !! 2026-07-15T07:22:42,084 ******************************************************************************** 2026-07-15T07:22:42,084 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-15T07:22:42,085 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-07-15T07:22:42,087 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-15T07:22:42,087 ******************************************************************************** 2026-07-15T07:22:42,088 !! 2026-07-15T07:22:42,089 self._finalize_license_expression() 2026-07-15T07:22:42,089 running bdist_wheel 2026-07-15T07:22:42,231 running build 2026-07-15T07:22:42,232 running build_py 2026-07-15T07:22:42,263 creating build/lib/certora_cli 2026-07-15T07:22:42,266 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2026-07-15T07:22:42,268 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2026-07-15T07:22:42,270 copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli 2026-07-15T07:22:42,272 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2026-07-15T07:22:42,274 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2026-07-15T07:22:42,276 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2026-07-15T07:22:42,278 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2026-07-15T07:22:42,281 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2026-07-15T07:22:42,283 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2026-07-15T07:22:42,285 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2026-07-15T07:22:42,287 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2026-07-15T07:22:42,289 copying certora_cli/__init__.py -> build/lib/certora_cli 2026-07-15T07:22:42,292 creating build/lib/certora_bins 2026-07-15T07:22:42,293 copying certora_bins/__init__.py -> build/lib/certora_bins 2026-07-15T07:22:42,295 creating build/lib/certora_jars 2026-07-15T07:22:42,296 copying certora_jars/__init__.py -> build/lib/certora_jars 2026-07-15T07:22:42,298 creating build/lib/certora_cli/EquivalenceCheck 2026-07-15T07:22:42,299 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2026-07-15T07:22:42,301 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2026-07-15T07:22:42,305 creating build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,307 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,309 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,311 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,314 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,317 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,319 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,322 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,324 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,327 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,337 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,340 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,342 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,345 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,347 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,349 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,351 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,353 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,355 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,358 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,360 copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,362 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,365 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,368 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,369 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,371 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,374 copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,376 copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,378 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,380 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,382 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,386 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,388 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2026-07-15T07:22:42,391 creating build/lib/certora_cli/Shared 2026-07-15T07:22:42,392 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2026-07-15T07:22:42,395 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2026-07-15T07:22:42,397 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2026-07-15T07:22:42,400 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2026-07-15T07:22:42,403 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2026-07-15T07:22:42,405 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2026-07-15T07:22:42,408 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2026-07-15T07:22:42,410 creating build/lib/certora_cli/Mutate 2026-07-15T07:22:42,411 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2026-07-15T07:22:42,414 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2026-07-15T07:22:42,416 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2026-07-15T07:22:42,419 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2026-07-15T07:22:42,421 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2026-07-15T07:22:42,423 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2026-07-15T07:22:42,426 creating build/lib/certora_cli/CertoraProver/Compiler 2026-07-15T07:22:42,427 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-15T07:22:42,430 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-15T07:22:42,432 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-15T07:22:42,434 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-15T07:22:42,436 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-15T07:22:42,438 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-15T07:22:42,441 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-15T07:22:42,443 running egg_info 2026-07-15T07:22:42,471 writing certora_cli_alpha_master.egg-info/PKG-INFO 2026-07-15T07:22:42,474 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2026-07-15T07:22:42,476 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2026-07-15T07:22:42,478 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2026-07-15T07:22:42,479 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2026-07-15T07:22:42,518 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-15T07:22:42,524 reading manifest template 'MANIFEST.in' 2026-07-15T07:22:42,529 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-07-15T07:22:42,642 adding license file 'LICENSE' 2026-07-15T07:22:42,648 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-15T07:22:42,655 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2026-07-15T07:22:42,979 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2026-07-15T07:22:42,982 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2026-07-15T07:22:43,312 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2026-07-15T07:22:43,314 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-15T07:22:43,317 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-15T07:22:43,320 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2026-07-15T07:22:43,322 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-15T07:22:43,324 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-15T07:22:43,359 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2026-07-15T07:22:43,360 !! 2026-07-15T07:22:43,361 ******************************************************************************** 2026-07-15T07:22:43,362 Please avoid running ``setup.py`` directly. 2026-07-15T07:22:43,362 Instead, use pypa/build, pypa/installer or other 2026-07-15T07:22:43,363 standards-based tools. 2026-07-15T07:22:43,364 This deprecation is overdue, please update your project and remove deprecated 2026-07-15T07:22:43,365 calls to avoid build errors in the future. 2026-07-15T07:22:43,366 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2026-07-15T07:22:43,366 ******************************************************************************** 2026-07-15T07:22:43,368 !! 2026-07-15T07:22:43,368 self.initialize_options() 2026-07-15T07:22:43,393 installing to build/bdist.linux-armv7l/wheel 2026-07-15T07:22:43,393 running install 2026-07-15T07:22:43,416 running install_lib 2026-07-15T07:22:43,443 creating build/bdist.linux-armv7l/wheel 2026-07-15T07:22:43,446 creating build/bdist.linux-armv7l/wheel/certora_cli 2026-07-15T07:22:43,447 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-15T07:22:43,449 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-15T07:22:43,452 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2026-07-15T07:22:43,453 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-15T07:22:43,455 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-15T07:22:43,457 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-15T07:22:43,459 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-15T07:22:43,461 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-15T07:22:43,463 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-15T07:22:43,465 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-15T07:22:43,467 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-15T07:22:43,470 copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-15T07:22:43,472 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-15T07:22:43,475 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-15T07:22:43,478 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2026-07-15T07:22:43,479 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,481 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,484 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,487 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,490 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,492 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,495 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,497 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,500 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,506 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,509 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,512 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2026-07-15T07:22:43,513 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-15T07:22:43,517 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-15T07:22:43,519 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-15T07:22:43,521 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-15T07:22:43,523 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-15T07:22:43,525 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-15T07:22:43,527 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-15T07:22:43,529 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,532 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,534 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,535 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,538 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,540 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,542 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,544 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,547 copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,549 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,552 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,555 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,557 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,559 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,563 copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,565 copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,568 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,570 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,572 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,576 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,579 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-15T07:22:43,582 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-15T07:22:43,584 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-15T07:22:43,586 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-15T07:22:43,588 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2026-07-15T07:22:43,589 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-15T07:22:43,592 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-15T07:22:43,594 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-15T07:22:43,597 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-15T07:22:43,601 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-15T07:22:43,603 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-15T07:22:43,605 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-15T07:22:43,607 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-15T07:22:43,609 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-15T07:22:43,612 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-15T07:22:43,614 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-15T07:22:43,616 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2026-07-15T07:22:43,617 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-15T07:22:43,619 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-15T07:22:43,621 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-15T07:22:43,627 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-15T07:22:43,628 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-15T07:22:43,630 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-15T07:22:43,633 creating build/bdist.linux-armv7l/wheel/certora_bins 2026-07-15T07:22:43,634 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2026-07-15T07:22:43,636 creating build/bdist.linux-armv7l/wheel/certora_jars 2026-07-15T07:22:43,637 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-15T07:22:43,639 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-15T07:22:44,038 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-15T07:22:44,380 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-15T07:22:44,381 running install_egg_info 2026-07-15T07:22:44,416 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20260715.6.8.146347-py3.11.egg-info 2026-07-15T07:22:44,428 running install_scripts 2026-07-15T07:22:44,439 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20260715.6.8.146347.dist-info/WHEEL 2026-07-15T07:22:44,442 creating '/tmp/pip-wheel-15ellf65/certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2026-07-15T07:22:44,444 adding 'certora_bins/__init__.py' 2026-07-15T07:22:44,446 adding 'certora_cli/__init__.py' 2026-07-15T07:22:44,448 adding 'certora_cli/certoraCVLFormatter.py' 2026-07-15T07:22:44,449 adding 'certora_cli/certoraConcord.py' 2026-07-15T07:22:44,450 adding 'certora_cli/certoraEVMProver.py' 2026-07-15T07:22:44,451 adding 'certora_cli/certoraEqCheck.py' 2026-07-15T07:22:44,453 adding 'certora_cli/certoraMutate.py' 2026-07-15T07:22:44,454 adding 'certora_cli/certoraRanger.py' 2026-07-15T07:22:44,456 adding 'certora_cli/certoraRun.py' 2026-07-15T07:22:44,457 adding 'certora_cli/certoraSolanaProver.py' 2026-07-15T07:22:44,458 adding 'certora_cli/certoraSorobanProver.py' 2026-07-15T07:22:44,460 adding 'certora_cli/certoraSuiProver.py' 2026-07-15T07:22:44,462 adding 'certora_cli/rustMutator.py' 2026-07-15T07:22:44,464 adding 'certora_cli/CertoraProver/__init__.py' 2026-07-15T07:22:44,466 adding 'certora_cli/CertoraProver/castingInstrumenter.py' 2026-07-15T07:22:44,467 adding 'certora_cli/CertoraProver/certoraApp.py' 2026-07-15T07:22:44,496 adding 'certora_cli/CertoraProver/certoraBuild.py' 2026-07-15T07:22:44,500 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2026-07-15T07:22:44,502 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2026-07-15T07:22:44,504 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2026-07-15T07:22:44,505 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2026-07-15T07:22:44,512 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2026-07-15T07:22:44,514 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2026-07-15T07:22:44,517 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2026-07-15T07:22:44,518 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2026-07-15T07:22:44,520 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2026-07-15T07:22:44,524 adding 'certora_cli/CertoraProver/certoraContext.py' 2026-07-15T07:22:44,530 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2026-07-15T07:22:44,532 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2026-07-15T07:22:44,538 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2026-07-15T07:22:44,540 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2026-07-15T07:22:44,541 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2026-07-15T07:22:44,543 adding 'certora_cli/CertoraProver/certoraJobList.py' 2026-07-15T07:22:44,545 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2026-07-15T07:22:44,546 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2026-07-15T07:22:44,548 adding 'certora_cli/CertoraProver/certoraOffsetConverter.py' 2026-07-15T07:22:44,549 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2026-07-15T07:22:44,551 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2026-07-15T07:22:44,553 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2026-07-15T07:22:44,557 adding 'certora_cli/CertoraProver/certoraType.py' 2026-07-15T07:22:44,559 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2026-07-15T07:22:44,560 adding 'certora_cli/CertoraProver/erc7201.py' 2026-07-15T07:22:44,562 adding 'certora_cli/CertoraProver/splitRules.py' 2026-07-15T07:22:44,564 adding 'certora_cli/CertoraProver/storageExtension.py' 2026-07-15T07:22:44,566 adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py' 2026-07-15T07:22:44,568 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2026-07-15T07:22:44,570 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2026-07-15T07:22:44,571 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2026-07-15T07:22:44,573 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2026-07-15T07:22:44,581 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2026-07-15T07:22:44,583 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2026-07-15T07:22:44,584 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2026-07-15T07:22:44,586 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2026-07-15T07:22:44,587 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2026-07-15T07:22:44,588 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2026-07-15T07:22:44,589 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2026-07-15T07:22:44,591 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2026-07-15T07:22:44,592 adding 'certora_cli/EquivalenceCheck/__init__.py' 2026-07-15T07:22:44,594 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2026-07-15T07:22:44,595 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2026-07-15T07:22:44,597 adding 'certora_cli/Mutate/__init__.py' 2026-07-15T07:22:44,607 adding 'certora_cli/Mutate/mutateApp.py' 2026-07-15T07:22:44,610 adding 'certora_cli/Mutate/mutateAttributes.py' 2026-07-15T07:22:44,611 adding 'certora_cli/Mutate/mutateConstants.py' 2026-07-15T07:22:44,613 adding 'certora_cli/Mutate/mutateUtil.py' 2026-07-15T07:22:44,615 adding 'certora_cli/Mutate/mutateValidate.py' 2026-07-15T07:22:44,618 adding 'certora_cli/Shared/ExpectedComparator.py' 2026-07-15T07:22:44,619 adding 'certora_cli/Shared/__init__.py' 2026-07-15T07:22:44,621 adding 'certora_cli/Shared/certoraAttrUtil.py' 2026-07-15T07:22:44,623 adding 'certora_cli/Shared/certoraLogging.py' 2026-07-15T07:22:44,631 adding 'certora_cli/Shared/certoraUtils.py' 2026-07-15T07:22:44,636 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2026-07-15T07:22:44,639 adding 'certora_cli/Shared/proverCommon.py' 2026-07-15T07:22:44,642 adding 'certora_cli_alpha_master-20260715.6.8.146347.dist-info/licenses/LICENSE' 2026-07-15T07:22:47,235 adding 'certora_jars/ASTExtraction.jar' 2026-07-15T07:22:47,423 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2026-07-15T07:22:50,011 adding 'certora_jars/Typechecker.jar' 2026-07-15T07:22:50,199 adding 'certora_jars/__init__.py' 2026-07-15T07:22:50,200 adding 'certora_cli_alpha_master-20260715.6.8.146347.dist-info/METADATA' 2026-07-15T07:22:50,201 adding 'certora_cli_alpha_master-20260715.6.8.146347.dist-info/WHEEL' 2026-07-15T07:22:50,202 adding 'certora_cli_alpha_master-20260715.6.8.146347.dist-info/entry_points.txt' 2026-07-15T07:22:50,203 adding 'certora_cli_alpha_master-20260715.6.8.146347.dist-info/top_level.txt' 2026-07-15T07:22:50,205 adding 'certora_cli_alpha_master-20260715.6.8.146347.dist-info/RECORD' 2026-07-15T07:22:50,646 removing build/bdist.linux-armv7l/wheel 2026-07-15T07:22:50,794 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2026-07-15T07:22:51,304 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl size=43402505 sha256=bec01ba44ec8d882244f5377872fb0033c69618fdb36a35781a681f08f99c8ca 2026-07-15T07:22:51,306 Stored in directory: /tmp/pip-ephem-wheel-cache-5fimio7x/wheels/21/25/c7/4db0731d96ad0fed13baff0a2bcee727286c0b3ca0d0ce30c7 2026-07-15T07:22:51,332 Successfully built certora-cli-alpha-master 2026-07-15T07:22:52,328 Removed build tracker: '/tmp/pip-build-tracker-q8gxlxqc'