2026-07-15T07:38:56,288 Created temporary directory: /tmp/pip-ephem-wheel-cache-xgr50y70
2026-07-15T07:38:56,290 Created temporary directory: /tmp/pip-build-tracker-9m43k27s
2026-07-15T07:38:56,291 Initialized build tracking at /tmp/pip-build-tracker-9m43k27s
2026-07-15T07:38:56,291 Created build tracker: /tmp/pip-build-tracker-9m43k27s
2026-07-15T07:38:56,292 Entered build tracker: /tmp/pip-build-tracker-9m43k27s
2026-07-15T07:38:56,292 Created temporary directory: /tmp/pip-wheel-2fk6_szj
2026-07-15T07:38:56,296 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2026-07-15T07:38:56,298 Created temporary directory: /tmp/pip-ephem-wheel-cache-yov3k08x
2026-07-15T07:38:56,320 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-07-15T07:38:56,324 2 location(s) to search for versions of certora-cli-alpha-master:
2026-07-15T07:38:56,324 * https://pypi.org/simple/certora-cli-alpha-master/
2026-07-15T07:38:56,324 * https://www.piwheels.org/simple/certora-cli-alpha-master/
2026-07-15T07:38:56,325 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/
2026-07-15T07:38:56,326 Getting page https://pypi.org/simple/certora-cli-alpha-master/
2026-07-15T07:38:56,327 Found index url https://pypi.org/simple
2026-07-15T07:38:56,512 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json
2026-07-15T07:38:56,544   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/06/2d/70d29f7b487e18b13b0c87c8290894c7ed7138fd1c1ad60908015e46c6a1/certora_cli_alpha_master-20260602.19.42.668495-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,545   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7d/90/97a4a8e0465c191f26d0e23fe662d2515e7fe1dff4b7398b21658787f45f/certora_cli_alpha_master-20260602.19.42.668495-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,546   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e9/4b/03703087b246b53d84ca80e1110a4a0ba140373264d6a8eb55d42640c04c/certora_cli_alpha_master-20260602.19.42.668495-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,547   Found link https://files.pythonhosted.org/packages/df/9f/65f6a9239f6e9698ec37ce9a64f47c8f230eac183190f42ef8b3f3aeaf71/certora_cli_alpha_master-20260602.19.42.668495.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260602.19.42.668495
2026-07-15T07:38:56,548   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c9/1d/a9316b646c3f8467b8de8d6c24bd87bddcde964b8e59b35f3bb01c8e5ab5/certora_cli_alpha_master-20260603.16.54.616474-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,548   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2f/5f/c630de9f69f060ac8bd44690548edc267b0a63a16022ff73c9c35668f8a7/certora_cli_alpha_master-20260603.16.54.616474-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,549   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/34/40/2efe4c8a175b723ae636344b9862784388032427a68146bce8313ae62f1e/certora_cli_alpha_master-20260603.16.54.616474-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,550   Found link https://files.pythonhosted.org/packages/6b/10/24374cf60bae21fdb2cf6a4b489f504ea363a9067a12e56766c443c2bc42/certora_cli_alpha_master-20260603.16.54.616474.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260603.16.54.616474
2026-07-15T07:38:56,551   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9c/0e/48e18663ce19339b922441cd69a78ed358de906673d38423c731a40ddc3a/certora_cli_alpha_master-20260604.2.58.491470-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,551   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0c/3c/65836376e5f13497d68d498f6b6067b2209c6f6c30fac2dc554dbe2b9ce3/certora_cli_alpha_master-20260604.2.58.491470-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,552   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/17/3c/6bcd18b3ba262d966bff3fdbaca5aa5c11ba0b9b0343b77a7b28811df09d/certora_cli_alpha_master-20260604.2.58.491470-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,553   Found link https://files.pythonhosted.org/packages/9e/bd/f8f6bdcda0365d5c233a153e2d9f1db44cedefc2f3ee174c6d14fd1245bf/certora_cli_alpha_master-20260604.2.58.491470.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260604.2.58.491470
2026-07-15T07:38:56,553   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/da/64/cbcb26f4aee7ab345537458c63063a57b6203f079e3f462aa7269808a828/certora_cli_alpha_master-20260604.5.35.265265-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,554   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8b/66/4fe0e1f2f9a9811cfe01223c6d69597cd6b4bb7e74cdf635cc83eef7b8bf/certora_cli_alpha_master-20260604.5.35.265265-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,555   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d3/1b/4a028b6e585365d92b51938fc8f19ddc66aad0e168bb249a0ade3fbe2965/certora_cli_alpha_master-20260604.5.35.265265-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,556   Found link https://files.pythonhosted.org/packages/52/b0/5bea1f85efc72b2e1af001db544df447749fda74fa67eff2b74722065e14/certora_cli_alpha_master-20260604.5.35.265265.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260604.5.35.265265
2026-07-15T07:38:56,556   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b7/45/7dd10518e133b83542c55aa4ecab915d88954d23e6ccc32fde2f2344044b/certora_cli_alpha_master-20260606.2.56.501394-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,557   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/66/d7/27ba9a4228811dd4b9d088977792d960e031ddef0af84d3c30476549ce52/certora_cli_alpha_master-20260606.2.56.501394-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,557   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f7/9c/bf47282f19d0bb9a4b80ef530e07fb17639fcf9fe2a863222cabe9a70955/certora_cli_alpha_master-20260606.2.56.501394-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,558   Found link https://files.pythonhosted.org/packages/e4/28/664a18f881696c6704d82b66749c99a6a4fe4cad299d6618f2ff7ceee3bc/certora_cli_alpha_master-20260606.2.56.501394.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260606.2.56.501394
2026-07-15T07:38:56,559   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/60/a8/3c850c188df0a673c34575895f7b7f27b97088649e084741f396d6957679/certora_cli_alpha_master-20260606.7.10.701608-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,560   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5b/79/245ca683dc0b9bd06b498c5ee4f1bb81cdc6e9a18112c4f87aac238b6408/certora_cli_alpha_master-20260606.7.10.701608-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,560   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c9/fc/013cedc7dc929d0ba43c689b45b5220ffac6cb7934356468d96ee63c1419/certora_cli_alpha_master-20260606.7.10.701608-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,561   Found link https://files.pythonhosted.org/packages/a0/ab/42da7de1eb9946986041df459118225bb57f9001dc6b6f4c8ba678b09e45/certora_cli_alpha_master-20260606.7.10.701608.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260606.7.10.701608
2026-07-15T07:38:56,562   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/68/49/1047d2a678ff58b7d1db252661b40f28952a8276777597cb69981f6c3ae9/certora_cli_alpha_master-20260609.16.18.866576-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,563   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/bd/d5/d59c41292421648d38e429acb8fa38c9363e4f021c639f7a90d3a8b3b7c5/certora_cli_alpha_master-20260609.16.18.866576-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,563   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/bb/64/53e9e03e699d8bfa5e2b7714942a7974d7ab186ca96b252d3f9fcff1a47a/certora_cli_alpha_master-20260609.16.18.866576-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,564   Found link https://files.pythonhosted.org/packages/59/f5/888f4b13038d85ee4845d057707abbc2b875805d62e09378d25e18f81614/certora_cli_alpha_master-20260609.16.18.866576.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260609.16.18.866576
2026-07-15T07:38:56,565   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/33/6d/8559fbd554615337845f78e15a51bebb45ab59c264b3ce3244ebb11e0954/certora_cli_alpha_master-20260610.10.20.610380-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,566   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4f/9b/96db3d6fd7333b42d4969765d4c6576de68655668826909b4d0a83713b01/certora_cli_alpha_master-20260610.10.20.610380-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,566   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/67/a4/7db4a900de0ac276115364f0aa9b59c0295b7c1f5f36087927a54527e1ea/certora_cli_alpha_master-20260610.10.20.610380-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,567   Found link https://files.pythonhosted.org/packages/ef/84/8267265aca7103f16bb474a7de5078fefa94f37320adb13673ba257f77fd/certora_cli_alpha_master-20260610.10.20.610380.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260610.10.20.610380
2026-07-15T07:38:56,568   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/38/df/a7cce310c30ccff070336535b64dd85905e5e6c21e9f29fc004e028d4d69/certora_cli_alpha_master-20260610.11.2.719309-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,569   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b3/40/f081ecebed0a8807da461bdcbfa3887b82466cdbde33fe75295abac4cd74/certora_cli_alpha_master-20260610.11.2.719309-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,569   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/01/e4/0efe7e9b8280c5228df22a2abca78369cbea54110ae964811bcb238a800a/certora_cli_alpha_master-20260610.11.2.719309-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,570   Found link https://files.pythonhosted.org/packages/33/8c/e27da280e763834bfb92458fdf4eb600707df1938b0ae3e2f71b99b1d903/certora_cli_alpha_master-20260610.11.2.719309.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260610.11.2.719309
2026-07-15T07:38:56,571   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/35/49/ad93b7388eaf50f69e4cdf32b74c8070c8e2407a20c3fc51e85b647bbe75/certora_cli_alpha_master-20260610.20.35.973885-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,571   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/67/f1/34a6eea549967a461762bda6eb7a29aee910d910e1dff74bb1e142e11fc5/certora_cli_alpha_master-20260610.20.35.973885-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,572   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f1/47/2a3c5bf3398e232ce230c6ae1ab65888b6e252bb3624e65d0767cbbcff85/certora_cli_alpha_master-20260610.20.35.973885-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,573   Found link https://files.pythonhosted.org/packages/4d/76/f4c96e90a921b291d5de5bfb768ffff08bf1f29cc8daf4afccc030162390/certora_cli_alpha_master-20260610.20.35.973885.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260610.20.35.973885
2026-07-15T07:38:56,574   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/df/72/8da6d5314152dd535d0b9ec8be56b7ad4de4918179053aa1b9fd597debb9/certora_cli_alpha_master-20260612.15.41.919590-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,574   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fa/02/aae206b8d6e99dde66b3676b70c0480e3d8e3acfa0c5c6ae6854bba0b9a6/certora_cli_alpha_master-20260612.15.41.919590-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,575   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ec/3e/cb4310eeca4fdd263692512c317daad69b4e8d4946d3266b8800e6232ac1/certora_cli_alpha_master-20260612.15.41.919590-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,576   Found link https://files.pythonhosted.org/packages/bd/a2/dea08d41d0e7e06d2857fce84eec2d8dff3537e450642585c8a0dd542afb/certora_cli_alpha_master-20260612.15.41.919590.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260612.15.41.919590
2026-07-15T07:38:56,577   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cb/62/1717a56e831f06d0573c40f1882c987dafd6538b91b37e76d4c30c7834d3/certora_cli_alpha_master-20260612.17.41.351895-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,577   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/70/1f/187498e1b1c4a6a39015cbc636d503229b8b900c735326a468d0cad96547/certora_cli_alpha_master-20260612.17.41.351895-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,578   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/40/43/860aa6fa6534a978414fbfb4d8872d0bc378aeabd6b80993c56a38bc339d/certora_cli_alpha_master-20260612.17.41.351895-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,579   Found link https://files.pythonhosted.org/packages/26/f6/60909a1ba51cbffa6a048f71b7d31839838d9f9aca3d0ba928ae5b550ec7/certora_cli_alpha_master-20260612.17.41.351895.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260612.17.41.351895
2026-07-15T07:38:56,580   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fb/c3/27735e0b145130887f96883b822fdef7c1d8d2d59ca70cb183aed29c374c/certora_cli_alpha_master-20260612.21.48.864915-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,580   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/84/84/7f616f8226132fecd8a9a30aafe12d547c9de545dad39e338a7096a0e63a/certora_cli_alpha_master-20260612.21.48.864915-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,581   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b8/87/32fbdc03fe8819a8e0ebcda2612e6074798426e34753e0ea7ba96996c702/certora_cli_alpha_master-20260612.21.48.864915-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,582   Found link https://files.pythonhosted.org/packages/9c/cf/42a6561458547539088c6a524a1440e136cdd154890a2ee31ccfb44f8f65/certora_cli_alpha_master-20260612.21.48.864915.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260612.21.48.864915
2026-07-15T07:38:56,582   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/66/37/22741cd329e7c1299ef7d385d560d55f90cc2080c1d5050c2faa642f3d28/certora_cli_alpha_master-20260614.13.2.640354-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,583   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/12/1e/337f8f53280ce9b022bac4ad45d30bf6be1066d3021311292af39b58627b/certora_cli_alpha_master-20260614.13.2.640354-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,584   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1e/b4/0ec599bff90de68a8a2f226ed7f669f50384e14f4ec6994681b816733f38/certora_cli_alpha_master-20260614.13.2.640354-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,585   Found link https://files.pythonhosted.org/packages/8e/6a/525864f3d99dde8df007ff2fd463f662021173ba00662153bbe1cb5c5af1/certora_cli_alpha_master-20260614.13.2.640354.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260614.13.2.640354
2026-07-15T07:38:56,585   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c8/bb/154f04b99f1f9ee8f7536cd5090971a5d8c8fc374888d0a8d3e3403687e3/certora_cli_alpha_master-20260615.19.37.420490-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,586   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4d/15/d247813d8944fb1020d58ac2c66d34c30a153e247f08ea77a23de96d1ff3/certora_cli_alpha_master-20260615.19.37.420490-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,587   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4a/50/b75977d0cc7f0f6ced8ae0c834a33cba1a03a749fd3a10bff16f6c3efd3f/certora_cli_alpha_master-20260615.19.37.420490-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,587   Found link https://files.pythonhosted.org/packages/c9/b8/7db8c437653ca0ecaff46d75064bd54d799762356da5610d7a4f9ed257bd/certora_cli_alpha_master-20260615.19.37.420490.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260615.19.37.420490
2026-07-15T07:38:56,588   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/68/ae/40cf5bf1f39dd729142b37feb20588540c6a0313382f37784f751ca0cf6d/certora_cli_alpha_master-20260615.20.26.956345-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,589   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d1/ea/d15b6cfd7e04fd2133763ddd5ab11d45df858ed0d898bd745cc7a8d2afc9/certora_cli_alpha_master-20260615.20.26.956345-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,589   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/39/b6/af2bb4c903da4dd0ca5e22b7a6593c9561a4abf5d2ecd17d21122cfd0404/certora_cli_alpha_master-20260615.20.26.956345-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,590   Found link https://files.pythonhosted.org/packages/40/83/9e7096beb23daf4050bd01913d66a4c161c0f6c60c8e0eea22460d3dd811/certora_cli_alpha_master-20260615.20.26.956345.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260615.20.26.956345
2026-07-15T07:38:56,591   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/23/42/ab3881cdcf766ed128c27c849606c2602fb352e5de75f5e1861c778935ae/certora_cli_alpha_master-20260615.21.10.902584-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,592   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ee/01/a44dcecf2c7fb0b853c1a90be978fceeb12cc9e263ef3a87e464ecc8ec9a/certora_cli_alpha_master-20260615.21.10.902584-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,592   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/35/63/2d177a3257a872991f3c25433df5c816f2ec5f3ad2999535ad58899f906a/certora_cli_alpha_master-20260615.21.10.902584-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,593   Found link https://files.pythonhosted.org/packages/03/25/e4bf50889eb2784c53cb4863ca626b1d789f7eb8daa307f8db469589c8e0/certora_cli_alpha_master-20260615.21.10.902584.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260615.21.10.902584
2026-07-15T07:38:56,594   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b7/2e/3cc2ca3114e0f8bc488d6d14aaeef4da58698875442c09601435d2df8612/certora_cli_alpha_master-20260617.13.21.758011-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,594   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f3/86/b489bdda7e207bebf4b9f63dd275c694ab406acd6583ece419e15c8f2b0a/certora_cli_alpha_master-20260617.13.21.758011-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,595   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f8/55/ee98b5697bf9fdde4ac3b7588b9d49b78acaf2bfbe16eaaa944b6f1dad32/certora_cli_alpha_master-20260617.13.21.758011-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,596   Found link https://files.pythonhosted.org/packages/1a/a1/38b9fe6dd54b9fcb30ee1f2638132cf2c5f8ea7a6808abfce6dd3c2c391e/certora_cli_alpha_master-20260617.13.21.758011.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260617.13.21.758011
2026-07-15T07:38:56,597   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f3/fe/d2cd0212dc780fb095cb017ccacac9712eb5d617f591210980992b3f5baa/certora_cli_alpha_master-20260617.23.28.389095-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,597   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/45/1f/52aed1b725de65878465b0419bd77892fabb06b02a500accaacc92744eb3/certora_cli_alpha_master-20260617.23.28.389095-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,598   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a5/34/eecdc11af4e9cb1d74d6ac218c358bf45c8bf0742ed21e895e826dfe1e73/certora_cli_alpha_master-20260617.23.28.389095-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,599   Found link https://files.pythonhosted.org/packages/c2/a0/426ae3c94df66c0471cf1c12c3d3a52f03120cf5b51827407b0a36e39c67/certora_cli_alpha_master-20260617.23.28.389095.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260617.23.28.389095
2026-07-15T07:38:56,599   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4e/c2/58ecd01d1dda4768c5854681554d4d24a828d50721f4ccf024e3ff6c54cf/certora_cli_alpha_master-20260619.15.39.944177-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,600   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/57/f0/be8a5a1cb997a26b88c34c725fd6318193365f81e1f8676c1a95c6ccec71/certora_cli_alpha_master-20260619.15.39.944177-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,601   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e9/f0/1fb18b3fadb9e683d513ff0a9216901fcc733a70d66bd43e25bf8658407d/certora_cli_alpha_master-20260619.15.39.944177-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,602   Found link https://files.pythonhosted.org/packages/2a/a8/78186213eb9c0c5cad9d50ee14bee5619a4b6de803dc1b922dc0743733ba/certora_cli_alpha_master-20260619.15.39.944177.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260619.15.39.944177
2026-07-15T07:38:56,602   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7c/f5/f24a0f1397d901a7c7234524ebef27c834b4be56821905ad45c7f9444a25/certora_cli_alpha_master-20260619.16.25.23812-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,603   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fd/c7/4967951665873f605238c0e182a13bb0bd99a13de6875dd148d670043ad3/certora_cli_alpha_master-20260619.16.25.23812-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,604   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7b/07/e50ac849cd52dd3ba601a942622537597750a03e3127e82a584bc7a0ac87/certora_cli_alpha_master-20260619.16.25.23812-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,604   Found link https://files.pythonhosted.org/packages/d5/61/bf6db003f78aa951666cac750e8871612eaef1972bdcea51800ae1ad1b52/certora_cli_alpha_master-20260619.16.25.23812.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260619.16.25.23812
2026-07-15T07:38:56,605   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f6/3f/9e645ed1749d2e6b7fe76506b733811792df33c1a0441654c4424b6f2382/certora_cli_alpha_master-20260622.17.47.779366-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,606   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/93/e3/8a46de3a137a6ae1b7371289bd0056ab253628601ee505362b67891cf461/certora_cli_alpha_master-20260622.17.47.779366-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,606   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fb/77/c444ae64ee517002f6e60e9576e82bb23cb3595b83faed385e20bf094092/certora_cli_alpha_master-20260622.17.47.779366-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,607   Found link https://files.pythonhosted.org/packages/c1/3f/2bf02ccaa31e7706883b35b511e6a3fefd2dc8b31a7294eebdc037a5145f/certora_cli_alpha_master-20260622.17.47.779366.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260622.17.47.779366
2026-07-15T07:38:56,608   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/82/f3/c179224ad1fff6a3083b41845a818a340889d1c25dcbc77a96328e6a56be/certora_cli_alpha_master-20260623.17.28.405774-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,609   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6e/04/8a1b393de30e886130423637bd203fe5992a402eee3b5487857a38f7cb59/certora_cli_alpha_master-20260623.17.28.405774-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,609   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8a/72/b3f8b1f20bf579ea02db0f9b43d05e166da4ba52d9f28e94320c5e2ebd2e/certora_cli_alpha_master-20260623.17.28.405774-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,610   Found link https://files.pythonhosted.org/packages/71/4f/726633ecf4497617a7d250410ff20b0bea5c5fd5f9398b6e9564cdf1c97b/certora_cli_alpha_master-20260623.17.28.405774.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260623.17.28.405774
2026-07-15T07:38:56,611   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/42/e4/a72f84cb17811f64ae47282fe4feb6e27e4f452bc65a42177fbf3ab3bded/certora_cli_alpha_master-20260624.14.50.338813-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,612   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/70/48/e2e6ea428e279ea9b48e96f0dca04f6fa964e8e33bd51967c913e6924d32/certora_cli_alpha_master-20260624.14.50.338813-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,612   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/30/4d/4b70a7d58f8aa1256177c12142d7753ddfe65c4ac4f39c922ba55c206d6f/certora_cli_alpha_master-20260624.14.50.338813-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,613   Found link https://files.pythonhosted.org/packages/dd/fe/b5d3535608a4467d094141fb7da718d2d7d8db9d1ee378b336bf83dad652/certora_cli_alpha_master-20260624.14.50.338813.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260624.14.50.338813
2026-07-15T07:38:56,614   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/14/59/b665e436aefc882da28c276a7b3472ccaabe9f02ba64f97c93cabfe006f1/certora_cli_alpha_master-20260624.20.18.397226-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,614   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2f/79/5bee4f59fd76b1a8fe8d9828176c0e63d8a46554f3bf2d29638aa28cdaf9/certora_cli_alpha_master-20260624.20.18.397226-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,615   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6d/14/3b45159844de56c6830990714bfc4e832714c58fdc1b99a71a8a10e5fe5e/certora_cli_alpha_master-20260624.20.18.397226-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,616   Found link https://files.pythonhosted.org/packages/25/d7/1b8b901e2d93031920d33e94432da82542f818dc684b05368f58acf6ba7b/certora_cli_alpha_master-20260624.20.18.397226.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260624.20.18.397226
2026-07-15T07:38:56,617   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/33/8b/71a62497b8485c8a273c5a0c0db0868a44d5e98867bd7d30e7d81aa4541a/certora_cli_alpha_master-20260625.15.46.722804-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,617   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ff/c9/c7a464139c738fcb666294e6b769aaf9c07e1248b3f62b9de2f037d4fee4/certora_cli_alpha_master-20260625.15.46.722804-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,618   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d2/24/a813e950a8f328dc9f17ed2ab3dad8b0af162e99ef645a0e1e7a06681404/certora_cli_alpha_master-20260625.15.46.722804-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,619   Found link https://files.pythonhosted.org/packages/95/0e/29af00b063ebdf145ed9733ad927bc1a037c2ad4d61fb7e72bd5bf7e87c4/certora_cli_alpha_master-20260625.15.46.722804.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260625.15.46.722804
2026-07-15T07:38:56,620   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/42/6e/f71ef63757a86b37e52b2a07b95328ddfeb788a74874d61fb7bbf9d53134/certora_cli_alpha_master-20260626.18.49.854299-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,620   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/72/da/c4c6211d260255915d6e9a32421ac622069cac1a9ba9bb5e3679170cc98d/certora_cli_alpha_master-20260626.18.49.854299-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,621   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a7/9b/25b8ec4918891b711c57095e84658bb3b6a9177b9b89f4cb659b55ab4bde/certora_cli_alpha_master-20260626.18.49.854299-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,622   Found link https://files.pythonhosted.org/packages/86/9c/0caba018b804a3af8e315421c6a84373ba302c25ac28f5a4eb3b1cdbd18d/certora_cli_alpha_master-20260626.18.49.854299.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260626.18.49.854299
2026-07-15T07:38:56,623   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/98/3d/780b1b5352a8840e89abbc2d1c1c48ecd21d07f183815bde7082462bf7e2/certora_cli_alpha_master-20260629.12.52.270160-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,623   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/15/24/004a71716a2235b96bbfd381246485164af1bdf1d8830190ddeda2734f91/certora_cli_alpha_master-20260629.12.52.270160-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,624   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/16/12/ef2efe20b42cdf9330d78ad2081c34f8255b87af05323973d4b3f053a917/certora_cli_alpha_master-20260629.12.52.270160-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,625   Found link https://files.pythonhosted.org/packages/e6/f9/683e41f6244668ec9167c5a9ffe946a85065d172ab87b473bde50c61838e/certora_cli_alpha_master-20260629.12.52.270160.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260629.12.52.270160
2026-07-15T07:38:56,625   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/95/12/2af718e4b5491f140a05c91264db1be30f9ddca09c4da76140f6786e395b/certora_cli_alpha_master-20260629.17.2.854491-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,626   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cd/f1/6be71cb2bfbc0f5276876b31651ce94a97e6c7d93a03898697e8ad528e6f/certora_cli_alpha_master-20260629.17.2.854491-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,627   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/61/03/bfa3b84ee509875d96fb63510b577bb4a14745a73c11a4ac9eb9c7be899f/certora_cli_alpha_master-20260629.17.2.854491-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,628   Found link https://files.pythonhosted.org/packages/fd/37/055ee85399cb9361e5b58b021d1ffade20e7c12e1bf7b2535341b3339938/certora_cli_alpha_master-20260629.17.2.854491.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260629.17.2.854491
2026-07-15T07:38:56,628   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/85/db/22c991df135225e903c9f2ecbf6cb2a604c41dd91de9ed6b16ce52009390/certora_cli_alpha_master-20260630.0.45.196638-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,629   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/be/d1/b0e9b099af8625c996285eab95c2fb959def0ad3bfe2ad9ad05d6ecb22a7/certora_cli_alpha_master-20260630.0.45.196638-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,629   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7f/32/55e6400979fe1061722be977670743db3e40717e056d8c1caece5c462a39/certora_cli_alpha_master-20260630.0.45.196638-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,630   Found link https://files.pythonhosted.org/packages/97/13/ef97b1835a151450a2e060d270d0701129b1408284abc99a200230a946bb/certora_cli_alpha_master-20260630.0.45.196638.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260630.0.45.196638
2026-07-15T07:38:56,631   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8d/3d/e262fc6596eca89708578ddc06f62ccb3754e35ee5d9ea3c08943afccf2c/certora_cli_alpha_master-20260630.20.25.114928-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,632   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/12/82/15172d38ac1a7a9bb02ce52e5e18acde791485308e89eac68d92266faf48/certora_cli_alpha_master-20260630.20.25.114928-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,632   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3f/be/0b8cb4e0773c2ac300192d6892249e4daa20fff902dee2ac31c7fa9ea873/certora_cli_alpha_master-20260630.20.25.114928-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,633   Found link https://files.pythonhosted.org/packages/fc/6c/c1fc61740c9084beb92c9ec13ec560739c4fe9aba67a3a6afd65630d5a5c/certora_cli_alpha_master-20260630.20.25.114928.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260630.20.25.114928
2026-07-15T07:38:56,634   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ec/9a/58badff414d96ffa7a6aa3c46ff0a52b5cd6be5a850db4b1cdc2668c8006/certora_cli_alpha_master-20260701.17.24.714768-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,635   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e4/31/3cf9a56fbd38eb90f3fadb4c52ce42daa63281bfdfc8a403d333c252144d/certora_cli_alpha_master-20260701.17.24.714768-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,635   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3f/06/631587a7feea3a21efa3dfea63c57ac1082d2ca17291126aefb6de4da33a/certora_cli_alpha_master-20260701.17.24.714768-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,636   Found link https://files.pythonhosted.org/packages/b7/5f/2b5fc0ac4760662d092c8292b51fea6de8c7d92cdc7c4ffba142fc74aff8/certora_cli_alpha_master-20260701.17.24.714768.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260701.17.24.714768
2026-07-15T07:38:56,637   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c2/82/5221848a3a0a762fc277177a07b913a2fb6ba51efbf02d7e7bdd3a4e87d3/certora_cli_alpha_master-20260702.8.5.696809-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,637   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fb/5f/8cf3ffa8349bcc63ebd519e88ffa38d62bc11de3d434bf4904f15c5715b0/certora_cli_alpha_master-20260702.8.5.696809-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,638   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/35/d2/043619d573efb2fc099e31651f04c0b358c9aab21519d85353274753e8ab/certora_cli_alpha_master-20260702.8.5.696809-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,639   Found link https://files.pythonhosted.org/packages/00/99/3a90081b0ad3fb971f8d578e1238011622a9c148edd261611fa573b7a139/certora_cli_alpha_master-20260702.8.5.696809.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260702.8.5.696809
2026-07-15T07:38:56,639   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/27/ed/83cd240d7d13033fa5f5b092cdbf364e34778a8bc0094ac7848c1664b954/certora_cli_alpha_master-20260702.14.0.979624-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,640   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/bf/51/89ecf684ce3931ab6ff23746c662880a7d3cfa1b0d51913d6a7783aba00e/certora_cli_alpha_master-20260702.14.0.979624-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,641   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a4/75/d2d0ca0240e54569764bff48e5cc987d4835d58660066f524c786c1bd2f7/certora_cli_alpha_master-20260702.14.0.979624-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,642   Found link https://files.pythonhosted.org/packages/df/f1/5252fb2a78c204e36d4bc7ca336835974ea12b98275a3a6e07af00dd4523/certora_cli_alpha_master-20260702.14.0.979624.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260702.14.0.979624
2026-07-15T07:38:56,642   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e7/17/a5cdc5afefbcdcb86bf6b82a99eefe5f12dec712f63732d5fd732c80ceda/certora_cli_alpha_master-20260703.13.1.45555-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,643   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e9/97/769d4eef81575c9d0425922d98b14da0a63373338811fbd46330d039284b/certora_cli_alpha_master-20260703.13.1.45555-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,644   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/35/6a/336108ac9a1c8e92261e57896c3258b30b74aef0a5ddae85e0fe29d02242/certora_cli_alpha_master-20260703.13.1.45555-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,645   Found link https://files.pythonhosted.org/packages/bf/54/b1f7d2b4c28fc85f6c22f732eb3ac9d29c2c1741e5dd2b53e4156e66497c/certora_cli_alpha_master-20260703.13.1.45555.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260703.13.1.45555
2026-07-15T07:38:56,645   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8c/f5/562fb667cb44c9bfc155a456b0fddf27f61ac679d330013a5e2146d32ccb/certora_cli_alpha_master-20260704.21.8.727718-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,646   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/22/3a/2a221fb24e203a361ad08aeca749bff6e9dec3e4fbc1f974e22ebc2357f0/certora_cli_alpha_master-20260704.21.8.727718-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,646   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/bb/01/c800d91dd058d8b603bb029fd6df78144d7076e5cdf4206d5b5102d86d25/certora_cli_alpha_master-20260704.21.8.727718-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,647   Found link https://files.pythonhosted.org/packages/c2/df/18e880085d6e56c5207b2d2d3e48cea7244baf50c5d4b511f64a921ad857/certora_cli_alpha_master-20260704.21.8.727718.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260704.21.8.727718
2026-07-15T07:38:56,648   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5b/55/33aadcacfcfc55de6dde78977e7ba3457bc59a4754afaabd2608b2d1743e/certora_cli_alpha_master-20260704.21.42.175430-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,649   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9a/cd/5f6c1a345c92cc1586c3f0954d7aeeb37f9789aa3a6a56fa1edc1f6043ee/certora_cli_alpha_master-20260704.21.42.175430-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,649   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/69/af/7a92005f162b9e46e7ec83f9c6f5b328720d7a8501e1a810169040bfec09/certora_cli_alpha_master-20260704.21.42.175430-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,650   Found link https://files.pythonhosted.org/packages/6d/eb/ef48e8edf081223a11321991b977cda93e1dd229cf853802fe6351474b5f/certora_cli_alpha_master-20260704.21.42.175430.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260704.21.42.175430
2026-07-15T07:38:56,651   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cd/33/50142f38a4f671e7f8e514b93d84b572fb2627a5ba31449e5eb61703cbfb/certora_cli_alpha_master-20260705.10.47.84109-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,651   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d9/98/d7a9d8d33d967f54f948093a1a2417909c48e8ef1bfd9f5514c20fd821c4/certora_cli_alpha_master-20260705.10.47.84109-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,652   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b0/a1/919eeade9621b197d113a7e65d854cd9922ccb77386546d8d61fc0da3645/certora_cli_alpha_master-20260705.10.47.84109-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,653   Found link https://files.pythonhosted.org/packages/da/a8/d70ab584065a3def9073f479aae43575ad29e05fcdf5cc92b269e10121b9/certora_cli_alpha_master-20260705.10.47.84109.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260705.10.47.84109
2026-07-15T07:38:56,654   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b4/a7/6ecacc3740dfae358bee512ab09680d3975fb284fd0ca2ff3c9fdf2c6311/certora_cli_alpha_master-20260705.22.14.975194-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,654   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e6/37/bf91279bece5dd3eb55f2dd4f320104a9774207b47cfa5724c592ad30f5f/certora_cli_alpha_master-20260705.22.14.975194-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,655   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c5/6b/9077c3d697b5713b121829073909fea8feac475e8651723b75bab1d5924b/certora_cli_alpha_master-20260705.22.14.975194-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,656   Found link https://files.pythonhosted.org/packages/ac/a9/06d16350190dc30badaea7b74245d206ddb3d1d2ee78752d3f65eb385a3a/certora_cli_alpha_master-20260705.22.14.975194.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260705.22.14.975194
2026-07-15T07:38:56,656   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a8/be/239ffebe74bfbd3832fc1d4823be1760af22f0f9462fcf355804cc356300/certora_cli_alpha_master-20260707.19.34.975381-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,657   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/08/7d/bccf38bb53c41d0b201941ba218cec509de46b385675bb34f16d95fb9748/certora_cli_alpha_master-20260707.19.34.975381-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,658   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f0/be/00934e3b9a3288e0529318128ed2bc07c45f9fb204da1a3aff09b3b07018/certora_cli_alpha_master-20260707.19.34.975381-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,659   Found link https://files.pythonhosted.org/packages/07/2c/d2a34a95838cc9dc6750266cc1f000461b80a71e38ead32a88e59e0f218b/certora_cli_alpha_master-20260707.19.34.975381.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260707.19.34.975381
2026-07-15T07:38:56,660   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/82/d5/2daa67a5b83d8ceedc7b581750ed0b0fac624cda437e4b19d0d0ad315f2c/certora_cli_alpha_master-20260709.21.34.614640-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,660   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e6/44/db0390235b4bee3fe9a567c90632ab6b82aa8fc0d4704b78af9a25cfaf68/certora_cli_alpha_master-20260709.21.34.614640-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,661   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/79/4a/5a0d494d4ba774163ef2e2cd09dcdabb2e8d5d5a972fed53c86717c04a4b/certora_cli_alpha_master-20260709.21.34.614640-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,662   Found link https://files.pythonhosted.org/packages/90/7e/335bd1abf4266b0bb71acfdb28258281818ae27acb2e5e184a5d7b66e118/certora_cli_alpha_master-20260709.21.34.614640.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260709.21.34.614640
2026-07-15T07:38:56,663   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/95/7c/cbc4193cb54147ec700878c62908e764d1a44499011aaf18ad4e32c94684/certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,663   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2d/b2/ffed5f0a6dd0bea599910aa3c1b4c80ddda7925279a335c77b4fff66fd30/certora_cli_alpha_master-20260715.6.8.146347-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,664   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cc/98/abb95aabd27bc48e5177e6728e4a08346e7662a2607fbb07026d7fdb14cf/certora_cli_alpha_master-20260715.6.8.146347-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,665   Found link https://files.pythonhosted.org/packages/1a/4e/eecc3fc4136977e849f50aac5cea73aa8f2696dd1eeea8a170b9dea2dd80/certora_cli_alpha_master-20260715.6.8.146347.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.6.8.146347
2026-07-15T07:38:56,665   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ee/ce/370691f153d969eac1203cc52c1826b780d48adeee2ef5c9c15b1e8a1177/certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,666   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6b/09/0f40d43671128a09007501ed11adce51aff23ee45ab2d36e4dea290735b0/certora_cli_alpha_master-20260715.6.46.85716-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,667   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/be/2f/3ddf62c230dde2698deb86266f086f7cb247f9557fcc0be287d51a152adf/certora_cli_alpha_master-20260715.6.46.85716-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,668   Found link https://files.pythonhosted.org/packages/ae/47/92ff1d04703a3fefe2a8c07f31af5a752a5f00e202e7a79249b20db34849/certora_cli_alpha_master-20260715.6.46.85716.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.6.46.85716
2026-07-15T07:38:56,668   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-15T07:38:56,669   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-15T07:38:56,670   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-15T07:38:56,670   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-15T07:38:56,671 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/
2026-07-15T07:38:56,672 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/
2026-07-15T07:38:56,673 Found index url https://www.piwheels.org/simple
2026-07-15T07:38:56,872 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html
2026-07-15T07:38:56,885   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-15T07:38:56,886   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260709.21.34.614640-py3-none-any.whl#sha256=dc0e783eef394d9213626887c5760ba02bd7f3a886c094c1bac552716b7cf88e (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,886   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260707.19.34.975381-py3-none-any.whl#sha256=b1d37f9fe06ae8ac7b5a21370c5bd4ec958ce447c4fd160bd4f84ff5f08e53ee (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,887   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260705.22.14.975194-py3-none-any.whl#sha256=baea23d453fbef16f53cebb219b110d675c40acad7fbd2f7fdceb410b69e400e (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,888   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260705.10.47.84109-py3-none-any.whl#sha256=1c33d89c624e9c3c0b22298b07d1802992cc1c02ce565b4136c526ed780ec4e1 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,888   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260704.21.42.175430-py3-none-any.whl#sha256=bc431c915a3eb53e999831932ff3576cd2e31c9f8a05362fc62761b8fbaf4659 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,889   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260704.21.8.727718-py3-none-any.whl#sha256=623581cab753c1493805d42a16e6f2e4e791ba0b0cbc452089e5a955edbd6769 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,889   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260703.13.1.45555-py3-none-any.whl#sha256=bc7658591e0a54329f27694ac152fcd0ee49926ef661e52994ea689faeb87763 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,890   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260702.14.0.979624-py3-none-any.whl#sha256=f06f2fe8df17a1396707c35b2c7c31086943a85d55c0961a4f46113501f18a3f (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,891   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260702.8.5.696809-py3-none-any.whl#sha256=3abfdd8035cab88a8c766cc60b54de6e509150172d252b46b1e4adc18ca5ae1d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,891   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260701.17.24.714768-py3-none-any.whl#sha256=4e4e17378d05342b195906a5f07d41e21536eafe27d83e537afe45e01dc7aa25 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,892   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260630.20.25.114928-py3-none-any.whl#sha256=a5f7714009f10e1b9287b1ab8b0584431afa944478c08504fe8da28a619eac16 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,892   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260630.0.45.196638-py3-none-any.whl#sha256=9087e5d6430319b8487388f07bfc3e91c70690d3feecc7805d9f91cd3e669c81 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,893   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260629.17.2.854491-py3-none-any.whl#sha256=22f66fb893b0ec8293945956304d269376b5183b5ecd720631a77cc557430523 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,893   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260629.12.52.270160-py3-none-any.whl#sha256=aa1a26024bc0f3c919f68abe6ca93483907eca5323c9d7ba6a335f0a1dc39f41 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,894   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260626.18.49.854299-py3-none-any.whl#sha256=74890925141af81231136c5feaef6af7530293780592e2ef2b40edc8330d6ac0 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,894   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260625.15.46.722804-py3-none-any.whl#sha256=16c8004ea457b331fad9e8eff6487af3a599a0e6b94c78061f8be37a143e5b5d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,895   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260624.20.18.397226-py3-none-any.whl#sha256=a5e3fb84f404a82d403a22e1fb4b1acbae828a263f46f1e0be686ac202874ea7 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,895   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260624.14.50.338813-py3-none-any.whl#sha256=a99b90299a23df9cf4e1458cc665e105c9a2e63420f3bdfa398ccb8c17720d61 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,896   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260623.17.28.405774-py3-none-any.whl#sha256=0328425db004b5acb45eb64a8a31ebe9ec188f33cb1442c762ee740ba20dad72 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,897   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260622.17.47.779366-py3-none-any.whl#sha256=2c772d589711814ec63a47c82975536c6b53baa953f0b459b0f4dd3a3ca1ad40 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,897   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260619.16.25.23812-py3-none-any.whl#sha256=b20e4a8c78e120c40cec09ccb540939d77794fefcfa721a71012659d03457cd8 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,897   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260619.15.39.944177-py3-none-any.whl#sha256=c2a7fdb909b0161c4e49dd99347cf83a3ae87b1feb0df76db945c49eb71597cd (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,898   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260617.23.28.389095-py3-none-any.whl#sha256=37d696291ba74acc7bb565abff5e7d1356dff2ea55081f568888dd510da443f0 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,899   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260617.13.21.758011-py3-none-any.whl#sha256=11c66230355bc39432755ffe750dd042047cdcc67b452d81e49b923f23b72c3b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,899   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260615.21.10.902584-py3-none-any.whl#sha256=b7bc7485aae923e60586a474e948c1ddacc81a9a243d9677d9d20860a8d61095 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,900   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260615.20.26.956345-py3-none-any.whl#sha256=7a2dfe191c6e06d80bf63fc4777c5ecc43ff6366d9cf30bf63315786fbffd3c4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,900   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260615.19.37.420490-py3-none-any.whl#sha256=80f2c91bdb6b9936850d9b008acafa4b35cd6dca98c229fe0ef5933ff0f756bf (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,901   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260614.13.2.640354-py3-none-any.whl#sha256=04d30e2744b28f45a102490d12bff835f41162a6da4569b6fa818471f81bc383 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,901   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260612.21.48.864915-py3-none-any.whl#sha256=2c6e4dcee29535d710225f01917dc5462e850810de9829faf2958a9055535a21 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,902   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260612.17.41.351895-py3-none-any.whl#sha256=aafeffdcb702e28d13f4b6e93b45f7e094ca9243fbe852756a47d6e2248ef913 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,902   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260612.15.41.919590-py3-none-any.whl#sha256=71cc917b6b29337fff80030d559e2a8070de03c2f71172bf57bfb4b208674979 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,903   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260610.20.35.973885-py3-none-any.whl#sha256=21e244d994c580633ea98f285bf1416992924efbad3d29d4cea8dc102262f4c6 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,903   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260610.11.2.719309-py3-none-any.whl#sha256=4e9093595a5caeb05af0114580b87eec45a1570d45685e3a63ce9d027b2121a4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,904   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260610.10.20.610380-py3-none-any.whl#sha256=cc47519be44aebd03be3e1f5a9054369991ff8b0b1c7cf0de9b0dbe6c1f1296b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,904   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260609.16.18.866576-py3-none-any.whl#sha256=c303d337a2368d419b12e82599215fd48ed1a160255352077fd8b6929ae5547c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,905   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260606.7.10.701608-py3-none-any.whl#sha256=e6d6681c50cf8dec74aa7e537ff208c948650f77120b8ea45afa1058e13015e4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,905   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260606.2.56.501394-py3-none-any.whl#sha256=299d649174a8a36281d891c0247e973b34aa17f7bd0c1ba97cc067a1779a5c82 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,906   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260604.5.35.265265-py3-none-any.whl#sha256=39991e89423e3073a7c7421472925669e91be0ee413bf90b7dacf604610220cc (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,907   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260604.2.58.491470-py3-none-any.whl#sha256=8bd9051538161293bc0e78e7fec0d87b26d7760d962b0bd2d44a7d8be0a6aa0c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,907   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260603.16.54.616474-py3-none-any.whl#sha256=cf005232451ad2f7cbc0071512c8965d0b6b7bb4188a01604d71b29986af282c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,908   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260602.19.42.668495-py3-none-any.whl#sha256=149a912ee81d0923b114ab0f9c3f65689f735a3d7ce3fd2e43e7f4c66d0900da (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-07-15T07:38:56,909 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/
2026-07-15T07:38:56,909 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/
2026-07-15T07:38:56,935 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates
2026-07-15T07:38:56,954 Collecting certora-cli-alpha-master==20260715.6.46.85716
2026-07-15T07:38:56,957   Created temporary directory: /tmp/pip-unpack-wbpcksn4
2026-07-15T07:38:57,204   Downloading certora_cli_alpha_master-20260715.6.46.85716.tar.gz (43.3 MB)
2026-07-15T07:39:04,884   Added certora-cli-alpha-master==20260715.6.46.85716 from https://files.pythonhosted.org/packages/ae/47/92ff1d04703a3fefe2a8c07f31af5a752a5f00e202e7a79249b20db34849/certora_cli_alpha_master-20260715.6.46.85716.tar.gz to build tracker '/tmp/pip-build-tracker-9m43k27s'
2026-07-15T07:39:04,886   Running setup.py (path:/tmp/pip-wheel-2fk6_szj/certora-cli-alpha-master_694c189b507d4832bfffac210a612c6d/setup.py) egg_info for package certora-cli-alpha-master
2026-07-15T07:39:04,887   Created temporary directory: /tmp/pip-pip-egg-info-qa9kabfz
2026-07-15T07:39:04,888   Preparing metadata (setup.py): started
2026-07-15T07:39:04,889   Running command python setup.py egg_info
2026-07-15T07:39:05,727   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:332: InformationOnly: Normalizing '20260715.6.46.085716' to '20260715.6.46.85716'
2026-07-15T07:39:05,727     self.metadata.version = self._normalize_version(self.metadata.version)
2026-07-15T07:39:05,729   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-07-15T07:39:05,730   !!

2026-07-15T07:39:05,731           ********************************************************************************
2026-07-15T07:39:05,731           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-07-15T07:39:05,733           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2026-07-15T07:39:05,734           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-07-15T07:39:05,734           ********************************************************************************

2026-07-15T07:39:05,735   !!
2026-07-15T07:39:05,736     self._finalize_license_expression()
2026-07-15T07:39:05,759   running egg_info
2026-07-15T07:39:05,787   creating /tmp/pip-pip-egg-info-qa9kabfz/certora_cli_alpha_master.egg-info
2026-07-15T07:39:05,788   writing /tmp/pip-pip-egg-info-qa9kabfz/certora_cli_alpha_master.egg-info/PKG-INFO
2026-07-15T07:39:05,791   writing dependency_links to /tmp/pip-pip-egg-info-qa9kabfz/certora_cli_alpha_master.egg-info/dependency_links.txt
2026-07-15T07:39:05,793   writing entry points to /tmp/pip-pip-egg-info-qa9kabfz/certora_cli_alpha_master.egg-info/entry_points.txt
2026-07-15T07:39:05,794   writing requirements to /tmp/pip-pip-egg-info-qa9kabfz/certora_cli_alpha_master.egg-info/requires.txt
2026-07-15T07:39:05,795   writing top-level names to /tmp/pip-pip-egg-info-qa9kabfz/certora_cli_alpha_master.egg-info/top_level.txt
2026-07-15T07:39:05,797   writing manifest file '/tmp/pip-pip-egg-info-qa9kabfz/certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-07-15T07:39:05,895   reading manifest file '/tmp/pip-pip-egg-info-qa9kabfz/certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-07-15T07:39:05,897   reading manifest template 'MANIFEST.in'
2026-07-15T07:39:05,902   warning: no files found matching 'gambit' under directory 'certora_bins'
2026-07-15T07:39:06,003   adding license file 'LICENSE'
2026-07-15T07:39:06,007   writing manifest file '/tmp/pip-pip-egg-info-qa9kabfz/certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-07-15T07:39:06,115   Preparing metadata (setup.py): finished with status 'done'
2026-07-15T07:39:06,119   Source in /tmp/pip-wheel-2fk6_szj/certora-cli-alpha-master_694c189b507d4832bfffac210a612c6d has version 20260715.6.46.85716, which satisfies requirement certora-cli-alpha-master==20260715.6.46.85716 from https://files.pythonhosted.org/packages/ae/47/92ff1d04703a3fefe2a8c07f31af5a752a5f00e202e7a79249b20db34849/certora_cli_alpha_master-20260715.6.46.85716.tar.gz
2026-07-15T07:39:06,120   Removed certora-cli-alpha-master==20260715.6.46.85716 from https://files.pythonhosted.org/packages/ae/47/92ff1d04703a3fefe2a8c07f31af5a752a5f00e202e7a79249b20db34849/certora_cli_alpha_master-20260715.6.46.85716.tar.gz from build tracker '/tmp/pip-build-tracker-9m43k27s'
2026-07-15T07:39:06,126 Created temporary directory: /tmp/pip-unpack-rghnm1wr
2026-07-15T07:39:06,126 Building wheels for collected packages: certora-cli-alpha-master
2026-07-15T07:39:06,131   Created temporary directory: /tmp/pip-wheel-q3v1a1jd
2026-07-15T07:39:06,132   Building wheel for certora-cli-alpha-master (setup.py): started
2026-07-15T07:39:06,133   Destination directory: /tmp/pip-wheel-q3v1a1jd
2026-07-15T07:39:06,133   Running command python setup.py bdist_wheel
2026-07-15T07:39:06,993   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:332: InformationOnly: Normalizing '20260715.6.46.085716' to '20260715.6.46.85716'
2026-07-15T07:39:06,994     self.metadata.version = self._normalize_version(self.metadata.version)
2026-07-15T07:39:06,995   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-07-15T07:39:06,996   !!

2026-07-15T07:39:06,997           ********************************************************************************
2026-07-15T07:39:06,998           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-07-15T07:39:06,999           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2026-07-15T07:39:07,000           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-07-15T07:39:07,000           ********************************************************************************

2026-07-15T07:39:07,001   !!
2026-07-15T07:39:07,002     self._finalize_license_expression()
2026-07-15T07:39:07,003   running bdist_wheel
2026-07-15T07:39:07,133   running build
2026-07-15T07:39:07,134   running build_py
2026-07-15T07:39:07,164   creating build/lib/certora_bins
2026-07-15T07:39:07,166   copying certora_bins/__init__.py -> build/lib/certora_bins
2026-07-15T07:39:07,168   creating build/lib/certora_cli
2026-07-15T07:39:07,169   copying certora_cli/certoraRanger.py -> build/lib/certora_cli
2026-07-15T07:39:07,172   copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli
2026-07-15T07:39:07,174   copying certora_cli/__init__.py -> build/lib/certora_cli
2026-07-15T07:39:07,175   copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli
2026-07-15T07:39:07,177   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2026-07-15T07:39:07,179   copying certora_cli/certoraConcord.py -> build/lib/certora_cli
2026-07-15T07:39:07,182   copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli
2026-07-15T07:39:07,184   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2026-07-15T07:39:07,186   copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli
2026-07-15T07:39:07,188   copying certora_cli/rustMutator.py -> build/lib/certora_cli
2026-07-15T07:39:07,190   copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli
2026-07-15T07:39:07,192   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2026-07-15T07:39:07,194   creating build/lib/certora_jars
2026-07-15T07:39:07,195   copying certora_jars/__init__.py -> build/lib/certora_jars
2026-07-15T07:39:07,198   creating build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,199   copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,201   copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,204   copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,206   copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,209   copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,210   copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,213   copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,215   copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,218   copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,220   copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,224   copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,227   copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,229   copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,231   copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,233   copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,235   copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,238   copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,240   copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,242   copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,244   copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,246   copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,249   copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,251   copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,253   copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,259   copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,262   copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,264   copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,267   copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,269   copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,271   copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,273   copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,275   copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver
2026-07-15T07:39:07,278   creating build/lib/certora_cli/Shared
2026-07-15T07:39:07,279   copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared
2026-07-15T07:39:07,281   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2026-07-15T07:39:07,283   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2026-07-15T07:39:07,286   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2026-07-15T07:39:07,288   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2026-07-15T07:39:07,290   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2026-07-15T07:39:07,293   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2026-07-15T07:39:07,296   creating build/lib/certora_cli/Mutate
2026-07-15T07:39:07,297   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2026-07-15T07:39:07,299   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2026-07-15T07:39:07,302   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2026-07-15T07:39:07,303   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2026-07-15T07:39:07,306   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2026-07-15T07:39:07,310   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2026-07-15T07:39:07,312   creating build/lib/certora_cli/EquivalenceCheck
2026-07-15T07:39:07,313   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2026-07-15T07:39:07,315   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2026-07-15T07:39:07,318   creating build/lib/certora_cli/CertoraProver/Compiler
2026-07-15T07:39:07,319   copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-15T07:39:07,321   copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-15T07:39:07,324   copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-15T07:39:07,326   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-15T07:39:07,329   copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-15T07:39:07,333   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-15T07:39:07,335   copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-15T07:39:07,337   running egg_info
2026-07-15T07:39:07,367   writing certora_cli_alpha_master.egg-info/PKG-INFO
2026-07-15T07:39:07,370   writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt
2026-07-15T07:39:07,373   writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt
2026-07-15T07:39:07,375   writing requirements to certora_cli_alpha_master.egg-info/requires.txt
2026-07-15T07:39:07,376   writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt
2026-07-15T07:39:07,416   reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-07-15T07:39:07,422   reading manifest template 'MANIFEST.in'
2026-07-15T07:39:07,427   warning: no files found matching 'gambit' under directory 'certora_bins'
2026-07-15T07:39:07,527   adding license file 'LICENSE'
2026-07-15T07:39:07,533   writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-07-15T07:39:07,540   copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars
2026-07-15T07:39:07,896   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2026-07-15T07:39:07,898   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2026-07-15T07:39:08,233   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2026-07-15T07:39:08,235   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-07-15T07:39:08,237   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-07-15T07:39:08,240   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2026-07-15T07:39:08,242   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-07-15T07:39:08,244   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2026-07-15T07:39:08,277   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2026-07-15T07:39:08,278   !!

2026-07-15T07:39:08,278           ********************************************************************************
2026-07-15T07:39:08,279           Please avoid running ``setup.py`` directly.
2026-07-15T07:39:08,279           Instead, use pypa/build, pypa/installer or other
2026-07-15T07:39:08,280           standards-based tools.

2026-07-15T07:39:08,281           This deprecation is overdue, please update your project and remove deprecated
2026-07-15T07:39:08,281           calls to avoid build errors in the future.

2026-07-15T07:39:08,282           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2026-07-15T07:39:08,283           ********************************************************************************

2026-07-15T07:39:08,284   !!
2026-07-15T07:39:08,285     self.initialize_options()
2026-07-15T07:39:08,304   installing to build/bdist.linux-armv7l/wheel
2026-07-15T07:39:08,305   running install
2026-07-15T07:39:08,329   running install_lib
2026-07-15T07:39:08,356   creating build/bdist.linux-armv7l/wheel
2026-07-15T07:39:08,358   creating build/bdist.linux-armv7l/wheel/certora_bins
2026-07-15T07:39:08,359   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2026-07-15T07:39:08,361   creating build/bdist.linux-armv7l/wheel/certora_cli
2026-07-15T07:39:08,362   copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-15T07:39:08,364   copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-15T07:39:08,366   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-15T07:39:08,369   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver
2026-07-15T07:39:08,370   copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,372   copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,375   copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,377   copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,379   copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,381   copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,383   copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,386   copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,388   copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,391   copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,394   copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,396   copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,398   copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,400   copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,402   copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,404   copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,406   copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,408   copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,410   copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,412   copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,414   copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,417   copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,420   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler
2026-07-15T07:39:08,421   copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-15T07:39:08,422   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-15T07:39:08,425   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-15T07:39:08,427   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-15T07:39:08,429   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-15T07:39:08,432   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-15T07:39:08,434   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-15T07:39:08,436   copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,438   copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,444   copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,447   copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,448   copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,451   copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,453   copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,455   copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,456   copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,459   copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-15T07:39:08,460   copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-15T07:39:08,462   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-15T07:39:08,464   copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-15T07:39:08,466   copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-15T07:39:08,468   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-15T07:39:08,470   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2026-07-15T07:39:08,471   copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-15T07:39:08,474   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-15T07:39:08,475   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-15T07:39:08,479   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-15T07:39:08,481   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-15T07:39:08,483   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-15T07:39:08,486   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-15T07:39:08,489   copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-15T07:39:08,491   copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-15T07:39:08,494   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2026-07-15T07:39:08,495   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-07-15T07:39:08,497   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-07-15T07:39:08,499   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-07-15T07:39:08,501   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-07-15T07:39:08,503   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-07-15T07:39:08,506   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-07-15T07:39:08,508   copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-15T07:39:08,511   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2026-07-15T07:39:08,512   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-15T07:39:08,513   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-15T07:39:08,515   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-15T07:39:08,517   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-15T07:39:08,518   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-15T07:39:08,520   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-15T07:39:08,522   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-15T07:39:08,524   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-15T07:39:08,527   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-15T07:39:08,529   creating build/bdist.linux-armv7l/wheel/certora_jars
2026-07-15T07:39:08,530   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-07-15T07:39:08,531   copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-07-15T07:39:08,876   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-07-15T07:39:09,206   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-07-15T07:39:09,207   running install_egg_info
2026-07-15T07:39:09,242   Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20260715.6.46.85716-py3.11.egg-info
2026-07-15T07:39:09,254   running install_scripts
2026-07-15T07:39:09,267   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20260715.6.46.85716.dist-info/WHEEL
2026-07-15T07:39:09,270   creating '/tmp/pip-wheel-q3v1a1jd/certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2026-07-15T07:39:09,273   adding 'certora_bins/__init__.py'
2026-07-15T07:39:09,275   adding 'certora_cli/__init__.py'
2026-07-15T07:39:09,277   adding 'certora_cli/certoraCVLFormatter.py'
2026-07-15T07:39:09,278   adding 'certora_cli/certoraConcord.py'
2026-07-15T07:39:09,279   adding 'certora_cli/certoraEVMProver.py'
2026-07-15T07:39:09,281   adding 'certora_cli/certoraEqCheck.py'
2026-07-15T07:39:09,283   adding 'certora_cli/certoraMutate.py'
2026-07-15T07:39:09,285   adding 'certora_cli/certoraRanger.py'
2026-07-15T07:39:09,287   adding 'certora_cli/certoraRun.py'
2026-07-15T07:39:09,288   adding 'certora_cli/certoraSolanaProver.py'
2026-07-15T07:39:09,290   adding 'certora_cli/certoraSorobanProver.py'
2026-07-15T07:39:09,292   adding 'certora_cli/certoraSuiProver.py'
2026-07-15T07:39:09,294   adding 'certora_cli/rustMutator.py'
2026-07-15T07:39:09,297   adding 'certora_cli/CertoraProver/__init__.py'
2026-07-15T07:39:09,299   adding 'certora_cli/CertoraProver/castingInstrumenter.py'
2026-07-15T07:39:09,300   adding 'certora_cli/CertoraProver/certoraApp.py'
2026-07-15T07:39:09,329   adding 'certora_cli/CertoraProver/certoraBuild.py'
2026-07-15T07:39:09,333   adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py'
2026-07-15T07:39:09,335   adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py'
2026-07-15T07:39:09,337   adding 'certora_cli/CertoraProver/certoraBuildRust.py'
2026-07-15T07:39:09,339   adding 'certora_cli/CertoraProver/certoraBuildSui.py'
2026-07-15T07:39:09,346   adding 'certora_cli/CertoraProver/certoraCloudIO.py'
2026-07-15T07:39:09,349   adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py'
2026-07-15T07:39:09,351   adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py'
2026-07-15T07:39:09,353   adding 'certora_cli/CertoraProver/certoraCompilerParameters.py'
2026-07-15T07:39:09,355   adding 'certora_cli/CertoraProver/certoraConfigIO.py'
2026-07-15T07:39:09,360   adding 'certora_cli/CertoraProver/certoraContext.py'
2026-07-15T07:39:09,366   adding 'certora_cli/CertoraProver/certoraContextAttributes.py'
2026-07-15T07:39:09,368   adding 'certora_cli/CertoraProver/certoraContextClass.py'
2026-07-15T07:39:09,374   adding 'certora_cli/CertoraProver/certoraContextValidator.py'
2026-07-15T07:39:09,377   adding 'certora_cli/CertoraProver/certoraContractFuncs.py'
2026-07-15T07:39:09,378   adding 'certora_cli/CertoraProver/certoraExtensionInfo.py'
2026-07-15T07:39:09,381   adding 'certora_cli/CertoraProver/certoraJobList.py'
2026-07-15T07:39:09,383   adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py'
2026-07-15T07:39:09,385   adding 'certora_cli/CertoraProver/certoraNodeFilters.py'
2026-07-15T07:39:09,386   adding 'certora_cli/CertoraProver/certoraOffsetConverter.py'
2026-07-15T07:39:09,388   adding 'certora_cli/CertoraProver/certoraParseBuildScript.py'
2026-07-15T07:39:09,390   adding 'certora_cli/CertoraProver/certoraProjectScanner.py'
2026-07-15T07:39:09,393   adding 'certora_cli/CertoraProver/certoraSourceFinders.py'
2026-07-15T07:39:09,396   adding 'certora_cli/CertoraProver/certoraType.py'
2026-07-15T07:39:09,399   adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py'
2026-07-15T07:39:09,400   adding 'certora_cli/CertoraProver/erc7201.py'
2026-07-15T07:39:09,403   adding 'certora_cli/CertoraProver/splitRules.py'
2026-07-15T07:39:09,405   adding 'certora_cli/CertoraProver/storageExtension.py'
2026-07-15T07:39:09,407   adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py'
2026-07-15T07:39:09,410   adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py'
2026-07-15T07:39:09,412   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py'
2026-07-15T07:39:09,413   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py'
2026-07-15T07:39:09,415   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py'
2026-07-15T07:39:09,423   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py'
2026-07-15T07:39:09,425   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py'
2026-07-15T07:39:09,427   adding 'certora_cli/CertoraProver/Compiler/__init__.py'
2026-07-15T07:39:09,429   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2026-07-15T07:39:09,430   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2026-07-15T07:39:09,432   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2026-07-15T07:39:09,433   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2026-07-15T07:39:09,435   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2026-07-15T07:39:09,436   adding 'certora_cli/EquivalenceCheck/__init__.py'
2026-07-15T07:39:09,439   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2026-07-15T07:39:09,441   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2026-07-15T07:39:09,443   adding 'certora_cli/Mutate/__init__.py'
2026-07-15T07:39:09,453   adding 'certora_cli/Mutate/mutateApp.py'
2026-07-15T07:39:09,456   adding 'certora_cli/Mutate/mutateAttributes.py'
2026-07-15T07:39:09,458   adding 'certora_cli/Mutate/mutateConstants.py'
2026-07-15T07:39:09,460   adding 'certora_cli/Mutate/mutateUtil.py'
2026-07-15T07:39:09,462   adding 'certora_cli/Mutate/mutateValidate.py'
2026-07-15T07:39:09,465   adding 'certora_cli/Shared/ExpectedComparator.py'
2026-07-15T07:39:09,467   adding 'certora_cli/Shared/__init__.py'
2026-07-15T07:39:09,469   adding 'certora_cli/Shared/certoraAttrUtil.py'
2026-07-15T07:39:09,472   adding 'certora_cli/Shared/certoraLogging.py'
2026-07-15T07:39:09,480   adding 'certora_cli/Shared/certoraUtils.py'
2026-07-15T07:39:09,486   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2026-07-15T07:39:09,489   adding 'certora_cli/Shared/proverCommon.py'
2026-07-15T07:39:09,492   adding 'certora_cli_alpha_master-20260715.6.46.85716.dist-info/licenses/LICENSE'
2026-07-15T07:39:12,093   adding 'certora_jars/ASTExtraction.jar'
2026-07-15T07:39:12,238   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2026-07-15T07:39:14,839   adding 'certora_jars/Typechecker.jar'
2026-07-15T07:39:14,984   adding 'certora_jars/__init__.py'
2026-07-15T07:39:14,986   adding 'certora_cli_alpha_master-20260715.6.46.85716.dist-info/METADATA'
2026-07-15T07:39:14,987   adding 'certora_cli_alpha_master-20260715.6.46.85716.dist-info/WHEEL'
2026-07-15T07:39:14,988   adding 'certora_cli_alpha_master-20260715.6.46.85716.dist-info/entry_points.txt'
2026-07-15T07:39:14,990   adding 'certora_cli_alpha_master-20260715.6.46.85716.dist-info/top_level.txt'
2026-07-15T07:39:14,992   adding 'certora_cli_alpha_master-20260715.6.46.85716.dist-info/RECORD'
2026-07-15T07:39:15,437   removing build/bdist.linux-armv7l/wheel
2026-07-15T07:39:15,583   Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done'
2026-07-15T07:39:16,010   Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl size=43402538 sha256=c820011dee5c36644cac85c0ce94d2f3a0a95a1c9d8091a5ab97c03b383f6582
2026-07-15T07:39:16,012   Stored in directory: /tmp/pip-ephem-wheel-cache-yov3k08x/wheels/09/71/0e/8033df996f3f4db2d2872aefc3c5a96f82d0fd489c2bf915b0
2026-07-15T07:39:16,038 Successfully built certora-cli-alpha-master
2026-07-15T07:39:17,122 Removed build tracker: '/tmp/pip-build-tracker-9m43k27s'