2025-09-12T20:58:41,717 Created temporary directory: /tmp/pip-build-tracker-udor1pg0 2025-09-12T20:58:41,718 Initialized build tracking at /tmp/pip-build-tracker-udor1pg0 2025-09-12T20:58:41,718 Created build tracker: /tmp/pip-build-tracker-udor1pg0 2025-09-12T20:58:41,719 Entered build tracker: /tmp/pip-build-tracker-udor1pg0 2025-09-12T20:58:41,719 Created temporary directory: /tmp/pip-wheel-nkze_6ns 2025-09-12T20:58:41,723 Created temporary directory: /tmp/pip-ephem-wheel-cache-w2mq3y6a 2025-09-12T20:58:41,769 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-12T20:58:41,772 2 location(s) to search for versions of certora-cli-alpha-master: 2025-09-12T20:58:41,772 * https://pypi.org/simple/certora-cli-alpha-master/ 2025-09-12T20:58:41,772 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-09-12T20:58:41,773 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2025-09-12T20:58:41,773 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2025-09-12T20:58:41,775 Found index url https://pypi.org/simple/ 2025-09-12T20:58:42,090 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2025-09-12T20:58:42,119 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e0/fd/a33fcc0e85a9054fb2a5dc1903a1ef4bbaacdb02172ced67e2f8bbd34136/certora_cli_alpha_master-20250825.8.47.780977-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,120 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3c/41/ccc8895ef53bd803551533042b206feb9fdf3db11112c507deb85740d7bb/certora_cli_alpha_master-20250825.8.47.780977-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,121 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6d/7d/b3e742d1446f2d1a73bd8f8f43856edefb850d9ccec27fb5dfb31a336f18/certora_cli_alpha_master-20250825.8.47.780977-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,122 Found link https://files.pythonhosted.org/packages/eb/fe/d2d0e27b2baf453e681eb66c4c3d182e365c815fa0d68001d65367ea363e/certora_cli_alpha_master-20250825.8.47.780977.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250825.8.47.780977 2025-09-12T20:58:42,123 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/24/2b/a2331df89f27417e41393c8d48419cc8b8518195b5baa24e924218cbb8f6/certora_cli_alpha_master-20250825.14.33.734588-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,124 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a1/78/7e09c179d3f03d0f1bf526049bbfafc406b0b0ebd6c36a57394a6d66fa7b/certora_cli_alpha_master-20250825.14.33.734588-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,125 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/88/c6/eb612046786e0657b0d3dff7ea096fd9a445664a58a8fdf6282f693c4c6c/certora_cli_alpha_master-20250825.14.33.734588-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,126 Found link https://files.pythonhosted.org/packages/ae/bf/0df9d60268b9c8c153ca3c642778eb04fdd205063794707fd898dc438799/certora_cli_alpha_master-20250825.14.33.734588.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250825.14.33.734588 2025-09-12T20:58:42,126 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3e/6e/dbcbc5c33377161f729e120b41ccf227d5d1e80ad130f14ecbe3ae522397/certora_cli_alpha_master-20250826.2.54.225343-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,127 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/05/4d/970e142cc8e572a776ea7138e609462130f060358fbf763f57f83f19ed51/certora_cli_alpha_master-20250826.2.54.225343-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,128 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/45/4b/02e94f0769fe640a2144b6dae5950ce1a3d713b5751ede9e9356d162caf1/certora_cli_alpha_master-20250826.2.54.225343-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,129 Found link https://files.pythonhosted.org/packages/2b/07/9b1e61ad8eabc7ab12102dba370d2afe56413465703c92b9f833986c3955/certora_cli_alpha_master-20250826.2.54.225343.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250826.2.54.225343 2025-09-12T20:58:42,130 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6e/0a/2139309922fe755c033a3da77afec816dc4f23d8b7da3161df4a4dea101d/certora_cli_alpha_master-20250826.20.6.86325-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,131 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a1/8a/eaf36b5cda7a0adc834bc689e3e0b60fe01e7793cefb3c057b540d91b1bd/certora_cli_alpha_master-20250826.20.6.86325-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,132 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c7/3d/5898eb18eb5cb5a8447ee76f67a0511a689076fe80212fa37f4013e8618f/certora_cli_alpha_master-20250826.20.6.86325-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,132 Found link https://files.pythonhosted.org/packages/ae/b5/1d48e12ba50145266d2464289f23a11a1fd9d5da2ea53316c2d0678150a6/certora_cli_alpha_master-20250826.20.6.86325.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250826.20.6.86325 2025-09-12T20:58:42,133 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d1/52/33f2534b4c1ccac86a1b744c48e87d128029c6eeb9440b823a259f3a0d39/certora_cli_alpha_master-20250827.12.48.449321-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,134 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d6/84/7a130284f3df2e0032c497df67e4c850aa06d605c251c6278f4a5039bdbd/certora_cli_alpha_master-20250827.12.48.449321-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,135 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e9/96/6ca09f2bf7ad4696f6ded7e56549da316044a32759b3cd82b4c0f7fcf27f/certora_cli_alpha_master-20250827.12.48.449321-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,136 Found link https://files.pythonhosted.org/packages/97/ab/4cbba500937bc9026f801e2fb45fb8d56207201bc5fafaa20cc6885473d6/certora_cli_alpha_master-20250827.12.48.449321.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250827.12.48.449321 2025-09-12T20:58:42,137 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fe/e2/ed5a6784dbb6a190d71648340ab4a16b62e5a78975bdf8ccd34342ff531e/certora_cli_alpha_master-20250827.19.14.868351-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,137 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ad/33/0903d3296e1b6e2f4f28bb15d0740e1271b5aaf7981da365596f2490aad0/certora_cli_alpha_master-20250827.19.14.868351-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,138 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2a/0b/0f0ce98d3a42621d031c307cb587d483b3411ab640e556cb0eb42414a358/certora_cli_alpha_master-20250827.19.14.868351-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,139 Found link https://files.pythonhosted.org/packages/ea/60/4c8e4944b3a14b7bdf4ba6322697f39c391e027f84882b4e93363172f019/certora_cli_alpha_master-20250827.19.14.868351.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250827.19.14.868351 2025-09-12T20:58:42,140 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/22/2f/4872826842575a27da8f7e31c2a4fd4f5ddfa16d32c0756838794f6d9cbb/certora_cli_alpha_master-20250828.9.2.638125-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,141 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a9/5a/95933b0378ecf05f8b3efe1d191621b285e1849eba18367e7583513fea63/certora_cli_alpha_master-20250828.9.2.638125-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,141 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e1/56/00376aa953f591506026dd19440e3864a3db2cd6eca30e8af28863da3328/certora_cli_alpha_master-20250828.9.2.638125-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,142 Found link https://files.pythonhosted.org/packages/d6/ca/21a6e95461161152b879112c95e7315a42a0b0436598e1cd10d489c4f42f/certora_cli_alpha_master-20250828.9.2.638125.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250828.9.2.638125 2025-09-12T20:58:42,143 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/98/ea/66fa99694a80a9dfb31e5506f3b2e99e9698ea59b1735bea7aa1058c82a7/certora_cli_alpha_master-20250828.14.20.863107-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,144 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e8/10/82183349a94716a0d090579580211b2de6e3fd138d914feb0c059ae697a2/certora_cli_alpha_master-20250828.14.20.863107-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,144 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0b/a8/3c71f19435119af33502906fb1bbd8564064b357e97975311208f963d50e/certora_cli_alpha_master-20250828.14.20.863107-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,145 Found link https://files.pythonhosted.org/packages/ed/45/8de527c0b7ea1d3b65cb6e9fed45823caaff0d78450043f9367d7f175a02/certora_cli_alpha_master-20250828.14.20.863107.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250828.14.20.863107 2025-09-12T20:58:42,146 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6c/fb/82448d8c466c7eac18d325e50ccbf26c922d09686a9d9c27d05cb96b1fa3/certora_cli_alpha_master-20250828.17.53.526204-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,147 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ed/40/01e6cf984cd962910c1e531bc98fa21df45b70ec15da0eb97b606e984954/certora_cli_alpha_master-20250828.17.53.526204-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,148 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/33/a8/f08ae8a18f5aa4362bf6c8ca9d6e87efbdbdfa8aae5e1b694e216df32a9f/certora_cli_alpha_master-20250828.17.53.526204-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,149 Found link https://files.pythonhosted.org/packages/43/e0/6490b8e7a915fd992985abc5698d522bc5e4452dbdb49c4f13cbd5393f09/certora_cli_alpha_master-20250828.17.53.526204.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250828.17.53.526204 2025-09-12T20:58:42,149 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/47/38/7379d4ad25b0e6e6208cefe7d8830e7d9ca44b2e628c58355cea38a50324/certora_cli_alpha_master-20250828.18.43.245709-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,150 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/44/dc/f6f7d656a7c5f62c3878dd4653b799050f0010c2d7c0e56fc23beaf9a2c9/certora_cli_alpha_master-20250828.18.43.245709-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,151 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a7/8d/a97c4138e32a2c32a57f644a193596733641de34a77a0ed01f9551fc6245/certora_cli_alpha_master-20250828.18.43.245709-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,152 Found link https://files.pythonhosted.org/packages/83/f5/624ca1e2f31b4911d890cf5ca71bb57c5773ae425b688b1666d993b90458/certora_cli_alpha_master-20250828.18.43.245709.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250828.18.43.245709 2025-09-12T20:58:42,152 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/59/35/f422d26c63e38730fc4f954b2ed776a6ca03ade3f0a6b954af97dea857a3/certora_cli_alpha_master-20250828.20.19.775699-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,153 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/87/7e/72fb0041e59734e11462fd1820a15e1d05552f6a79d9c622efa08393941e/certora_cli_alpha_master-20250828.20.19.775699-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,154 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/41/a0/fbf22ce01ff9f0ce766014ad923e2d78eea8944ea926054f5267e8228fdc/certora_cli_alpha_master-20250828.20.19.775699-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,155 Found link https://files.pythonhosted.org/packages/f8/7a/f202f9289cd4f22397718ebfafa3b7c56e74448462c5a85d4a9084aeb287/certora_cli_alpha_master-20250828.20.19.775699.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250828.20.19.775699 2025-09-12T20:58:42,156 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/aa/68/3c5a1abdb234a9081907f1abcd89fdb92275dd4cceee9b764bd0d44939d7/certora_cli_alpha_master-20250829.13.40.732046-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,157 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/72/73/109339c34f99ba5399c8c23c73a1403a9f20574306ef07fbb396c77b473c/certora_cli_alpha_master-20250829.13.40.732046-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,157 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/de/d2/77a4454150d3815cacb46bbb4298ef8f079c639ef38cb93d24eb3b6d2f1f/certora_cli_alpha_master-20250829.13.40.732046-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,158 Found link https://files.pythonhosted.org/packages/dd/8f/915f3feaa0054a3350a8e66a4fd4397a70869edcfd74dec2ae857e89fdc0/certora_cli_alpha_master-20250829.13.40.732046.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250829.13.40.732046 2025-09-12T20:58:42,159 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/eb/13/2b9868112d9160cea334d26a52ea30df895d7d0160ce2001ad23de184561/certora_cli_alpha_master-20250901.10.11.347209-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,160 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/13/2b/c0b6ed0f32fa91a4d04b9139e689ba0d7cf028f6a503f3a27714f90ab278/certora_cli_alpha_master-20250901.10.11.347209-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,160 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a3/3a/760596d65c4623aedda881254e4cbdf0073326b71a1c9ba9dd0b45a55982/certora_cli_alpha_master-20250901.10.11.347209-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,161 Found link https://files.pythonhosted.org/packages/e2/db/611746c5867370b52c7d2b8dbc1140bab1037c8a8c8126dccaab15206fe8/certora_cli_alpha_master-20250901.10.11.347209.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250901.10.11.347209 2025-09-12T20:58:42,162 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/79/d2/6f659659c41363635102cc3e1db3394c0e309e2ec054441d9aad823af169/certora_cli_alpha_master-20250902.4.14.555313-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,163 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9c/7b/ff64969ce7b786faf892a083f50c7d1ceef310f288236a17a23dc5315456/certora_cli_alpha_master-20250902.4.14.555313-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,164 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/60/9c/20cc908dcaed4540c351033fdd72237c8beb41c211cde193dc6c6c566556/certora_cli_alpha_master-20250902.4.14.555313-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,164 Found link https://files.pythonhosted.org/packages/11/9f/293fa78d95d81f0a34b64f30dd85d699b1f39b0bd2cb161769d6fe90e224/certora_cli_alpha_master-20250902.4.14.555313.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250902.4.14.555313 2025-09-12T20:58:42,165 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/60/a8/4401b7cb63f5082ff085ac35f943ea53760811143ad65d7b75e8900172e7/certora_cli_alpha_master-20250902.6.13.419228-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,166 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6d/a2/1600e2eae80c35cf2e260e3a415a0c7107adce949b05a659b31ec3f0f6a8/certora_cli_alpha_master-20250902.6.13.419228-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,167 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b3/be/2d1aad9c5d68f5e7b8ec47f55fdebf71306eebf7a2a7a824e093e118ba6f/certora_cli_alpha_master-20250902.6.13.419228-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,168 Found link https://files.pythonhosted.org/packages/ca/5b/e7ac1e059a534872120c173de577c5fbcb5aef8fd326f71680fd8d80091c/certora_cli_alpha_master-20250902.6.13.419228.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250902.6.13.419228 2025-09-12T20:58:42,169 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/55/16/ee365711de5b11a7bd6e970a5e7d8a25889c74e8f090fdc8d6e6658a0048/certora_cli_alpha_master-20250902.7.17.227451-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,169 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/47/6c/e955398b97e21a7ea872c16eaeeec3d04c325f0da08fa1016a78a48b7a1b/certora_cli_alpha_master-20250902.7.17.227451-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,170 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/04/bd/7fe724ba0ba25428034576470c25ecd250dc228781bccbda3c5acb3b4227/certora_cli_alpha_master-20250902.7.17.227451-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,171 Found link https://files.pythonhosted.org/packages/03/df/3374f279355c794289374b7ca3c3aa7ea97ad54a8cf95f5573a7f544da95/certora_cli_alpha_master-20250902.7.17.227451.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250902.7.17.227451 2025-09-12T20:58:42,172 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/eb/f2/153f3146221916e9ef532ef523d11ad0ea9821ab8dfc882a6697198b631d/certora_cli_alpha_master-20250902.15.11.302216-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,172 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7d/d0/9fc86a01877a32f613fc0fa69061ae3253b3068788c526c38a10f5713846/certora_cli_alpha_master-20250902.15.11.302216-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,173 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/26/07/0ae9dfe1dab94ec1918666b7290bb41fb9cc6f79ec5a090a618ebe43d81e/certora_cli_alpha_master-20250902.15.11.302216-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,174 Found link https://files.pythonhosted.org/packages/f4/d3/b73ed25ebb9796c4991ef47ef8b0c8ec71fa626d6c1b4aa3a0a164013ba3/certora_cli_alpha_master-20250902.15.11.302216.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250902.15.11.302216 2025-09-12T20:58:42,175 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0a/b5/ab030a29679626ecbe59dcbcfe664b97a8404e5717b9d3fb5dca7df22bd2/certora_cli_alpha_master-20250903.9.21.111512-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,176 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/14/e0/cb047b941e19cb9e018158bcfd2e4ef621be39da5ff064c2dd9832d3bead/certora_cli_alpha_master-20250903.9.21.111512-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,177 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e8/9b/69ae232981353eaf68a297e48d1db65a08091669df593843c57301016927/certora_cli_alpha_master-20250903.9.21.111512-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,177 Found link https://files.pythonhosted.org/packages/ff/31/04ee2c3aa5a457989d0064d020e8c2b0d79d9863454900edb0ac325e23c6/certora_cli_alpha_master-20250903.9.21.111512.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250903.9.21.111512 2025-09-12T20:58:42,178 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/20/ed/f92ee2c8d90962e07e6bb1b0a3547de02691cd7f8747812aa7a1853d576c/certora_cli_alpha_master-20250903.12.3.129706-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,179 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2b/3d/32d43a215aabcf7f13d16f9c13fa2cff85056934b419f91f282996e2586b/certora_cli_alpha_master-20250903.12.3.129706-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,179 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/57/5a/e821d9192ad9183de356ac37d58708603615463b4ae3093d8b10c42e3f83/certora_cli_alpha_master-20250903.12.3.129706-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,180 Found link https://files.pythonhosted.org/packages/23/0d/c2496f2535e6836366c10a4854f73c613ec797cffc30f36784d4213303d6/certora_cli_alpha_master-20250903.12.3.129706.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250903.12.3.129706 2025-09-12T20:58:42,181 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a9/64/c9433b6d9a06d5ccbcea1b1025294c431dbafdd03199a2f033ac21f06429/certora_cli_alpha_master-20250903.13.1.756605-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,182 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/90/e1/7ceefa12ba5af56f5b47ce02c1dffd58566dbe6193f7243cbdf55db1a304/certora_cli_alpha_master-20250903.13.1.756605-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,183 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a0/ec/472fd983fcdc253abfc6a8738f18b8e28178d8478c81642b115bcd258dbf/certora_cli_alpha_master-20250903.13.1.756605-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,183 Found link https://files.pythonhosted.org/packages/c4/2d/fab6442f08e48acb95029564019eed86a6a5553b9c191a62c34b7e7580a6/certora_cli_alpha_master-20250903.13.1.756605.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250903.13.1.756605 2025-09-12T20:58:42,184 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/dc/4f/60593570df5e4bcb85046e3424cb38621e05c56f1846c59aa46400a8e428/certora_cli_alpha_master-20250903.18.37.367236-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,185 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c2/c2/439fc4eff50baa6a75d204f0909d401f596df169820ed465f9372fc769cc/certora_cli_alpha_master-20250903.18.37.367236-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,186 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/66/aa/78bbae4e07bcfe6d13c2fbb2203381e5258abb285bf26a2117f42d466ae6/certora_cli_alpha_master-20250903.18.37.367236-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,187 Found link https://files.pythonhosted.org/packages/09/44/f7165ec0e8afc555b10a2da84bada06acc763056509ff38d7a352979dd07/certora_cli_alpha_master-20250903.18.37.367236.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250903.18.37.367236 2025-09-12T20:58:42,188 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6a/29/eeaa6978d2c292855170022febf365cde0060f6d5d5ccbf1d6fcc19941e5/certora_cli_alpha_master-20250903.19.24.37469-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,188 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/10/0c/c623eae15c391302679a9dc4bee630caaca45a57100631d0bcb46f5982f6/certora_cli_alpha_master-20250903.19.24.37469-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,189 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5f/2a/7023e5a8f004f8d203b7810f2c5a769e2b0e6e67a5b593af2efae5b0cd29/certora_cli_alpha_master-20250903.19.24.37469-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,190 Found link https://files.pythonhosted.org/packages/00/26/7751b1d5e793daa7afde594d6ef02793daf9889046aaa502b29f47e6a144/certora_cli_alpha_master-20250903.19.24.37469.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250903.19.24.37469 2025-09-12T20:58:42,191 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9b/1e/1b5c09438d3c993bcd30ec676df80fcb87d9a31056822fc564e73a9708c2/certora_cli_alpha_master-20250903.21.44.864377-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,191 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/30/29/dfead8fbd8aaeeb4d03521e10477cb96781ee6149647b1f31428517a85ac/certora_cli_alpha_master-20250903.21.44.864377-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,192 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4e/c2/8cb451e82c2716fcafbacd695751b052a55c8ec485df95d6f69c1803940e/certora_cli_alpha_master-20250903.21.44.864377-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,193 Found link https://files.pythonhosted.org/packages/04/3e/79134f5bb44e1aec3bdbbbd3a998dc04f06ddb1c8d11e02a633ee452a214/certora_cli_alpha_master-20250903.21.44.864377.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250903.21.44.864377 2025-09-12T20:58:42,194 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5b/70/4c1177171ead1ab6b0d5b1e77da2008aea436d9e6c3abde5df2b5cdf4afa/certora_cli_alpha_master-20250904.1.25.219320-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,195 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/58/d9/3a1402c989e40663ea0cc3e4187f980e9877093c9b19befbd7781102a0f6/certora_cli_alpha_master-20250904.1.25.219320-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,196 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d1/50/636f3f8e795ca517e4ac1d1b0f59121cdf40062075a024d2b4f84ea40423/certora_cli_alpha_master-20250904.1.25.219320-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,196 Found link https://files.pythonhosted.org/packages/86/38/764a8e6f280bffe8491bb46a0c7aab94b97352cd6436f891bdb817fe1ab0/certora_cli_alpha_master-20250904.1.25.219320.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250904.1.25.219320 2025-09-12T20:58:42,197 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/74/e6/c4738e3273fead5ea8a10d6929e99d65ae822b59506c6454e6154c615606/certora_cli_alpha_master-20250904.8.44.96449-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,198 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d7/b5/2a29cb85701ddf6159d51c955ac4d06c3674b6bb249bfed5393008c4158d/certora_cli_alpha_master-20250904.8.44.96449-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,199 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c1/21/b8a35dc4d53fe360cc0ff31bf1e28468670743b786e72d1abadf4d077ea0/certora_cli_alpha_master-20250904.8.44.96449-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,199 Found link https://files.pythonhosted.org/packages/b3/0d/14f904126354ea23463a978c8346378bff2f3686009552ea6cbd3001b667/certora_cli_alpha_master-20250904.8.44.96449.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250904.8.44.96449 2025-09-12T20:58:42,200 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ed/d9/92aa32100929d7249c9b6270fc48d9a685fa67773eb489f6ff27701c7c45/certora_cli_alpha_master-20250904.9.39.783604-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,201 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/22/a3/22a386d662e01e5d8d7f72b15fe217e75bacf1797cfb1b1902cd17757bce/certora_cli_alpha_master-20250904.9.39.783604-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,202 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e2/e1/195454bb2d92fe9ea1b2b41acd14003e5b9b7f3a8fd362242a2aa5af5a61/certora_cli_alpha_master-20250904.9.39.783604-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,203 Found link https://files.pythonhosted.org/packages/61/19/e21a3687a496ba01bc3de320dc882d5d3ce1196fbc5b22bf65b04aafb934/certora_cli_alpha_master-20250904.9.39.783604.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250904.9.39.783604 2025-09-12T20:58:42,204 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c7/85/3fe0cdb949c90d068fbf81d7dc3c58280c4fba43567121ac9f217a47b6dc/certora_cli_alpha_master-20250904.14.49.351376-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,205 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/10/5c/1421f0612c623eea0053f0fbeaed103b1e606aa477090bc02c4852e4b115/certora_cli_alpha_master-20250904.14.49.351376-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,205 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/da/a2/593c7f1689accac186d21c73f401908b9f2e231112cef623846c8e3a15ef/certora_cli_alpha_master-20250904.14.49.351376-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,206 Found link https://files.pythonhosted.org/packages/6d/08/a597d5f07cef8c4ab786b26ff589459d4dc0457de5e4e47f72f643e46b10/certora_cli_alpha_master-20250904.14.49.351376.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250904.14.49.351376 2025-09-12T20:58:42,207 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a2/65/c166c8a5979d20a58dfa3cbb952a0eda9fe381c354df77af5458a210eaf2/certora_cli_alpha_master-20250904.17.25.156319-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,208 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/63/34/875f81febc413e26bb1f5d794da512956df5f6b031bb734f32e14870759b/certora_cli_alpha_master-20250904.17.25.156319-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,208 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2c/dd/2a8bf72cb05a0be3bcf7384af676a6982e34b21db1ba948738c5e6b922ec/certora_cli_alpha_master-20250904.17.25.156319-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,209 Found link https://files.pythonhosted.org/packages/0c/f9/d1b70c51e5e0395887e8cbef5e0d6109da2553340acca3f032ecb97a422c/certora_cli_alpha_master-20250904.17.25.156319.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250904.17.25.156319 2025-09-12T20:58:42,210 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/33/4a/6bdb4e047bdc2ba8cac8726868523b82387b11c6580e12f7e3b5733f15b1/certora_cli_alpha_master-20250904.20.14.237224-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,211 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4d/c1/b20df979f2bc1f0aa5981d0f2eeb66c019ba9f25925ca77cb142bfe51947/certora_cli_alpha_master-20250904.20.14.237224-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,211 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a1/f8/9c0c44ae27c572e43b9966b50e528929da7faba6b2cddae0a1017449a680/certora_cli_alpha_master-20250904.20.14.237224-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,212 Found link https://files.pythonhosted.org/packages/b4/e1/082614bc994ca35370fb75c1f848833b38dde8330129f72937ac12e0fa9f/certora_cli_alpha_master-20250904.20.14.237224.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250904.20.14.237224 2025-09-12T20:58:42,213 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2b/e4/0672a97155d998f835d44e1c21fc61045cac9e1f2f09911b125d94aeac91/certora_cli_alpha_master-20250907.14.55.588177-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,214 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0c/35/9f7723775056302e07e0afa5d9abda8b143f7a6e10f2e8152af1dc42f0e4/certora_cli_alpha_master-20250907.14.55.588177-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,215 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a3/47/e01c017636c570a8f6e2ce74f287dc3a8453d5f81692f5f46079ae0a1884/certora_cli_alpha_master-20250907.14.55.588177-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,216 Found link https://files.pythonhosted.org/packages/36/e8/7bef4048a341d9032a81fb84a95c7a2effada543de04abfe8c3c2cf13fb0/certora_cli_alpha_master-20250907.14.55.588177.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250907.14.55.588177 2025-09-12T20:58:42,216 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e1/50/7acbfba8e878d5a2038139a05b7ba1a1181eb220e8a6e6690751721b9a86/certora_cli_alpha_master-20250908.16.28.715644-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,217 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/63/b6/fa76faa4d84e95f871be3c18679e628481a1063da88a257f0eb03e725afd/certora_cli_alpha_master-20250908.16.28.715644-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,218 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ca/30/08a3bf39fa74a185846d8a2b5bbb5c30355284507620ede081bf5160410e/certora_cli_alpha_master-20250908.16.28.715644-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,219 Found link https://files.pythonhosted.org/packages/eb/0d/5e0f99da986db95731c95635b1e196dc09cf576bca6b2c06113b581f1be6/certora_cli_alpha_master-20250908.16.28.715644.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250908.16.28.715644 2025-09-12T20:58:42,220 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ea/71/03cc05a471271ca6c91720a695ab98e8cd69d1cf3db59e40c85c43e293a1/certora_cli_alpha_master-20250909.15.9.754738-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,220 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/de/9e/41cda0acfb3eb2de79d39bd38dcb5dd83ea954cf6bf2739a31265d42b9af/certora_cli_alpha_master-20250909.15.9.754738-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,221 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/27/8a/43c6ad1312d26d128d69ab0b7ec5e9433428fc4ee3b126bb55f1620c7fae/certora_cli_alpha_master-20250909.15.9.754738-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,221 Found link https://files.pythonhosted.org/packages/98/1c/ab15db2d964e7b721284b13ff479b6c86c20da248c97676f918c71380b61/certora_cli_alpha_master-20250909.15.9.754738.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250909.15.9.754738 2025-09-12T20:58:42,222 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2f/80/d356b8da94ff7f188e23e2c639a713076c8ec8e52c201e6b63a995acc6f0/certora_cli_alpha_master-20250909.18.37.588292-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,223 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/57/58/29e3e338fb0d53384f04eeb4125bd1ba40979d2ab8dc8601dc179c62f647/certora_cli_alpha_master-20250909.18.37.588292-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,223 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b8/41/d0da006625e47831013569a088255e72b2b3bdd6716afbda88b3bd0d963a/certora_cli_alpha_master-20250909.18.37.588292-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,224 Found link https://files.pythonhosted.org/packages/94/65/1e8d07ca06bae5446293dfc75ac69de947c2056b3d32cab3a45dccadc736/certora_cli_alpha_master-20250909.18.37.588292.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250909.18.37.588292 2025-09-12T20:58:42,224 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8f/68/1bbab822fe4936879aaa89759c42af9d71becf9d26db5af45f8321de78bf/certora_cli_alpha_master-20250909.20.7.573256-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,225 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ae/a3/f2715b0e570ec15936598cc7b2cc945a29caa780768c9056185e6ab17902/certora_cli_alpha_master-20250909.20.7.573256-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,225 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/34/a9/ef9fd228ec96a7cc3b929bad73746baed6cb8011feb12d696404eafffed2/certora_cli_alpha_master-20250909.20.7.573256-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,226 Found link https://files.pythonhosted.org/packages/17/c2/ce02955f0885cb380c916a7371f9730a63e6417afad55688ea61c2c279c4/certora_cli_alpha_master-20250909.20.7.573256.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250909.20.7.573256 2025-09-12T20:58:42,227 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cd/98/fd3b6dfa70a9d56821264f29a0e0c64bd419bb60a5bd31cc694caf057c95/certora_cli_alpha_master-20250909.22.6.959371-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,227 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6c/e8/971bedbdbf32ffa4378bd351347aa698321c963adc19be3d6d61f3ca7949/certora_cli_alpha_master-20250909.22.6.959371-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,228 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e6/a0/c5b80dacd2f2215f19d8a502726b466d755a47d32174b85265d53ef2b7f6/certora_cli_alpha_master-20250909.22.6.959371-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,228 Found link https://files.pythonhosted.org/packages/6c/51/62d9767cb51d366cb3bc41afe91b25ad3c8cfcd965b48cd0eeb72ef6ab42/certora_cli_alpha_master-20250909.22.6.959371.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250909.22.6.959371 2025-09-12T20:58:42,229 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d5/4a/4aa4c846c72ee74b7da30de8c23a62c3aab8ddd7fe16caaeef4c0277c2be/certora_cli_alpha_master-20250909.22.59.617808-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,229 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f2/8f/874f75879965f8b0c7cea096bc2a5d8162a1b1c54813dc0f1136e29adee1/certora_cli_alpha_master-20250909.22.59.617808-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,230 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e5/91/0c44b0597a6253410d23a2676ef960ce48be5705ea890d97eb2d9862529f/certora_cli_alpha_master-20250909.22.59.617808-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,230 Found link https://files.pythonhosted.org/packages/40/74/b5c23c5efdcd14e954c4e540127a209519df66915c0e19147cbabbac84dd/certora_cli_alpha_master-20250909.22.59.617808.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250909.22.59.617808 2025-09-12T20:58:42,231 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6b/86/9ee78c016bee164e8f38fdad0454b823fe42a436bdff1801ff8d3467b8b2/certora_cli_alpha_master-20250910.12.48.121451-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,232 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/dd/30/9cd9a13ed0fe64144da6a366e9621b74efb73797e1d36b189dbe11dfc0d4/certora_cli_alpha_master-20250910.12.48.121451-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,232 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e2/fe/81de26d32e65b4bf7bb88ff6822126e5c72e6055811dd74afea8390daef1/certora_cli_alpha_master-20250910.12.48.121451-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,233 Found link https://files.pythonhosted.org/packages/25/fe/eaea230b235246c09ceceb21b8d8c9500f813b1d5f799182f7fff4df26db/certora_cli_alpha_master-20250910.12.48.121451.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250910.12.48.121451 2025-09-12T20:58:42,233 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/eb/67/5a77e007b4c687c543fc2a78991786de1af00b13094fca2875be481ea382/certora_cli_alpha_master-20250910.23.25.331371-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,234 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7e/10/66e25052c0073ebaeaecbb487da9767d4d7983ef48d7acf31776a499d61a/certora_cli_alpha_master-20250910.23.25.331371-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,234 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/af/8a/cb4c36408293942e1883dc1d748c74f75a00fc8abc00978e7b4d5e2ce6cd/certora_cli_alpha_master-20250910.23.25.331371-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,235 Found link https://files.pythonhosted.org/packages/d8/b7/99360b7618a68c9fe6d9db5a6f75349b7df427a826e742e658006eeffddf/certora_cli_alpha_master-20250910.23.25.331371.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250910.23.25.331371 2025-09-12T20:58:42,236 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c1/ac/76773e17a23ef4a21932ece02eb40b59e5046c481d069e401e1a5a6fa2bc/certora_cli_alpha_master-20250911.4.3.565758-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,236 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e6/3d/0c91d751e6147bee4787a2366e3e83ac2353a8782df635114224d680c051/certora_cli_alpha_master-20250911.4.3.565758-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,237 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ac/27/c7a5e110029d4f8106f647cce55a9d68f951967bf22d2308e20e1605bee0/certora_cli_alpha_master-20250911.4.3.565758-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,237 Found link https://files.pythonhosted.org/packages/74/80/5cbc6d3b14b7821b5ae13da590db40cea713690548b0921929667959294f/certora_cli_alpha_master-20250911.4.3.565758.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250911.4.3.565758 2025-09-12T20:58:42,238 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/36/dc/e92adaf999b12bf40cef9a09aca34b3e1fa82248b66791884ca0d06b55aa/certora_cli_alpha_master-20250911.18.4.464294-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,238 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/35/91/b691504122edf9df4220eac072d16ebf50e3a3d1f55bc9bf044a1eb61c4b/certora_cli_alpha_master-20250911.18.4.464294-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,239 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0f/e5/757a515efe195bf8d3186f08e6f7bbeeb8742c1f30bb5bc156b33c0c4ceb/certora_cli_alpha_master-20250911.18.4.464294-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,239 Found link https://files.pythonhosted.org/packages/fe/b1/86ce962ffc388c16266a47ff7ad916d4b4daee544b2b712a0db69ee023d8/certora_cli_alpha_master-20250911.18.4.464294.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250911.18.4.464294 2025-09-12T20:58:42,240 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8d/41/ebf68c5f84d14283e16df33dd504bad98561a52dc7a1dfcd2da651b82cba/certora_cli_alpha_master-20250911.18.57.988170-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,241 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9a/fa/1e3ba3dd14dda599be04465bc0d872bf8db929d2df1f7f8a515af82e1193/certora_cli_alpha_master-20250911.18.57.988170-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,241 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9f/88/ac427898a41e2621c1e6bde29417e27740e9828e159b1feafecec93eeec8/certora_cli_alpha_master-20250911.18.57.988170-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,242 Found link https://files.pythonhosted.org/packages/82/73/91d3cf667c396484e8c6fc0fc001efef30a2ea66636d8dea0e52afab1b6d/certora_cli_alpha_master-20250911.18.57.988170.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250911.18.57.988170 2025-09-12T20:58:42,243 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-09-12T20:58:42,243 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-09-12T20:58:42,245 Found index url https://www.piwheels.org/simple/ 2025-09-12T20:58:42,411 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2025-09-12T20:58:42,419 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250907.14.55.588177-py3-none-any.whl#sha256=b5a23d0b84f660ecfbb9ccff3a51161b71927dabd9b0f7219f44bbec3dc10f6e (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,420 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250904.20.14.237224-py3-none-any.whl#sha256=3e5f62e68cb30c6b17101db71215327ecbd3ca227090305092f3465c6ba714fc (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,420 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250904.17.25.156319-py3-none-any.whl#sha256=0291f58b7a98e8075c3fab0ca395c96c75f7569788210741781c56700ea873aa (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,421 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250904.14.49.351376-py3-none-any.whl#sha256=870e81bdfaadf8cbe00e3a59bf30823514f3994860acfce59260308c0d8a62b6 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,421 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250904.9.39.783604-py3-none-any.whl#sha256=287b1f04deb12a210852c2c680d304f089a4f2c148f3aa51d9d3b11c2408e862 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,422 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250904.8.44.96449-py3-none-any.whl#sha256=cf573920901a57d4ea30f7eb17324b6eddb7b28bf6bfd2a266f0ac127b1d3d80 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,422 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250904.1.25.219320-py3-none-any.whl#sha256=8bb7713b6945bb4bb1f5f4b6d1c29d3eed4a1d4e24e983f280cda0c013dfc085 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,423 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250903.21.44.864377-py3-none-any.whl#sha256=f70ea52bb8a6693294d2060f5dd409a1bd1c5cf78c001655969b90e30c2c0604 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,423 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250903.19.24.37469-py3-none-any.whl#sha256=9130f001a77a95e60ff7c642ec8fdf4a50d8969413912d83e86cd3dfd7360d29 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,424 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250903.18.37.367236-py3-none-any.whl#sha256=ae02e20bb466e1c436c4c749323bd04e9050877ad61ca40d6f5e290273092ea7 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,425 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250903.13.1.756605-py3-none-any.whl#sha256=12a8a8d20986de5ef9f3a8d511c59c5379a44980cd88788131ab5d0d26437a9d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,425 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250903.12.3.129706-py3-none-any.whl#sha256=069183825b3c27c1c5519f32d2f106d9aeacf7a2aaf1425761c3793dcb53b980 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,426 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250903.9.21.111512-py3-none-any.whl#sha256=7eee48c5f31103a1e55649911ee8ea0199e557af0425e9204c781cd208e1cb69 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,426 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250902.15.11.302216-py3-none-any.whl#sha256=43bbb42448b9aa93178f8eecece7131b7fb8fdad0acee1aac9bb2ac826aa0234 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,427 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250902.7.17.227451-py3-none-any.whl#sha256=3f518dad4bf6384797cdded67ffc191a558a05570b21f23a66935e5ab1890648 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,427 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250902.6.13.419228-py3-none-any.whl#sha256=96b3f85ef6ab58468830ef584027e864fa8c69c454a7824fc47478131cdea391 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,428 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250902.4.14.555313-py3-none-any.whl#sha256=4e7441e5cb67be03c7705aad52e9a42750344fd46ac98964b9bd76590318b794 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,428 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250901.10.11.347209-py3-none-any.whl#sha256=a5cb3103540ea93f77effb87cdcf1d813618b01e004132cf484657a6837816cf (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,429 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250829.13.40.732046-py3-none-any.whl#sha256=c18d1880157048d07ef87b03a2d6d1c19140e5b46177fcd523048ff249f15fc9 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,429 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250828.18.43.245709-py3-none-any.whl#sha256=c1d41b3ccb2af1f853ebd74479a85d37e2e20d31b2a9578dfa3ca9740a7975b2 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,430 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250828.17.53.526204-py3-none-any.whl#sha256=8df1e2e3e176a0fc8334cd3300eaa5a465cff73fcdfe1221397193fee20af70c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,430 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250828.14.20.863107-py3-none-any.whl#sha256=88c1c18652c4970de071ea78b68f0770a2aaa6b7cb562c62a8bc7288bd66c9d8 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,431 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250828.9.2.638125-py3-none-any.whl#sha256=97ac0ac0e6c0921bb9390d0f165e3ed1a0195f1445029e2b11a0464802005dca (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,431 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250827.19.14.868351-py3-none-any.whl#sha256=f80dae31acae88211d4e7e032fbfcf3c955ac9291b7e7b691e072f6b0a5dffa7 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,432 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250827.12.48.449321-py3-none-any.whl#sha256=c3a49a316ce20e45e9a86bf685cfdfb0746b95592b19fcfc6350c39239e0a1b8 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,432 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250826.20.6.86325-py3-none-any.whl#sha256=6561640ea148482f73ccc36a00f735467946bc6fd495f7cdcc120e1d60e05f17 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,433 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250826.2.54.225343-py3-none-any.whl#sha256=fc11d6d394146335b1bd82ee39f5da7c0f63dc1feab135f7da060848c5b97386 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,433 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250825.14.33.734588-py3-none-any.whl#sha256=11357be7003ba7890ce5c78b5562ecac4dc0b6691af8b9b61e30a260d58cd848 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,434 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250825.8.47.780977-py3-none-any.whl#sha256=c726d90c6627167d37198548ad315882b8d1c0cdffe1902ffab54ae3eed68f0f (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-12T20:58:42,434 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-09-12T20:58:42,435 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2025-09-12T20:58:42,456 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2025-09-12T20:58:42,458 Collecting certora-cli-alpha-master==20250908.16.28.715644 2025-09-12T20:58:42,461 Created temporary directory: /tmp/pip-unpack-rq7bl46z 2025-09-12T20:58:42,709 Downloading certora_cli_alpha_master-20250908.16.28.715644.tar.gz (32.5 MB) 2025-09-12T20:58:49,414 Added certora-cli-alpha-master==20250908.16.28.715644 from https://files.pythonhosted.org/packages/eb/0d/5e0f99da986db95731c95635b1e196dc09cf576bca6b2c06113b581f1be6/certora_cli_alpha_master-20250908.16.28.715644.tar.gz to build tracker '/tmp/pip-build-tracker-udor1pg0' 2025-09-12T20:58:49,417 Running setup.py (path:/tmp/pip-wheel-nkze_6ns/certora-cli-alpha-master_39df5d08185c4041acbe5069b39049a8/setup.py) egg_info for package certora-cli-alpha-master 2025-09-12T20:58:49,418 Created temporary directory: /tmp/pip-pip-egg-info-5qb1kxgc 2025-09-12T20:58:49,418 Preparing metadata (setup.py): started 2025-09-12T20:58:49,419 Running command python setup.py egg_info 2025-09-12T20:58:50,255 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-12T20:58:50,256 !! 2025-09-12T20:58:50,257 ******************************************************************************** 2025-09-12T20:58:50,257 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-12T20:58:50,258 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-09-12T20:58:50,259 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-12T20:58:50,259 ******************************************************************************** 2025-09-12T20:58:50,260 !! 2025-09-12T20:58:50,260 self._finalize_license_expression() 2025-09-12T20:58:50,287 running egg_info 2025-09-12T20:58:50,313 creating /tmp/pip-pip-egg-info-5qb1kxgc/certora_cli_alpha_master.egg-info 2025-09-12T20:58:50,314 writing /tmp/pip-pip-egg-info-5qb1kxgc/certora_cli_alpha_master.egg-info/PKG-INFO 2025-09-12T20:58:50,318 writing dependency_links to /tmp/pip-pip-egg-info-5qb1kxgc/certora_cli_alpha_master.egg-info/dependency_links.txt 2025-09-12T20:58:50,320 writing entry points to /tmp/pip-pip-egg-info-5qb1kxgc/certora_cli_alpha_master.egg-info/entry_points.txt 2025-09-12T20:58:50,322 writing requirements to /tmp/pip-pip-egg-info-5qb1kxgc/certora_cli_alpha_master.egg-info/requires.txt 2025-09-12T20:58:50,323 writing top-level names to /tmp/pip-pip-egg-info-5qb1kxgc/certora_cli_alpha_master.egg-info/top_level.txt 2025-09-12T20:58:50,325 writing manifest file '/tmp/pip-pip-egg-info-5qb1kxgc/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-09-12T20:58:50,418 reading manifest file '/tmp/pip-pip-egg-info-5qb1kxgc/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-09-12T20:58:50,420 reading manifest template 'MANIFEST.in' 2025-09-12T20:58:50,426 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-09-12T20:58:50,515 adding license file 'LICENSE' 2025-09-12T20:58:50,520 writing manifest file '/tmp/pip-pip-egg-info-5qb1kxgc/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-09-12T20:58:50,627 Preparing metadata (setup.py): finished with status 'done' 2025-09-12T20:58:50,631 Source in /tmp/pip-wheel-nkze_6ns/certora-cli-alpha-master_39df5d08185c4041acbe5069b39049a8 has version 20250908.16.28.715644, which satisfies requirement certora-cli-alpha-master==20250908.16.28.715644 from https://files.pythonhosted.org/packages/eb/0d/5e0f99da986db95731c95635b1e196dc09cf576bca6b2c06113b581f1be6/certora_cli_alpha_master-20250908.16.28.715644.tar.gz 2025-09-12T20:58:50,632 Removed certora-cli-alpha-master==20250908.16.28.715644 from https://files.pythonhosted.org/packages/eb/0d/5e0f99da986db95731c95635b1e196dc09cf576bca6b2c06113b581f1be6/certora_cli_alpha_master-20250908.16.28.715644.tar.gz from build tracker '/tmp/pip-build-tracker-udor1pg0' 2025-09-12T20:58:50,639 Created temporary directory: /tmp/pip-unpack-amru8i9j 2025-09-12T20:58:50,640 Created temporary directory: /tmp/pip-unpack-hve4v5mr 2025-09-12T20:58:50,640 Building wheels for collected packages: certora-cli-alpha-master 2025-09-12T20:58:50,644 Created temporary directory: /tmp/pip-wheel-hftzrqvs 2025-09-12T20:58:50,645 DEPRECATION: Building 'certora-cli-alpha-master' using the legacy setup.py bdist_wheel mechanism, which will be removed in a future version. pip 25.3 will enforce this behaviour change. A possible replacement is to use the standardized build interface by setting the `--use-pep517` option, (possibly combined with `--no-build-isolation`), or adding a `pyproject.toml` file to the source tree of 'certora-cli-alpha-master'. Discussion can be found at https://github.com/pypa/pip/issues/6334 2025-09-12T20:58:50,647 Building wheel for certora-cli-alpha-master (setup.py): started 2025-09-12T20:58:50,648 Destination directory: /tmp/pip-wheel-hftzrqvs 2025-09-12T20:58:50,648 Running command python setup.py bdist_wheel 2025-09-12T20:58:51,457 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-12T20:58:51,457 !! 2025-09-12T20:58:51,458 ******************************************************************************** 2025-09-12T20:58:51,459 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-12T20:58:51,459 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-09-12T20:58:51,460 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-12T20:58:51,461 ******************************************************************************** 2025-09-12T20:58:51,461 !! 2025-09-12T20:58:51,462 self._finalize_license_expression() 2025-09-12T20:58:51,463 running bdist_wheel 2025-09-12T20:58:51,591 running build 2025-09-12T20:58:51,591 running build_py 2025-09-12T20:58:51,621 creating build/lib/certora_jars 2025-09-12T20:58:51,623 copying certora_jars/__init__.py -> build/lib/certora_jars 2025-09-12T20:58:51,626 creating build/lib/certora_cli 2025-09-12T20:58:51,627 copying certora_cli/__init__.py -> build/lib/certora_cli 2025-09-12T20:58:51,629 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2025-09-12T20:58:51,632 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2025-09-12T20:58:51,634 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2025-09-12T20:58:51,636 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2025-09-12T20:58:51,639 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2025-09-12T20:58:51,641 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2025-09-12T20:58:51,643 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2025-09-12T20:58:51,645 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2025-09-12T20:58:51,647 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2025-09-12T20:58:51,649 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2025-09-12T20:58:51,652 creating build/lib/certora_bins 2025-09-12T20:58:51,653 copying certora_bins/__init__.py -> build/lib/certora_bins 2025-09-12T20:58:51,656 creating build/lib/certora_cli/Shared 2025-09-12T20:58:51,657 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2025-09-12T20:58:51,660 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2025-09-12T20:58:51,663 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2025-09-12T20:58:51,666 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2025-09-12T20:58:51,669 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2025-09-12T20:58:51,672 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2025-09-12T20:58:51,675 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2025-09-12T20:58:51,678 creating build/lib/certora_cli/Mutate 2025-09-12T20:58:51,679 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2025-09-12T20:58:51,682 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2025-09-12T20:58:51,685 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2025-09-12T20:58:51,687 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2025-09-12T20:58:51,691 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2025-09-12T20:58:51,694 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2025-09-12T20:58:51,697 creating build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,698 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,701 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,704 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,707 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,709 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,715 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,718 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,721 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,723 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,727 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,729 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,732 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,734 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,738 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,741 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,743 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,745 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,747 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,749 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,752 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,754 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,756 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,758 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,760 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,763 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,765 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,767 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,769 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,771 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2025-09-12T20:58:51,773 creating build/lib/certora_cli/EquivalenceCheck 2025-09-12T20:58:51,774 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2025-09-12T20:58:51,776 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2025-09-12T20:58:51,780 creating build/lib/certora_cli/CertoraProver/Compiler 2025-09-12T20:58:51,780 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-12T20:58:51,782 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-12T20:58:51,784 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-12T20:58:51,786 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-12T20:58:51,789 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-12T20:58:51,791 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-12T20:58:51,794 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-12T20:58:51,796 running egg_info 2025-09-12T20:58:51,823 writing certora_cli_alpha_master.egg-info/PKG-INFO 2025-09-12T20:58:51,826 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2025-09-12T20:58:51,828 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2025-09-12T20:58:51,829 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2025-09-12T20:58:51,830 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2025-09-12T20:58:51,867 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-09-12T20:58:51,873 reading manifest template 'MANIFEST.in' 2025-09-12T20:58:51,878 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-09-12T20:58:51,969 adding license file 'LICENSE' 2025-09-12T20:58:51,975 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-09-12T20:58:51,981 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2025-09-12T20:58:52,243 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2025-09-12T20:58:52,245 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2025-09-12T20:58:52,534 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2025-09-12T20:58:52,536 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-09-12T20:58:52,538 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-09-12T20:58:52,540 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2025-09-12T20:58:52,542 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-09-12T20:58:52,544 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2025-09-12T20:58:52,577 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-09-12T20:58:52,578 !! 2025-09-12T20:58:52,579 ******************************************************************************** 2025-09-12T20:58:52,580 Please avoid running ``setup.py`` directly. 2025-09-12T20:58:52,580 Instead, use pypa/build, pypa/installer or other 2025-09-12T20:58:52,581 standards-based tools. 2025-09-12T20:58:52,582 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-12T20:58:52,583 or your builds will no longer be supported. 2025-09-12T20:58:52,584 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-09-12T20:58:52,584 ******************************************************************************** 2025-09-12T20:58:52,586 !! 2025-09-12T20:58:52,586 self.initialize_options() 2025-09-12T20:58:52,605 installing to build/bdist.linux-armv7l/wheel 2025-09-12T20:58:52,606 running install 2025-09-12T20:58:52,629 running install_lib 2025-09-12T20:58:52,656 creating build/bdist.linux-armv7l/wheel 2025-09-12T20:58:52,657 creating build/bdist.linux-armv7l/wheel/certora_jars 2025-09-12T20:58:52,659 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-09-12T20:58:52,660 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-09-12T20:58:52,662 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-09-12T20:58:52,931 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-09-12T20:58:53,190 creating build/bdist.linux-armv7l/wheel/certora_cli 2025-09-12T20:58:53,191 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-12T20:58:53,193 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2025-09-12T20:58:53,195 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-12T20:58:53,197 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-12T20:58:53,199 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-12T20:58:53,202 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-12T20:58:53,205 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-12T20:58:53,208 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-12T20:58:53,211 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-12T20:58:53,213 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-12T20:58:53,215 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-12T20:58:53,218 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-12T20:58:53,220 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-12T20:58:53,223 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2025-09-12T20:58:53,225 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-09-12T20:58:53,227 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-09-12T20:58:53,230 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-09-12T20:58:53,232 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-09-12T20:58:53,236 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-09-12T20:58:53,238 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-09-12T20:58:53,240 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-12T20:58:53,243 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-12T20:58:53,246 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2025-09-12T20:58:53,247 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,250 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,253 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,256 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,258 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,265 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,268 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,270 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,272 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,276 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,278 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,281 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,284 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,287 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,291 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,294 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2025-09-12T20:58:53,295 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-12T20:58:53,297 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-12T20:58:53,299 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-12T20:58:53,302 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-12T20:58:53,306 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-12T20:58:53,308 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-12T20:58:53,311 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-12T20:58:53,313 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,316 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,319 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,321 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,324 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,326 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,329 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,332 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,334 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,337 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,339 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,342 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,345 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,347 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-12T20:58:53,350 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2025-09-12T20:58:53,352 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-12T20:58:53,354 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-12T20:58:53,357 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-12T20:58:53,359 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-12T20:58:53,362 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-12T20:58:53,364 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-12T20:58:53,367 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-12T20:58:53,369 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-12T20:58:53,372 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-12T20:58:53,374 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-12T20:58:53,376 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-12T20:58:53,378 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-12T20:58:53,380 creating build/bdist.linux-armv7l/wheel/certora_bins 2025-09-12T20:58:53,382 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2025-09-12T20:58:53,384 running install_egg_info 2025-09-12T20:58:53,418 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20250908.16.28.715644-py3.11.egg-info 2025-09-12T20:58:53,429 running install_scripts 2025-09-12T20:58:53,441 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20250908.16.28.715644.dist-info/WHEEL 2025-09-12T20:58:53,444 creating '/tmp/pip-wheel-hftzrqvs/certora_cli_alpha_master-20250908.16.28.715644-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-09-12T20:58:53,446 adding 'certora_bins/__init__.py' 2025-09-12T20:58:53,448 adding 'certora_cli/__init__.py' 2025-09-12T20:58:53,450 adding 'certora_cli/certoraCVLFormatter.py' 2025-09-12T20:58:53,452 adding 'certora_cli/certoraConcord.py' 2025-09-12T20:58:53,453 adding 'certora_cli/certoraEVMProver.py' 2025-09-12T20:58:53,455 adding 'certora_cli/certoraEqCheck.py' 2025-09-12T20:58:53,457 adding 'certora_cli/certoraMutate.py' 2025-09-12T20:58:53,459 adding 'certora_cli/certoraRanger.py' 2025-09-12T20:58:53,460 adding 'certora_cli/certoraRun.py' 2025-09-12T20:58:53,462 adding 'certora_cli/certoraSolanaProver.py' 2025-09-12T20:58:53,464 adding 'certora_cli/certoraSorobanProver.py' 2025-09-12T20:58:53,466 adding 'certora_cli/rustMutator.py' 2025-09-12T20:58:53,469 adding 'certora_cli/CertoraProver/__init__.py' 2025-09-12T20:58:53,470 adding 'certora_cli/CertoraProver/certoraApp.py' 2025-09-12T20:58:53,497 adding 'certora_cli/CertoraProver/certoraBuild.py' 2025-09-12T20:58:53,500 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2025-09-12T20:58:53,502 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2025-09-12T20:58:53,504 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2025-09-12T20:58:53,505 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2025-09-12T20:58:53,511 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2025-09-12T20:58:53,514 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2025-09-12T20:58:53,516 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2025-09-12T20:58:53,517 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2025-09-12T20:58:53,519 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2025-09-12T20:58:53,523 adding 'certora_cli/CertoraProver/certoraContext.py' 2025-09-12T20:58:53,528 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2025-09-12T20:58:53,530 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2025-09-12T20:58:53,536 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2025-09-12T20:58:53,537 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2025-09-12T20:58:53,539 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2025-09-12T20:58:53,541 adding 'certora_cli/CertoraProver/certoraJobList.py' 2025-09-12T20:58:53,543 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2025-09-12T20:58:53,544 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2025-09-12T20:58:53,546 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2025-09-12T20:58:53,547 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2025-09-12T20:58:53,550 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2025-09-12T20:58:53,553 adding 'certora_cli/CertoraProver/certoraType.py' 2025-09-12T20:58:53,555 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2025-09-12T20:58:53,557 adding 'certora_cli/CertoraProver/erc7201.py' 2025-09-12T20:58:53,559 adding 'certora_cli/CertoraProver/splitRules.py' 2025-09-12T20:58:53,561 adding 'certora_cli/CertoraProver/storageExtension.py' 2025-09-12T20:58:53,563 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2025-09-12T20:58:53,565 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2025-09-12T20:58:53,567 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2025-09-12T20:58:53,568 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2025-09-12T20:58:53,576 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2025-09-12T20:58:53,577 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2025-09-12T20:58:53,579 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2025-09-12T20:58:53,580 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2025-09-12T20:58:53,582 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2025-09-12T20:58:53,583 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2025-09-12T20:58:53,584 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2025-09-12T20:58:53,586 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2025-09-12T20:58:53,586 adding 'certora_cli/EquivalenceCheck/__init__.py' 2025-09-12T20:58:53,589 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2025-09-12T20:58:53,590 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2025-09-12T20:58:53,592 adding 'certora_cli/Mutate/__init__.py' 2025-09-12T20:58:53,602 adding 'certora_cli/Mutate/mutateApp.py' 2025-09-12T20:58:53,604 adding 'certora_cli/Mutate/mutateAttributes.py' 2025-09-12T20:58:53,605 adding 'certora_cli/Mutate/mutateConstants.py' 2025-09-12T20:58:53,607 adding 'certora_cli/Mutate/mutateUtil.py' 2025-09-12T20:58:53,608 adding 'certora_cli/Mutate/mutateValidate.py' 2025-09-12T20:58:53,611 adding 'certora_cli/Shared/ExpectedComparator.py' 2025-09-12T20:58:53,612 adding 'certora_cli/Shared/__init__.py' 2025-09-12T20:58:53,614 adding 'certora_cli/Shared/certoraAttrUtil.py' 2025-09-12T20:58:53,616 adding 'certora_cli/Shared/certoraLogging.py' 2025-09-12T20:58:53,624 adding 'certora_cli/Shared/certoraUtils.py' 2025-09-12T20:58:53,629 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2025-09-12T20:58:53,631 adding 'certora_cli/Shared/proverCommon.py' 2025-09-12T20:58:53,633 adding 'certora_cli_alpha_master-20250908.16.28.715644.dist-info/licenses/LICENSE' 2025-09-12T20:58:55,595 adding 'certora_jars/ASTExtraction.jar' 2025-09-12T20:58:55,705 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2025-09-12T20:58:57,663 adding 'certora_jars/Typechecker.jar' 2025-09-12T20:58:57,773 adding 'certora_jars/__init__.py' 2025-09-12T20:58:57,774 adding 'certora_cli_alpha_master-20250908.16.28.715644.dist-info/METADATA' 2025-09-12T20:58:57,775 adding 'certora_cli_alpha_master-20250908.16.28.715644.dist-info/WHEEL' 2025-09-12T20:58:57,775 adding 'certora_cli_alpha_master-20250908.16.28.715644.dist-info/entry_points.txt' 2025-09-12T20:58:57,776 adding 'certora_cli_alpha_master-20250908.16.28.715644.dist-info/top_level.txt' 2025-09-12T20:58:57,778 adding 'certora_cli_alpha_master-20250908.16.28.715644.dist-info/RECORD' 2025-09-12T20:58:58,122 removing build/bdist.linux-armv7l/wheel 2025-09-12T20:58:58,266 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2025-09-12T20:58:58,612 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20250908.16.28.715644-py3-none-any.whl size=32565631 sha256=f2c527c9d113ee6be0f10176b262f1d8ee67e36eaf22f0282b0419338d054b9e 2025-09-12T20:58:58,613 Stored in directory: /tmp/pip-ephem-wheel-cache-w2mq3y6a/wheels/63/45/5c/afcc939c6bf6754a39e3022cb2ac45ac784c571f4cdc4a2dff 2025-09-12T20:58:58,637 Successfully built certora-cli-alpha-master 2025-09-12T20:58:59,478 Removed build tracker: '/tmp/pip-build-tracker-udor1pg0'