2026-07-16T17:12:04,358 Created temporary directory: /tmp/pip-ephem-wheel-cache-eme03_zi 2026-07-16T17:12:04,360 Created temporary directory: /tmp/pip-build-tracker-ui5ql3on 2026-07-16T17:12:04,361 Initialized build tracking at /tmp/pip-build-tracker-ui5ql3on 2026-07-16T17:12:04,361 Created build tracker: /tmp/pip-build-tracker-ui5ql3on 2026-07-16T17:12:04,362 Entered build tracker: /tmp/pip-build-tracker-ui5ql3on 2026-07-16T17:12:04,362 Created temporary directory: /tmp/pip-wheel-4msf58z5 2026-07-16T17:12:04,366 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-16T17:12:04,368 Created temporary directory: /tmp/pip-ephem-wheel-cache-t_dekdol 2026-07-16T17:12:04,393 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-07-16T17:12:04,397 2 location(s) to search for versions of certora-cli-alpha-master: 2026-07-16T17:12:04,397 * https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-16T17:12:04,397 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-16T17:12:04,398 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-16T17:12:04,398 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-16T17:12:04,400 Found index url https://pypi.org/simple 2026-07-16T17:12:04,686 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2026-07-16T17:12:04,720 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-16T17:12:04,720 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-16T17:12:04,721 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-16T17:12:04,722 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-16T17:12:04,723 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-16T17:12:04,724 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-16T17:12:04,724 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-16T17:12:04,725 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-16T17:12:04,726 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-16T17:12:04,727 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-16T17:12:04,727 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-16T17:12:04,728 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-16T17:12:04,729 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-16T17:12:04,729 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-16T17:12:04,730 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-16T17:12:04,731 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-16T17:12:04,732 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-16T17:12:04,733 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-16T17:12:04,733 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-16T17:12:04,734 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-16T17:12:04,735 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-16T17:12:04,736 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-16T17:12:04,736 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-16T17:12:04,737 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-16T17:12:04,738 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-16T17:12:04,738 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-16T17:12:04,739 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-16T17:12:04,740 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-16T17:12:04,741 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-16T17:12:04,742 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-16T17:12:04,742 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-16T17:12:04,743 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-16T17:12:04,744 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-16T17:12:04,745 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-16T17:12:04,745 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-16T17:12:04,746 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-16T17:12:04,747 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-16T17:12:04,747 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-16T17:12:04,748 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-16T17:12:04,749 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-16T17:12:04,750 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-16T17:12:04,750 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-16T17:12:04,751 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-16T17:12:04,752 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-16T17:12:04,753 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-16T17:12:04,753 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-16T17:12:04,754 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-16T17:12:04,755 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-16T17:12:04,755 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-16T17:12:04,756 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-16T17:12:04,757 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-16T17:12:04,758 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-16T17:12:04,758 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-16T17:12:04,759 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-16T17:12:04,760 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-16T17:12:04,761 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-16T17:12:04,762 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-16T17:12:04,762 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-16T17:12:04,763 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-16T17:12:04,764 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-16T17:12:04,764 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-16T17:12:04,765 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-16T17:12:04,765 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-16T17:12:04,766 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-16T17:12:04,767 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-16T17:12:04,768 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-16T17:12:04,768 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-16T17:12:04,770 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-16T17:12:04,770 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-16T17:12:04,771 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-16T17:12:04,771 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-16T17:12:04,772 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-16T17:12:04,773 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-16T17:12:04,773 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-16T17:12:04,774 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-16T17:12:04,775 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-16T17:12:04,776 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-16T17:12:04,776 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-16T17:12:04,777 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-16T17:12:04,778 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-16T17:12:04,779 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-16T17:12:04,779 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-16T17:12:04,780 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-16T17:12:04,781 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-16T17:12:04,781 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-16T17:12:04,782 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-16T17:12:04,783 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-16T17:12:04,784 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-16T17:12:04,784 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-16T17:12:04,785 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-16T17:12:04,785 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-16T17:12:04,787 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-16T17:12:04,787 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-16T17:12:04,788 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-16T17:12:04,788 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-16T17:12:04,789 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-16T17:12:04,790 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-16T17:12:04,790 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-16T17:12:04,791 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-16T17:12:04,792 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-16T17:12:04,793 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-16T17:12:04,793 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-16T17:12:04,794 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-16T17:12:04,795 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-16T17:12:04,796 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-16T17:12:04,796 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-16T17:12:04,797 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-16T17:12:04,798 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-16T17:12:04,798 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-16T17:12:04,799 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-16T17:12:04,800 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-16T17:12:04,801 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-16T17:12:04,801 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-16T17:12:04,802 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-16T17:12:04,802 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-16T17:12:04,804 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-16T17:12:04,804 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-16T17:12:04,805 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-16T17:12:04,805 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-16T17:12:04,806 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-16T17:12:04,807 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-16T17:12:04,807 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-16T17:12:04,808 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-16T17:12:04,809 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-16T17:12:04,810 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-16T17:12:04,810 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-16T17:12:04,811 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-16T17:12:04,812 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-16T17:12:04,813 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-16T17:12:04,814 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-16T17:12:04,814 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-16T17:12:04,815 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-16T17:12:04,816 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-16T17:12:04,816 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-16T17:12:04,817 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-16T17:12:04,818 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-16T17:12:04,819 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-16T17:12:04,819 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-16T17:12:04,820 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-16T17:12:04,821 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-16T17:12:04,822 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-16T17:12:04,822 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-16T17:12:04,823 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-16T17:12:04,824 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-16T17:12:04,824 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-16T17:12:04,825 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-16T17:12:04,826 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-16T17:12:04,827 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-16T17:12:04,827 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-16T17:12:04,828 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-16T17:12:04,829 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-16T17:12:04,830 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-16T17:12:04,831 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-16T17:12:04,831 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-16T17:12:04,832 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-16T17:12:04,832 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-16T17:12:04,833 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-16T17:12:04,834 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-16T17:12:04,834 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-16T17:12:04,835 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-16T17:12:04,836 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-16T17:12:04,837 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-16T17:12:04,838 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-16T17:12:04,838 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-16T17:12:04,839 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-16T17:12:04,840 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-16T17:12:04,840 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-16T17:12:04,841 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-16T17:12:04,842 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-16T17:12:04,842 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-16T17:12:04,843 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-16T17:12:04,844 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-16T17:12:04,845 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4f/6b/2569a8f1d82cbcd3038c545f25c800141369995d7995f551d7133b217568/certora_cli_alpha_master-20260715.7.22.20117-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-16T17:12:04,845 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3f/b4/2e74e85acaa011eef6259fe7644b482003f1e5be34fd4d4a694666c6d144/certora_cli_alpha_master-20260715.7.22.20117-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-16T17:12:04,846 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/79/bc/bab92aa4406caf5b774475f5dd02d30f9d04ec3be03c00122c7540f1813f/certora_cli_alpha_master-20260715.7.22.20117-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-16T17:12:04,847 Found link https://files.pythonhosted.org/packages/6c/64/0d21f6742adacc20e896f4980569e5fae72049296df8a1d69c40c4f137f5/certora_cli_alpha_master-20260715.7.22.20117.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.7.22.20117 2026-07-16T17:12:04,848 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f7/91/f1a624e94d2c8bc335f240c94cc60316449abed4a082e0dc026dfffb1c02/certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-16T17:12:04,848 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ba/3c/cc215a11d72ba4d2e2930f1cb54477fd9fda8847dc770350253d17cd6885/certora_cli_alpha_master-20260716.12.45.435886-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-16T17:12:04,849 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/57/83/2b159fff3ba9528936826c35ff5c2263bca5e62115e10b3b08449d2fca15/certora_cli_alpha_master-20260716.12.45.435886-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-16T17:12:04,850 Found link https://files.pythonhosted.org/packages/fe/f1/bd0ee3d0e883b44f7e8b9c06f6ccf14d360ceb609f587a6fba6b8ebb2c43/certora_cli_alpha_master-20260716.12.45.435886.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260716.12.45.435886 2026-07-16T17:12:04,850 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9c/37/aaf262dff00ea9dd996478497cb630d05f32168994c54594ad1ecdb30fb6/certora_cli_alpha_master-20260716.14.2.9049-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-16T17:12:04,851 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3e/01/2ff3d9c3b78d1b4b8fad28cfc851090ade9dc2731eed928510b99af2d563/certora_cli_alpha_master-20260716.14.2.9049-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-16T17:12:04,851 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/82/1e/af7142fb33494e3102f45cb6fff8991edb2872ee01b652ba4049e8265e5f/certora_cli_alpha_master-20260716.14.2.9049-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-16T17:12:04,852 Found link https://files.pythonhosted.org/packages/5e/0a/b2484aa492b0492bc45ed98094857e26555f7a1a5be5f715d130a313b065/certora_cli_alpha_master-20260716.14.2.9049.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260716.14.2.9049 2026-07-16T17:12:04,853 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-16T17:12:04,854 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-16T17:12:04,855 Found index url https://www.piwheels.org/simple 2026-07-16T17:12:05,154 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2026-07-16T17:12:05,168 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.7.22.20117-py3-none-any.whl#sha256=8125cf8d0056a9a09a1aa1d151e5a00ca3bf9076b8d7eb621306c97de9c67f6b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-16T17:12:05,169 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl#sha256=c820011dee5c36644cac85c0ce94d2f3a0a95a1c9d8091a5ab97c03b383f6582 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-16T17:12:05,169 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl#sha256=bec01ba44ec8d882244f5377872fb0033c69618fdb36a35781a681f08f99c8ca (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-16T17:12:05,170 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-16T17:12:05,170 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-16T17:12:05,171 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-16T17:12:05,171 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-16T17:12:05,172 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-16T17:12:05,173 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-16T17:12:05,173 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-16T17:12:05,174 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-16T17:12:05,174 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-16T17:12:05,175 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-16T17:12:05,176 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-16T17:12:05,176 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-16T17:12:05,177 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-16T17:12:05,177 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-16T17:12:05,178 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-16T17:12:05,178 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-16T17:12:05,179 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-16T17:12:05,180 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-16T17:12:05,180 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-16T17:12:05,181 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-16T17:12:05,182 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-16T17:12:05,182 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-16T17:12:05,182 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-16T17:12:05,183 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-16T17:12:05,183 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-16T17:12:05,184 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-16T17:12:05,185 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-16T17:12:05,185 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-16T17:12:05,186 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-16T17:12:05,186 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-16T17:12:05,187 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-16T17:12:05,188 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-16T17:12:05,189 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-16T17:12:05,189 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-16T17:12:05,190 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-16T17:12:05,191 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-16T17:12:05,192 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-16T17:12:05,193 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-16T17:12:05,194 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-16T17:12:05,194 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-16T17:12:05,195 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-16T17:12:05,196 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-16T17:12:05,197 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-16T17:12:05,223 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2026-07-16T17:12:05,242 Collecting certora-cli-alpha-master==20260716.12.45.435886 2026-07-16T17:12:05,244 Created temporary directory: /tmp/pip-unpack-8yqkomkc 2026-07-16T17:12:05,490 Downloading certora_cli_alpha_master-20260716.12.45.435886.tar.gz (43.3 MB) 2026-07-16T17:12:11,180 Added certora-cli-alpha-master==20260716.12.45.435886 from https://files.pythonhosted.org/packages/fe/f1/bd0ee3d0e883b44f7e8b9c06f6ccf14d360ceb609f587a6fba6b8ebb2c43/certora_cli_alpha_master-20260716.12.45.435886.tar.gz to build tracker '/tmp/pip-build-tracker-ui5ql3on' 2026-07-16T17:12:11,182 Running setup.py (path:/tmp/pip-wheel-4msf58z5/certora-cli-alpha-master_36049a0b274d4ed9840ce0caf5cbf901/setup.py) egg_info for package certora-cli-alpha-master 2026-07-16T17:12:11,183 Created temporary directory: /tmp/pip-pip-egg-info-pwjouezn 2026-07-16T17:12:11,184 Preparing metadata (setup.py): started 2026-07-16T17:12:11,185 Running command python setup.py egg_info 2026-07-16T17:12:12,301 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-16T17:12:12,301 !! 2026-07-16T17:12:12,302 ******************************************************************************** 2026-07-16T17:12:12,303 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-16T17:12:12,304 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-07-16T17:12:12,305 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-16T17:12:12,306 ******************************************************************************** 2026-07-16T17:12:12,307 !! 2026-07-16T17:12:12,307 self._finalize_license_expression() 2026-07-16T17:12:12,332 running egg_info 2026-07-16T17:12:12,361 creating /tmp/pip-pip-egg-info-pwjouezn/certora_cli_alpha_master.egg-info 2026-07-16T17:12:12,362 writing /tmp/pip-pip-egg-info-pwjouezn/certora_cli_alpha_master.egg-info/PKG-INFO 2026-07-16T17:12:12,365 writing dependency_links to /tmp/pip-pip-egg-info-pwjouezn/certora_cli_alpha_master.egg-info/dependency_links.txt 2026-07-16T17:12:12,367 writing entry points to /tmp/pip-pip-egg-info-pwjouezn/certora_cli_alpha_master.egg-info/entry_points.txt 2026-07-16T17:12:12,368 writing requirements to /tmp/pip-pip-egg-info-pwjouezn/certora_cli_alpha_master.egg-info/requires.txt 2026-07-16T17:12:12,369 writing top-level names to /tmp/pip-pip-egg-info-pwjouezn/certora_cli_alpha_master.egg-info/top_level.txt 2026-07-16T17:12:12,371 writing manifest file '/tmp/pip-pip-egg-info-pwjouezn/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-16T17:12:12,474 reading manifest file '/tmp/pip-pip-egg-info-pwjouezn/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-16T17:12:12,476 reading manifest template 'MANIFEST.in' 2026-07-16T17:12:12,483 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-07-16T17:12:12,594 adding license file 'LICENSE' 2026-07-16T17:12:12,599 writing manifest file '/tmp/pip-pip-egg-info-pwjouezn/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-16T17:12:12,710 Preparing metadata (setup.py): finished with status 'done' 2026-07-16T17:12:12,714 Source in /tmp/pip-wheel-4msf58z5/certora-cli-alpha-master_36049a0b274d4ed9840ce0caf5cbf901 has version 20260716.12.45.435886, which satisfies requirement certora-cli-alpha-master==20260716.12.45.435886 from https://files.pythonhosted.org/packages/fe/f1/bd0ee3d0e883b44f7e8b9c06f6ccf14d360ceb609f587a6fba6b8ebb2c43/certora_cli_alpha_master-20260716.12.45.435886.tar.gz 2026-07-16T17:12:12,715 Removed certora-cli-alpha-master==20260716.12.45.435886 from https://files.pythonhosted.org/packages/fe/f1/bd0ee3d0e883b44f7e8b9c06f6ccf14d360ceb609f587a6fba6b8ebb2c43/certora_cli_alpha_master-20260716.12.45.435886.tar.gz from build tracker '/tmp/pip-build-tracker-ui5ql3on' 2026-07-16T17:12:12,721 Created temporary directory: /tmp/pip-unpack-5j7fjmf5 2026-07-16T17:12:12,721 Building wheels for collected packages: certora-cli-alpha-master 2026-07-16T17:12:12,726 Created temporary directory: /tmp/pip-wheel-p4t2_ld2 2026-07-16T17:12:12,726 Building wheel for certora-cli-alpha-master (setup.py): started 2026-07-16T17:12:12,727 Destination directory: /tmp/pip-wheel-p4t2_ld2 2026-07-16T17:12:12,728 Running command python setup.py bdist_wheel 2026-07-16T17:12:13,583 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-16T17:12:13,583 !! 2026-07-16T17:12:13,584 ******************************************************************************** 2026-07-16T17:12:13,584 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-16T17:12:13,585 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-07-16T17:12:13,586 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-16T17:12:13,587 ******************************************************************************** 2026-07-16T17:12:13,588 !! 2026-07-16T17:12:13,588 self._finalize_license_expression() 2026-07-16T17:12:13,589 running bdist_wheel 2026-07-16T17:12:13,721 running build 2026-07-16T17:12:13,722 running build_py 2026-07-16T17:12:13,753 creating build/lib/certora_cli 2026-07-16T17:12:13,755 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2026-07-16T17:12:13,757 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2026-07-16T17:12:13,759 copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli 2026-07-16T17:12:13,761 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2026-07-16T17:12:13,764 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2026-07-16T17:12:13,766 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2026-07-16T17:12:13,768 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2026-07-16T17:12:13,770 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2026-07-16T17:12:13,772 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2026-07-16T17:12:13,774 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2026-07-16T17:12:13,776 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2026-07-16T17:12:13,778 copying certora_cli/__init__.py -> build/lib/certora_cli 2026-07-16T17:12:13,780 creating build/lib/certora_bins 2026-07-16T17:12:13,781 copying certora_bins/__init__.py -> build/lib/certora_bins 2026-07-16T17:12:13,783 creating build/lib/certora_jars 2026-07-16T17:12:13,784 copying certora_jars/__init__.py -> build/lib/certora_jars 2026-07-16T17:12:13,787 creating build/lib/certora_cli/EquivalenceCheck 2026-07-16T17:12:13,788 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2026-07-16T17:12:13,789 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2026-07-16T17:12:13,793 creating build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,795 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,797 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,799 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,802 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,804 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,806 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,808 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,811 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,813 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,819 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,821 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,823 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,826 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,828 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,830 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,832 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,834 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,836 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,839 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,841 copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,843 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,846 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,849 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,851 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,853 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,856 copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,858 copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,860 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,863 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,865 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,869 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,871 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2026-07-16T17:12:13,874 creating build/lib/certora_cli/Shared 2026-07-16T17:12:13,875 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2026-07-16T17:12:13,878 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2026-07-16T17:12:13,880 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2026-07-16T17:12:13,884 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2026-07-16T17:12:13,887 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2026-07-16T17:12:13,889 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2026-07-16T17:12:13,891 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2026-07-16T17:12:13,894 creating build/lib/certora_cli/Mutate 2026-07-16T17:12:13,895 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2026-07-16T17:12:13,897 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2026-07-16T17:12:13,899 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2026-07-16T17:12:13,903 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2026-07-16T17:12:13,904 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2026-07-16T17:12:13,906 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2026-07-16T17:12:13,909 creating build/lib/certora_cli/CertoraProver/Compiler 2026-07-16T17:12:13,910 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-16T17:12:13,914 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-16T17:12:13,916 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-16T17:12:13,918 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-16T17:12:13,921 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-16T17:12:13,923 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-16T17:12:13,925 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-16T17:12:13,927 running egg_info 2026-07-16T17:12:13,957 writing certora_cli_alpha_master.egg-info/PKG-INFO 2026-07-16T17:12:13,960 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2026-07-16T17:12:13,962 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2026-07-16T17:12:13,963 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2026-07-16T17:12:13,965 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2026-07-16T17:12:14,004 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-16T17:12:14,010 reading manifest template 'MANIFEST.in' 2026-07-16T17:12:14,014 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-07-16T17:12:14,117 adding license file 'LICENSE' 2026-07-16T17:12:14,123 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-16T17:12:14,130 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2026-07-16T17:12:14,488 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2026-07-16T17:12:14,490 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2026-07-16T17:12:14,829 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2026-07-16T17:12:14,831 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-16T17:12:14,833 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-16T17:12:14,836 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2026-07-16T17:12:14,838 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-16T17:12:14,840 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-16T17:12:14,874 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2026-07-16T17:12:14,875 !! 2026-07-16T17:12:14,876 ******************************************************************************** 2026-07-16T17:12:14,877 Please avoid running ``setup.py`` directly. 2026-07-16T17:12:14,877 Instead, use pypa/build, pypa/installer or other 2026-07-16T17:12:14,878 standards-based tools. 2026-07-16T17:12:14,879 This deprecation is overdue, please update your project and remove deprecated 2026-07-16T17:12:14,879 calls to avoid build errors in the future. 2026-07-16T17:12:14,880 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2026-07-16T17:12:14,880 ******************************************************************************** 2026-07-16T17:12:14,881 !! 2026-07-16T17:12:14,882 self.initialize_options() 2026-07-16T17:12:14,902 installing to build/bdist.linux-armv7l/wheel 2026-07-16T17:12:14,903 running install 2026-07-16T17:12:14,925 running install_lib 2026-07-16T17:12:14,952 creating build/bdist.linux-armv7l/wheel 2026-07-16T17:12:14,954 creating build/bdist.linux-armv7l/wheel/certora_cli 2026-07-16T17:12:14,955 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-16T17:12:14,957 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-16T17:12:14,959 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2026-07-16T17:12:14,960 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-16T17:12:14,962 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-16T17:12:14,964 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-16T17:12:14,965 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-16T17:12:14,967 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-16T17:12:14,968 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-16T17:12:14,970 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-16T17:12:14,972 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-16T17:12:14,974 copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-16T17:12:14,976 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-16T17:12:14,978 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-16T17:12:14,981 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2026-07-16T17:12:14,982 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:14,984 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:14,986 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:14,989 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:14,991 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:14,993 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:14,995 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:14,997 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,000 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,005 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,008 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,011 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2026-07-16T17:12:15,012 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-16T17:12:15,015 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-16T17:12:15,017 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-16T17:12:15,018 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-16T17:12:15,020 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-16T17:12:15,022 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-16T17:12:15,024 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-16T17:12:15,026 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,029 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,030 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,032 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,034 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,036 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,038 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,041 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,043 copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,045 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,048 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,050 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,052 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,054 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,057 copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,059 copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,060 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,063 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,065 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,068 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,070 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-16T17:12:15,072 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-16T17:12:15,074 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-16T17:12:15,076 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-16T17:12:15,078 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2026-07-16T17:12:15,079 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-16T17:12:15,082 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-16T17:12:15,084 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-16T17:12:15,087 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-16T17:12:15,090 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-16T17:12:15,092 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-16T17:12:15,094 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-16T17:12:15,096 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-16T17:12:15,098 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-16T17:12:15,101 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-16T17:12:15,103 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-16T17:12:15,105 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2026-07-16T17:12:15,106 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-16T17:12:15,108 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-16T17:12:15,110 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-16T17:12:15,113 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-16T17:12:15,115 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-16T17:12:15,118 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-16T17:12:15,121 creating build/bdist.linux-armv7l/wheel/certora_bins 2026-07-16T17:12:15,122 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2026-07-16T17:12:15,124 creating build/bdist.linux-armv7l/wheel/certora_jars 2026-07-16T17:12:15,125 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-16T17:12:15,127 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-16T17:12:15,467 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-16T17:12:15,820 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-16T17:12:15,821 running install_egg_info 2026-07-16T17:12:15,858 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20260716.12.45.435886-py3.11.egg-info 2026-07-16T17:12:15,870 running install_scripts 2026-07-16T17:12:15,881 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20260716.12.45.435886.dist-info/WHEEL 2026-07-16T17:12:15,883 creating '/tmp/pip-wheel-p4t2_ld2/certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2026-07-16T17:12:15,886 adding 'certora_bins/__init__.py' 2026-07-16T17:12:15,887 adding 'certora_cli/__init__.py' 2026-07-16T17:12:15,889 adding 'certora_cli/certoraCVLFormatter.py' 2026-07-16T17:12:15,890 adding 'certora_cli/certoraConcord.py' 2026-07-16T17:12:15,892 adding 'certora_cli/certoraEVMProver.py' 2026-07-16T17:12:15,893 adding 'certora_cli/certoraEqCheck.py' 2026-07-16T17:12:15,894 adding 'certora_cli/certoraMutate.py' 2026-07-16T17:12:15,896 adding 'certora_cli/certoraRanger.py' 2026-07-16T17:12:15,898 adding 'certora_cli/certoraRun.py' 2026-07-16T17:12:15,899 adding 'certora_cli/certoraSolanaProver.py' 2026-07-16T17:12:15,901 adding 'certora_cli/certoraSorobanProver.py' 2026-07-16T17:12:15,902 adding 'certora_cli/certoraSuiProver.py' 2026-07-16T17:12:15,904 adding 'certora_cli/rustMutator.py' 2026-07-16T17:12:15,907 adding 'certora_cli/CertoraProver/__init__.py' 2026-07-16T17:12:15,909 adding 'certora_cli/CertoraProver/castingInstrumenter.py' 2026-07-16T17:12:15,910 adding 'certora_cli/CertoraProver/certoraApp.py' 2026-07-16T17:12:15,939 adding 'certora_cli/CertoraProver/certoraBuild.py' 2026-07-16T17:12:15,943 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2026-07-16T17:12:15,945 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2026-07-16T17:12:15,947 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2026-07-16T17:12:15,948 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2026-07-16T17:12:15,955 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2026-07-16T17:12:15,957 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2026-07-16T17:12:15,960 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2026-07-16T17:12:15,961 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2026-07-16T17:12:15,963 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2026-07-16T17:12:15,967 adding 'certora_cli/CertoraProver/certoraContext.py' 2026-07-16T17:12:15,973 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2026-07-16T17:12:15,975 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2026-07-16T17:12:15,980 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2026-07-16T17:12:15,983 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2026-07-16T17:12:15,984 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2026-07-16T17:12:15,986 adding 'certora_cli/CertoraProver/certoraJobList.py' 2026-07-16T17:12:15,988 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2026-07-16T17:12:15,989 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2026-07-16T17:12:15,990 adding 'certora_cli/CertoraProver/certoraOffsetConverter.py' 2026-07-16T17:12:15,992 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2026-07-16T17:12:15,994 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2026-07-16T17:12:15,997 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2026-07-16T17:12:16,000 adding 'certora_cli/CertoraProver/certoraType.py' 2026-07-16T17:12:16,002 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2026-07-16T17:12:16,003 adding 'certora_cli/CertoraProver/erc7201.py' 2026-07-16T17:12:16,005 adding 'certora_cli/CertoraProver/splitRules.py' 2026-07-16T17:12:16,007 adding 'certora_cli/CertoraProver/storageExtension.py' 2026-07-16T17:12:16,009 adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py' 2026-07-16T17:12:16,011 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2026-07-16T17:12:16,013 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2026-07-16T17:12:16,014 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2026-07-16T17:12:16,016 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2026-07-16T17:12:16,024 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2026-07-16T17:12:16,025 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2026-07-16T17:12:16,027 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2026-07-16T17:12:16,028 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2026-07-16T17:12:16,030 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2026-07-16T17:12:16,031 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2026-07-16T17:12:16,032 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2026-07-16T17:12:16,034 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2026-07-16T17:12:16,035 adding 'certora_cli/EquivalenceCheck/__init__.py' 2026-07-16T17:12:16,037 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2026-07-16T17:12:16,039 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2026-07-16T17:12:16,040 adding 'certora_cli/Mutate/__init__.py' 2026-07-16T17:12:16,051 adding 'certora_cli/Mutate/mutateApp.py' 2026-07-16T17:12:16,053 adding 'certora_cli/Mutate/mutateAttributes.py' 2026-07-16T17:12:16,054 adding 'certora_cli/Mutate/mutateConstants.py' 2026-07-16T17:12:16,056 adding 'certora_cli/Mutate/mutateUtil.py' 2026-07-16T17:12:16,058 adding 'certora_cli/Mutate/mutateValidate.py' 2026-07-16T17:12:16,061 adding 'certora_cli/Shared/ExpectedComparator.py' 2026-07-16T17:12:16,062 adding 'certora_cli/Shared/__init__.py' 2026-07-16T17:12:16,064 adding 'certora_cli/Shared/certoraAttrUtil.py' 2026-07-16T17:12:16,066 adding 'certora_cli/Shared/certoraLogging.py' 2026-07-16T17:12:16,074 adding 'certora_cli/Shared/certoraUtils.py' 2026-07-16T17:12:16,080 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2026-07-16T17:12:16,082 adding 'certora_cli/Shared/proverCommon.py' 2026-07-16T17:12:16,085 adding 'certora_cli_alpha_master-20260716.12.45.435886.dist-info/licenses/LICENSE' 2026-07-16T17:12:18,682 adding 'certora_jars/ASTExtraction.jar' 2026-07-16T17:12:18,871 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2026-07-16T17:12:21,464 adding 'certora_jars/Typechecker.jar' 2026-07-16T17:12:21,654 adding 'certora_jars/__init__.py' 2026-07-16T17:12:21,655 adding 'certora_cli_alpha_master-20260716.12.45.435886.dist-info/METADATA' 2026-07-16T17:12:21,656 adding 'certora_cli_alpha_master-20260716.12.45.435886.dist-info/WHEEL' 2026-07-16T17:12:21,657 adding 'certora_cli_alpha_master-20260716.12.45.435886.dist-info/entry_points.txt' 2026-07-16T17:12:21,658 adding 'certora_cli_alpha_master-20260716.12.45.435886.dist-info/top_level.txt' 2026-07-16T17:12:21,660 adding 'certora_cli_alpha_master-20260716.12.45.435886.dist-info/RECORD' 2026-07-16T17:12:22,105 removing build/bdist.linux-armv7l/wheel 2026-07-16T17:12:22,255 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2026-07-16T17:12:22,766 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl size=43402556 sha256=ed116f6164127976e6252b4a8adc43b239cf63432761dc47dcddb775d7adebdb 2026-07-16T17:12:22,768 Stored in directory: /tmp/pip-ephem-wheel-cache-t_dekdol/wheels/b7/46/d5/17386829851b55ec6c08058286c9d481d5b4ecb1bece4fc9f0 2026-07-16T17:12:22,795 Successfully built certora-cli-alpha-master 2026-07-16T17:12:23,845 Removed build tracker: '/tmp/pip-build-tracker-ui5ql3on'