2025-12-12T21:22:05,024 Created temporary directory: /tmp/pip-ephem-wheel-cache-2jsbvj2w 2025-12-12T21:22:05,026 Created temporary directory: /tmp/pip-build-tracker-z9e7pusw 2025-12-12T21:22:05,027 Initialized build tracking at /tmp/pip-build-tracker-z9e7pusw 2025-12-12T21:22:05,027 Created build tracker: /tmp/pip-build-tracker-z9e7pusw 2025-12-12T21:22:05,028 Entered build tracker: /tmp/pip-build-tracker-z9e7pusw 2025-12-12T21:22:05,029 Created temporary directory: /tmp/pip-wheel-ir664219 2025-12-12T21:22:05,032 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2025-12-12T21:22:05,034 Created temporary directory: /tmp/pip-ephem-wheel-cache-94bxosfy 2025-12-12T21:22:05,056 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-12-12T21:22:05,060 2 location(s) to search for versions of certora-cli-alpha-master: 2025-12-12T21:22:05,060 * https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-12T21:22:05,060 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-12T21:22:05,061 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-12T21:22:05,062 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-12T21:22:05,063 Found index url https://pypi.org/simple 2025-12-12T21:22:05,277 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2025-12-12T21:22:05,296 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/66/d0/ce0e8c21e660c6f43c6f7b8f009403b654fa0422b47d0e634972135fa5d4/certora_cli_alpha_master-20251126.12.24.872806-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,297 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cd/6a/edb7ec9d631d4898a59e501a1da82b2210fdeda8124a6ade6adb02288628/certora_cli_alpha_master-20251126.12.24.872806-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,298 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6d/ee/ca1e83296d021eb925e834c3474b40dc89fe9aff31c604ad8ca6e368f3f5/certora_cli_alpha_master-20251126.12.24.872806-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,299 Found link https://files.pythonhosted.org/packages/b9/54/056e0a2882778c41367772e5ef6bbec9c078a1233adf72ff15a37bd4897d/certora_cli_alpha_master-20251126.12.24.872806.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251126.12.24.872806 2025-12-12T21:22:05,300 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c0/c8/3be601ad9503d1305097c8fde331bedc2e14a4bc4fdbcf3654811c2da072/certora_cli_alpha_master-20251127.12.8.264687-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,300 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/20/94/0a2fc41f59ad47d959271fcdb5e66cb108292c4544946de2c7d7ad5a32da/certora_cli_alpha_master-20251127.12.8.264687-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,301 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/57/ea/0791dba1a82e615d2acb6f0ae7152ab9a3bdabc0b8d67b693c9f0e62646b/certora_cli_alpha_master-20251127.12.8.264687-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,302 Found link https://files.pythonhosted.org/packages/dd/b0/3153df7bb620fbb1124920a849e5d898ae5b5c9303d3b1a2ba4d785d49b9/certora_cli_alpha_master-20251127.12.8.264687.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251127.12.8.264687 2025-12-12T21:22:05,303 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a9/b9/cfbbd048cdfef3b64dbbf0edbf4aebf0474a6cf27e082d006ef9a144c1db/certora_cli_alpha_master-20251127.18.23.7929-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,304 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d1/57/35c7427d41978bf832563ea31f928520680c33e4fe9baceb45faf55bf0c4/certora_cli_alpha_master-20251127.18.23.7929-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,304 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f5/72/17df54d901df73a2792951546723f5921624ea0db2d4185e280639e17b9d/certora_cli_alpha_master-20251127.18.23.7929-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,304 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/29/92/108b7361d6ff255f095bae042f87daa4e2626a5435c3df9976531846f126/certora_cli_alpha_master-20251202.20.51.90074-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,305 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ca/5f/a8d30ba3146bbde712de41a4d4d67e9fa7fc21c63f7a31fc9e0db42c7866/certora_cli_alpha_master-20251202.20.51.90074-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,305 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6d/95/1aaca5bdd99a4b39ac336496b6263e8b700ccd0442777953afdb46491f22/certora_cli_alpha_master-20251202.20.51.90074-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,306 Found link https://files.pythonhosted.org/packages/68/d8/96a5babca987ccb2b71fc2a8e7439be830fe95c46f5b06fd34756f244752/certora_cli_alpha_master-20251202.20.51.90074.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251202.20.51.90074 2025-12-12T21:22:05,307 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/29/d8/f984baf5d99648ef195c36fc729329308758515b72144ff7ed313fdcbe27/certora_cli_alpha_master-20251202.23.58.988576-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,308 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/02/21/db44513c29194a7093e69ab79001fc3f46aec8092a40f910f35cd38afb4e/certora_cli_alpha_master-20251202.23.58.988576-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,308 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/33/44/90eade5ee226cfa22b248903baba7351435b5d903cb3a59db3fd7aca5304/certora_cli_alpha_master-20251202.23.58.988576-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,309 Found link https://files.pythonhosted.org/packages/09/79/b5f5a3605a4b6033fe4d91aabd897f538c9bf929c01efb387c52bf127a27/certora_cli_alpha_master-20251202.23.58.988576.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251202.23.58.988576 2025-12-12T21:22:05,310 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ad/e9/044b6cd977acec1d3b34575f49ae9cecaf8bd7639a5e546a59baf1bf5791/certora_cli_alpha_master-20251203.2.24.260812-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,310 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/03/46/a44eaab5466926bfabb4f4010aec3b045eb4a42d35e6d4b438e872e63b12/certora_cli_alpha_master-20251203.2.24.260812-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,311 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e1/2d/8ddfeaee83b4f8cf5728e1b418d0a265b7e9c99616f7a3e55bb66034ad4e/certora_cli_alpha_master-20251203.2.24.260812-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,312 Found link https://files.pythonhosted.org/packages/aa/b4/6b4ad362370ef688f7ac67f87b66e60dab6a013eefb8c0b2cbf5f9451dc7/certora_cli_alpha_master-20251203.2.24.260812.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251203.2.24.260812 2025-12-12T21:22:05,312 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/23/84/355b81bf1cb4dea36b950d7cd371cac9d4238628428c956ac7468ed0833d/certora_cli_alpha_master-20251203.3.42.874358-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,313 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/aa/74/6148d7b2baed90eec5ade3051c55102a10f29f27a3186668b0d3dcc7aee3/certora_cli_alpha_master-20251203.3.42.874358-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,313 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fe/a9/bbd68c528204f8ff05b525ff1669dcc27d1183899641b08203b601575de4/certora_cli_alpha_master-20251203.3.42.874358-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,314 Found link https://files.pythonhosted.org/packages/46/6d/5b0d4d7ba547e6f73b146427f787bee02c756de89443afed5b6919e8f7d4/certora_cli_alpha_master-20251203.3.42.874358.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251203.3.42.874358 2025-12-12T21:22:05,315 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8d/fa/06e6fbb5f6cefe914d0af13d3de2193a965b0730e76f22d0b894b8c1df81/certora_cli_alpha_master-20251204.10.23.58541-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,316 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fc/b5/a84028887001fe9557ff9797ecddcad19d940c96e824ca3411d5529f1be6/certora_cli_alpha_master-20251204.10.23.58541-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,316 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f7/eb/499f4e0ebefb15e6e48a26a4f6ecb4ce50d9dc663369f81dd7db9f75bdc9/certora_cli_alpha_master-20251204.10.23.58541-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,317 Found link https://files.pythonhosted.org/packages/d3/02/9258234548681b2b87aa6ce03fa8a313f8272a9eccf198b7537f75af34a0/certora_cli_alpha_master-20251204.10.23.58541.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251204.10.23.58541 2025-12-12T21:22:05,318 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/96/cc/a5ff743be84d956133929906639d482ab904b701e2befd6b7dc11ae59f54/certora_cli_alpha_master-20251204.22.15.393566-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,319 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0d/ad/e7f4e3605c75a75ceaa07fac2ae0a895beb4fb4c150fb0059e4d7cb2d5b2/certora_cli_alpha_master-20251204.22.15.393566-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,319 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ee/1a/f9eedc9752d97121e34bd5ae8139db92494552b15da87a13f6ad6cd7ef79/certora_cli_alpha_master-20251204.22.15.393566-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,320 Found link https://files.pythonhosted.org/packages/ed/8a/b64529bc6633894bb9b879bf42f7e61bafffd1dec2b32b4d854595f837b7/certora_cli_alpha_master-20251204.22.15.393566.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251204.22.15.393566 2025-12-12T21:22:05,320 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/48/4d/ad22d13b26655f11699c70cb2dd2b97c1c2d6b1df72b5000b2e998b799d0/certora_cli_alpha_master-20251205.19.3.122282-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,321 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/60/1c/766ce7f45a578c7aabe534c3c2a93301928c0a5f12b6233ce87bf7966f12/certora_cli_alpha_master-20251205.19.3.122282-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,322 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ff/e1/20fcb7f8cdca4ceb68faaebad32bf05a59d7068374c396a66d9973e8637e/certora_cli_alpha_master-20251205.19.3.122282-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,322 Found link https://files.pythonhosted.org/packages/15/d5/66ded71a7207562d4c31b6112f3287737fca7541fd48b43c40b8eccaa8f2/certora_cli_alpha_master-20251205.19.3.122282.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251205.19.3.122282 2025-12-12T21:22:05,323 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/56/93/6ac238cf783a7a332892662ab209ace70e1b313544044740d99ec5c52e77/certora_cli_alpha_master-20251206.23.42.216111-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,324 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/46/4d/8547dcffb1082c33be911476cf35e0c4c8381b6ddfbd31009b35af57a508/certora_cli_alpha_master-20251206.23.42.216111-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,324 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5d/4a/9b04dc3c371f5b667535bf7e3305d34b949e34f00591fe829a069e6385c4/certora_cli_alpha_master-20251206.23.42.216111-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,325 Found link https://files.pythonhosted.org/packages/d2/db/c41010b4b5be5ae3adc73414d42a92c8398b936fc3c9ff5d1daf38ea7087/certora_cli_alpha_master-20251206.23.42.216111.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251206.23.42.216111 2025-12-12T21:22:05,326 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1f/15/13b4a18a2cefa301699cd20940f4a7a8ab02dc13c1a5e5288c49da35dd8c/certora_cli_alpha_master-20251207.0.26.526171-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,327 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d5/85/d7fa1f781d4811d5ff34b409ce937eebe5de551f85dd476270fdaf7b5f10/certora_cli_alpha_master-20251207.0.26.526171-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,327 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1f/a4/4383e0cc9d23a8782bced0eb86a39967d5a59cf7866b19596586e8b8a630/certora_cli_alpha_master-20251207.0.26.526171-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,328 Found link https://files.pythonhosted.org/packages/3b/22/49c85135bc7165bdf8d2e88a18e065f62e5eb745b54fc6594211d936e4c1/certora_cli_alpha_master-20251207.0.26.526171.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251207.0.26.526171 2025-12-12T21:22:05,329 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a2/7d/12cc783a14a22d360a0ea2623d72dbd5de2fc002e3adddc1569214178b6d/certora_cli_alpha_master-20251208.15.39.160644-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,329 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f5/35/6bd1d7e47c74e4bd1e4f0e3cea5dc2f768a8559c1f8e2c0362c6f9777b1d/certora_cli_alpha_master-20251208.15.39.160644-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,330 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/46/8e/5e402c873ce58a03f6282525a66709e889bcc866774f0c36acfc4f960647/certora_cli_alpha_master-20251208.15.39.160644-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,330 Found link https://files.pythonhosted.org/packages/a4/66/c2d59208294572fe3c13196da1543baf02aef2f08f2942a9b7ff45e52193/certora_cli_alpha_master-20251208.15.39.160644.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251208.15.39.160644 2025-12-12T21:22:05,331 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/32/eb/2ec03939eabbc814aaab3b4d689c14d9ed33998082c3c8b39bdebab7fb56/certora_cli_alpha_master-20251208.16.52.905633-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,332 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/27/f3/426d21683855995d32f0cbb3db521c69b60bad3f933263b21cf260edc2da/certora_cli_alpha_master-20251208.16.52.905633-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,332 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4a/05/7034d2f80cbc028d0e7f2b4bad69d444d900f5c08ee0610022bfe4bbf003/certora_cli_alpha_master-20251208.16.52.905633-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,333 Found link https://files.pythonhosted.org/packages/8c/1d/20a87793517953333080b7a2876e0b43ad9fe436ccfdc58e15f797b93b68/certora_cli_alpha_master-20251208.16.52.905633.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251208.16.52.905633 2025-12-12T21:22:05,334 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/72/e4/a1a4a6028cf08d8bdeb9db1844ebc55608a87343a59eebbeaf12ebc9542e/certora_cli_alpha_master-20251208.20.19.541339-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,335 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/29/11/9f8b865fa09cf58792653c13d9f3037831db3b9da88799090b65b0e42513/certora_cli_alpha_master-20251208.20.19.541339-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,335 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8e/13/6287af282670071f558f5ca33fcdec9410267711a973efb7c431a4b422ed/certora_cli_alpha_master-20251208.20.19.541339-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,336 Found link https://files.pythonhosted.org/packages/c4/9b/83873ee8dcc4b5a03dfeb698e57a50539496485d75eee5090bf1e27f9ccc/certora_cli_alpha_master-20251208.20.19.541339.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251208.20.19.541339 2025-12-12T21:22:05,337 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4c/a0/4ffa14dcb6c7fd4e2e7e1d91c6932f187da76a2f9a9ef3a7e2183f8893b1/certora_cli_alpha_master-20251209.12.22.823685-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,337 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0e/5f/a2fd442462ccc7ff52b9b0e1c76054c16dc9997637b12068cb14d0b55d8e/certora_cli_alpha_master-20251209.12.22.823685-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,338 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/22/17/0397b4efddf9be630e008534e9f0524691f4764a1627f650975d955799c3/certora_cli_alpha_master-20251209.12.22.823685-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,339 Found link https://files.pythonhosted.org/packages/a3/a8/8177f4adca912b98f262fc634e240ffb4d1b73e15fa59cbe1285daedc033/certora_cli_alpha_master-20251209.12.22.823685.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251209.12.22.823685 2025-12-12T21:22:05,340 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b6/28/100338d00084e4cdfa1f2333520e512d84060cc085609fe658f9c9589a9e/certora_cli_alpha_master-20251209.18.55.619285-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,340 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/08/9f/a0935e65516cad54261f9395b9940725f4cd8643f5519b3f10453c16200e/certora_cli_alpha_master-20251209.18.55.619285-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,341 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b0/06/458a7c7eb0a3781ad7248e1932cf9980d70a2a4c199614ca973c10a9e63b/certora_cli_alpha_master-20251209.18.55.619285-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,341 Found link https://files.pythonhosted.org/packages/9f/11/f63ceae453a3e6366629ea283aec297be0aca6b1f868c11e2be3146d311f/certora_cli_alpha_master-20251209.18.55.619285.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251209.18.55.619285 2025-12-12T21:22:05,342 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c3/ef/4ae83620415bdf846488400dea1001d274848c807e299dd2842d03a50218/certora_cli_alpha_master-20251209.19.39.902585-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,343 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9c/c3/7d45ae410c8cb6bb425d4d5807a7e0b89b35468fdb18fb22946a58b66035/certora_cli_alpha_master-20251209.19.39.902585-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,343 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e5/18/f3a11c957117dd89f8c926a0c71a919146ca14f0b3945df0dd9d4f96ccca/certora_cli_alpha_master-20251209.19.39.902585-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,344 Found link https://files.pythonhosted.org/packages/4f/89/657c4cac841e7dde8dcc484b1cb6f211b6451b4be8fe2e68d8160e9c705f/certora_cli_alpha_master-20251209.19.39.902585.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251209.19.39.902585 2025-12-12T21:22:05,345 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/55/68/3593af96612d0e23649128ea382dae97864903615470e09908ab676b4f64/certora_cli_alpha_master-20251209.20.29.185580-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,345 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/26/a0/27d7ef7d9d2e3b36c74e998a4ebadb5a5f58bd7e4790fa02e1c251fef4cb/certora_cli_alpha_master-20251209.20.29.185580-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,346 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/65/94/442df88cbf1e26e302a6e7d97138591d45bb99d8a7aedbf91a149d4022b3/certora_cli_alpha_master-20251209.20.29.185580-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,347 Found link https://files.pythonhosted.org/packages/29/f0/ef7ea1c5e8fd82c5a64e8c5902c71568e2a088c9b81e7cb642d096660899/certora_cli_alpha_master-20251209.20.29.185580.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251209.20.29.185580 2025-12-12T21:22:05,348 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2c/58/6fe3469d50a9b4d29eb66039d97f87d60aa75622828625f0ddb878f4ded7/certora_cli_alpha_master-20251210.13.55.488803-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,348 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5e/f6/c71d87e44c87d4a22ac9787dcea0523c596053540b2d2687f26bab4f4d7a/certora_cli_alpha_master-20251210.13.55.488803-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,349 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/45/f8/70b0fd395b9798c806c06d6252330323cf4c4b0ea57542598252ae32353b/certora_cli_alpha_master-20251210.13.55.488803-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,350 Found link https://files.pythonhosted.org/packages/bc/36/17ec491da33d6758c5af4081dfb5f964d6dc5b20a3252c872ee2b20cf5cf/certora_cli_alpha_master-20251210.13.55.488803.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251210.13.55.488803 2025-12-12T21:22:05,350 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7e/4a/46d3340b77a51a6196740f044c76f97dc6cd8418c1ec79acfac0bd9791ca/certora_cli_alpha_master-20251210.20.10.189817-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,351 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/24/1f/eef6f71d5e0a657bfca62bc32aa2d4a476ce14ae475696c0aac365e6a9c6/certora_cli_alpha_master-20251210.20.10.189817-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,351 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f7/fe/632797fe9c9c96e1b803d20cd33555a7ee2cfa135bc15b9afaad8bbb9ca6/certora_cli_alpha_master-20251210.20.10.189817-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,352 Found link https://files.pythonhosted.org/packages/c6/05/9f846f88c73932b2848abb0552a6de47ca37dd90913181b8f3ba629c0e86/certora_cli_alpha_master-20251210.20.10.189817.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251210.20.10.189817 2025-12-12T21:22:05,353 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4a/05/4391964efb36666205280bd4eefb631957c7cd00f63581b8ca88a29bb629/certora_cli_alpha_master-20251210.22.33.388975-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,354 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ee/40/265c68ba5e0a7565a322a116d4b38fb50ba226742f1936210ebae7896fec/certora_cli_alpha_master-20251210.22.33.388975-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,354 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/10/58/06c55bfcc63f7426f35b49acb5dc573e7618d2e831096f1c5120e8a94e71/certora_cli_alpha_master-20251210.22.33.388975-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,355 Found link https://files.pythonhosted.org/packages/2e/01/34992469ea8ba16b47a76162399a2b3b49623c57322fc9f3d25c0a58aa91/certora_cli_alpha_master-20251210.22.33.388975.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251210.22.33.388975 2025-12-12T21:22:05,356 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a2/a4/fe56f68f4fa9de16aa0174449b78f5954ccdabc8588be51417116ffb072d/certora_cli_alpha_master-20251211.22.3.453415-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,356 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1f/1b/056d8dc59e158901473e05424bd832f06ce87a8b5a70b403a968f70de746/certora_cli_alpha_master-20251211.22.3.453415-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,357 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/86/ec/dd799f817ab4259ea28b229a99b9f994039e69c1752d655d5727894f43ac/certora_cli_alpha_master-20251211.22.3.453415-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,358 Found link https://files.pythonhosted.org/packages/9a/76/83e7bc72ba9c499fdf2e7cd2b527a2888c02cbd0382da3e881d343876430/certora_cli_alpha_master-20251211.22.3.453415.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251211.22.3.453415 2025-12-12T21:22:05,359 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/10/c3/09a7f4d7023a99a92a467ea60b5de44c74eb16c17a761ce0c3405a565ab6/certora_cli_alpha_master-20251212.2.29.330599-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,359 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a7/4d/81a46669b73ad29593cf0bbda8da95a832513d65103b143e9366b6bdc997/certora_cli_alpha_master-20251212.2.29.330599-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,360 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ff/4f/e3ab0034cd2372dfe68764c54997d9b0e4e951e376aa67fd567c68dfef7f/certora_cli_alpha_master-20251212.2.29.330599-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,360 Found link https://files.pythonhosted.org/packages/8d/3a/c26132aff037a2f2acfb0083bfef5810391878b328a74f70da118ce59f24/certora_cli_alpha_master-20251212.2.29.330599.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251212.2.29.330599 2025-12-12T21:22:05,361 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/15/b1/c92e4342a0bef7c14b288233bd09ab7ef444cfb84ca1f26755cdffcfb104/certora_cli_alpha_master-20251212.18.31.213127-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,361 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/eb/1a/6fd5004ea3fb0454569d6c10c7082159bb7dd313424c6061f99a28345721/certora_cli_alpha_master-20251212.18.31.213127-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,362 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6c/91/176a8c066d7e0b7159c06e5ccb8470450df4c17636a84f9d42be71833e01/certora_cli_alpha_master-20251212.18.31.213127-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,363 Found link https://files.pythonhosted.org/packages/37/a3/81645cb1651981fc2c6d1c741c959e01807b73d67101e0421d8e94446b37/certora_cli_alpha_master-20251212.18.31.213127.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251212.18.31.213127 2025-12-12T21:22:05,363 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3f/04/9e92139a0beffe38d7f1e08025ad5862496dc619f4f96ff82a0613bcf46d/certora_cli_alpha_master-20251212.20.14.684012-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,364 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/22/b4/1fcaf9b6cd0659f6122859a88af7e56ce827e45c8ed07687d4cd067ec1ca/certora_cli_alpha_master-20251212.20.14.684012-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,364 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/93/9b/0a597ae37512e5bd9481a0092b82bce188f40a512f00205da2923f87b7fe/certora_cli_alpha_master-20251212.20.14.684012-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,366 Found link https://files.pythonhosted.org/packages/f9/de/fbf03d2c429290eeb18be6032b5b3734f415092590a18fac3cb6da9709a8/certora_cli_alpha_master-20251212.20.14.684012.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251212.20.14.684012 2025-12-12T21:22:05,367 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-12T21:22:05,367 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-12T21:22:05,368 Found index url https://www.piwheels.org/simple 2025-12-12T21:22:05,525 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2025-12-12T21:22:05,533 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251212.18.31.213127-py3-none-any.whl#sha256=0d775e373e987ae7f6922e49f141dfa84d1ca37cf6a5f2f9d1775240136f845d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,533 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251212.2.29.330599-py3-none-any.whl#sha256=cd3ca6a10dfe22fdc2c2d188da7bd202cfc2c3f825fb33faf1ba9850208e5468 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,534 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251211.22.3.453415-py3-none-any.whl#sha256=1fe1d103fb93d820eae8a5833961fd590aef3349e6cf79dcb77f37aab142828e (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,534 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251210.22.33.388975-py3-none-any.whl#sha256=8af1ac619870b23a7d6a63e2eaa49a35899b2b9fe1895b0ede13a6bd7ebf318e (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,535 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251210.20.10.189817-py3-none-any.whl#sha256=9d2d91f8c4dacb4c79fd77e50d823da8a940c453a448c6dbc9c9ac9efb0ad125 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,535 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251210.13.55.488803-py3-none-any.whl#sha256=9c880a4936a2a910a07ac5a0df2c139400c0ed9b84dcf2148bb0c8010cd565ae (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,536 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251209.20.29.185580-py3-none-any.whl#sha256=ae2f61c3bdca552a7acceaab22e45ee7a1c29e62183f6029703f32cd6ccd98eb (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,536 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251209.19.39.902585-py3-none-any.whl#sha256=2ba3c7f38b06b0dc23b552bb58df598d734842d26d115397ed3e59d86706563d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,537 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251209.18.55.619285-py3-none-any.whl#sha256=71e2a941651184d630667c8c9fb04e03a4bf27a233cd2740188cfbb906696cbb (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,538 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251209.12.22.823685-py3-none-any.whl#sha256=2b4ba69caeb967b9a6f99571ac5ab062ab1ac2045c02e4da22f5e46bc00a935c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,538 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251208.20.19.541339-py3-none-any.whl#sha256=731741fc97e64d2afac9e0a0e63ca5159fc43c8c1e07947ddb56b9f628bf5ef0 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,539 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251208.16.52.905633-py3-none-any.whl#sha256=9ab8b80156e4f5b5784bc6949043677c989249ea2142c967033d729a69542ddc (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,539 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251208.15.39.160644-py3-none-any.whl#sha256=1ebe52e5bef236fe9a22480727987c0b2d3101c28829d2fa61e9e0c269f6f89b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,540 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251207.0.26.526171-py3-none-any.whl#sha256=580d082660f09726c3c250bbb49e8e43e38ef18ec0a20546fdb6117d19002959 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,540 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251206.23.42.216111-py3-none-any.whl#sha256=6945ce7eadd7456c355972f8c27d806e7d5888b8aa5cfeb5b5190f42b626b9d1 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,541 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251205.19.3.122282-py3-none-any.whl#sha256=ff391cedc293ef8fdfeb997e071a678dc7687c193e4353a46224830cf34138a2 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,541 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251204.22.15.393566-py3-none-any.whl#sha256=beac6f7d179264c8374448ebb92d064fb23b817dd5effe0772abad4eae5448f4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,542 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251204.10.23.58541-py3-none-any.whl#sha256=3cca75e9d9a09ffdb32a47d81d653bbd8508eeed103f9fb364b175cd2f3a8de8 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,543 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251203.3.42.874358-py3-none-any.whl#sha256=5347a4e1b35b7eba372ea808e571662c7322ee0a4bb1b2fccb41587bfea93cfe (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,543 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251203.2.24.260812-py3-none-any.whl#sha256=0ef5deb427f2cefa95d875be49213b03754e7dabf6956c64544026986ab68975 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,544 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251202.23.58.988576-py3-none-any.whl#sha256=56a14d6ccf0e85205f3017d211e1f9f5ef41c6e96e6195151f8d7de2bad9192a (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,545 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251202.20.51.90074-py3-none-any.whl#sha256=1a6aadab7ded8473fc1e734209d54baa1aeee53d7c22f33e41d73da63dca2b11 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,545 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251127.12.8.264687-py3-none-any.whl#sha256=9cbd54d725a8100c51044ac47f025cab6259de4afb76f7c474651ce1a13916ec (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,546 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251126.12.24.872806-py3-none-any.whl#sha256=9b28f644e331565715761039e1a3aeccb549bc1884fa6eb8d00523ce086e3ab7 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-12T21:22:05,546 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-12T21:22:05,547 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-12T21:22:05,569 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2025-12-12T21:22:05,587 Collecting certora-cli-alpha-master==20251212.20.14.684012 2025-12-12T21:22:05,589 Created temporary directory: /tmp/pip-unpack-46r4z6cd 2025-12-12T21:22:05,804 Downloading certora_cli_alpha_master-20251212.20.14.684012.tar.gz (40.8 MB) 2025-12-12T21:22:13,747 Added certora-cli-alpha-master==20251212.20.14.684012 from https://files.pythonhosted.org/packages/f9/de/fbf03d2c429290eeb18be6032b5b3734f415092590a18fac3cb6da9709a8/certora_cli_alpha_master-20251212.20.14.684012.tar.gz to build tracker '/tmp/pip-build-tracker-z9e7pusw' 2025-12-12T21:22:13,748 Running setup.py (path:/tmp/pip-wheel-ir664219/certora-cli-alpha-master_21e15bb31d5c446b9952551bd0125fa5/setup.py) egg_info for package certora-cli-alpha-master 2025-12-12T21:22:13,749 Created temporary directory: /tmp/pip-pip-egg-info-e608o16x 2025-12-12T21:22:13,750 Preparing metadata (setup.py): started 2025-12-12T21:22:13,751 Running command python setup.py egg_info 2025-12-12T21:22:14,624 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-12-12T21:22:14,625 !! 2025-12-12T21:22:14,626 ******************************************************************************** 2025-12-12T21:22:14,626 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-12-12T21:22:14,627 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-12-12T21:22:14,629 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-12-12T21:22:14,629 ******************************************************************************** 2025-12-12T21:22:14,630 !! 2025-12-12T21:22:14,631 self._finalize_license_expression() 2025-12-12T21:22:14,655 running egg_info 2025-12-12T21:22:14,683 creating /tmp/pip-pip-egg-info-e608o16x/certora_cli_alpha_master.egg-info 2025-12-12T21:22:14,684 writing /tmp/pip-pip-egg-info-e608o16x/certora_cli_alpha_master.egg-info/PKG-INFO 2025-12-12T21:22:14,688 writing dependency_links to /tmp/pip-pip-egg-info-e608o16x/certora_cli_alpha_master.egg-info/dependency_links.txt 2025-12-12T21:22:14,690 writing entry points to /tmp/pip-pip-egg-info-e608o16x/certora_cli_alpha_master.egg-info/entry_points.txt 2025-12-12T21:22:14,691 writing requirements to /tmp/pip-pip-egg-info-e608o16x/certora_cli_alpha_master.egg-info/requires.txt 2025-12-12T21:22:14,692 writing top-level names to /tmp/pip-pip-egg-info-e608o16x/certora_cli_alpha_master.egg-info/top_level.txt 2025-12-12T21:22:14,694 writing manifest file '/tmp/pip-pip-egg-info-e608o16x/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-12T21:22:14,793 reading manifest file '/tmp/pip-pip-egg-info-e608o16x/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-12T21:22:14,795 reading manifest template 'MANIFEST.in' 2025-12-12T21:22:15,016 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-12-12T21:22:15,114 adding license file 'LICENSE' 2025-12-12T21:22:15,119 writing manifest file '/tmp/pip-pip-egg-info-e608o16x/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-12T21:22:15,226 Preparing metadata (setup.py): finished with status 'done' 2025-12-12T21:22:15,230 Source in /tmp/pip-wheel-ir664219/certora-cli-alpha-master_21e15bb31d5c446b9952551bd0125fa5 has version 20251212.20.14.684012, which satisfies requirement certora-cli-alpha-master==20251212.20.14.684012 from https://files.pythonhosted.org/packages/f9/de/fbf03d2c429290eeb18be6032b5b3734f415092590a18fac3cb6da9709a8/certora_cli_alpha_master-20251212.20.14.684012.tar.gz 2025-12-12T21:22:15,231 Removed certora-cli-alpha-master==20251212.20.14.684012 from https://files.pythonhosted.org/packages/f9/de/fbf03d2c429290eeb18be6032b5b3734f415092590a18fac3cb6da9709a8/certora_cli_alpha_master-20251212.20.14.684012.tar.gz from build tracker '/tmp/pip-build-tracker-z9e7pusw' 2025-12-12T21:22:15,237 Created temporary directory: /tmp/pip-unpack-vqc5r1zq 2025-12-12T21:22:15,238 Building wheels for collected packages: certora-cli-alpha-master 2025-12-12T21:22:15,243 Created temporary directory: /tmp/pip-wheel-gbu3xqkm 2025-12-12T21:22:15,243 Building wheel for certora-cli-alpha-master (setup.py): started 2025-12-12T21:22:15,244 Destination directory: /tmp/pip-wheel-gbu3xqkm 2025-12-12T21:22:15,245 Running command python setup.py bdist_wheel 2025-12-12T21:22:16,109 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-12-12T21:22:16,109 !! 2025-12-12T21:22:16,111 ******************************************************************************** 2025-12-12T21:22:16,111 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-12-12T21:22:16,113 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-12-12T21:22:16,114 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-12-12T21:22:16,114 ******************************************************************************** 2025-12-12T21:22:16,115 !! 2025-12-12T21:22:16,116 self._finalize_license_expression() 2025-12-12T21:22:16,117 running bdist_wheel 2025-12-12T21:22:16,247 running build 2025-12-12T21:22:16,248 running build_py 2025-12-12T21:22:16,279 creating build/lib/certora_jars 2025-12-12T21:22:16,281 copying certora_jars/__init__.py -> build/lib/certora_jars 2025-12-12T21:22:16,283 creating build/lib/certora_bins 2025-12-12T21:22:16,284 copying certora_bins/__init__.py -> build/lib/certora_bins 2025-12-12T21:22:16,288 creating build/lib/certora_cli 2025-12-12T21:22:16,289 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2025-12-12T21:22:16,291 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2025-12-12T21:22:16,293 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2025-12-12T21:22:16,295 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2025-12-12T21:22:16,297 copying certora_cli/__init__.py -> build/lib/certora_cli 2025-12-12T21:22:16,298 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2025-12-12T21:22:16,300 copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli 2025-12-12T21:22:16,303 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2025-12-12T21:22:16,305 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2025-12-12T21:22:16,307 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2025-12-12T21:22:16,308 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2025-12-12T21:22:16,310 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2025-12-12T21:22:16,314 creating build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,315 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,317 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,319 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,321 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,323 copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,325 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,327 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,330 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,332 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,334 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,336 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,338 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,340 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,343 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,349 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,352 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,355 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,357 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,360 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,362 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,364 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,366 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,368 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,370 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,374 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,376 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,378 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,380 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,382 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,384 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2025-12-12T21:22:16,387 creating build/lib/certora_cli/Shared 2025-12-12T21:22:16,388 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2025-12-12T21:22:16,390 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2025-12-12T21:22:16,393 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2025-12-12T21:22:16,396 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2025-12-12T21:22:16,397 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2025-12-12T21:22:16,400 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2025-12-12T21:22:16,402 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2025-12-12T21:22:16,405 creating build/lib/certora_cli/EquivalenceCheck 2025-12-12T21:22:16,406 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2025-12-12T21:22:16,409 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2025-12-12T21:22:16,411 creating build/lib/certora_cli/Mutate 2025-12-12T21:22:16,412 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2025-12-12T21:22:16,413 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2025-12-12T21:22:16,416 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2025-12-12T21:22:16,419 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2025-12-12T21:22:16,421 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2025-12-12T21:22:16,423 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2025-12-12T21:22:16,426 creating build/lib/certora_cli/CertoraProver/Compiler 2025-12-12T21:22:16,427 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-12T21:22:16,429 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-12T21:22:16,431 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-12T21:22:16,433 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-12T21:22:16,436 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-12T21:22:16,438 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-12T21:22:16,440 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-12T21:22:16,443 running egg_info 2025-12-12T21:22:16,471 writing certora_cli_alpha_master.egg-info/PKG-INFO 2025-12-12T21:22:16,474 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2025-12-12T21:22:16,476 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2025-12-12T21:22:16,478 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2025-12-12T21:22:16,479 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2025-12-12T21:22:16,521 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-12T21:22:16,532 reading manifest template 'MANIFEST.in' 2025-12-12T21:22:16,539 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-12-12T21:22:16,690 adding license file 'LICENSE' 2025-12-12T21:22:16,696 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-12T21:22:16,702 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2025-12-12T21:22:17,023 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2025-12-12T21:22:17,025 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2025-12-12T21:22:17,350 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2025-12-12T21:22:17,353 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-12T21:22:17,355 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-12T21:22:17,358 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2025-12-12T21:22:17,360 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-12T21:22:17,363 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-12T21:22:17,400 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-12-12T21:22:17,400 !! 2025-12-12T21:22:17,401 ******************************************************************************** 2025-12-12T21:22:17,402 Please avoid running ``setup.py`` directly. 2025-12-12T21:22:17,402 Instead, use pypa/build, pypa/installer or other 2025-12-12T21:22:17,403 standards-based tools. 2025-12-12T21:22:17,404 This deprecation is overdue, please update your project and remove deprecated 2025-12-12T21:22:17,404 calls to avoid build errors in the future. 2025-12-12T21:22:17,405 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-12-12T21:22:17,406 ******************************************************************************** 2025-12-12T21:22:17,407 !! 2025-12-12T21:22:17,407 self.initialize_options() 2025-12-12T21:22:17,432 installing to build/bdist.linux-armv7l/wheel 2025-12-12T21:22:17,433 running install 2025-12-12T21:22:17,457 running install_lib 2025-12-12T21:22:17,485 creating build/bdist.linux-armv7l/wheel 2025-12-12T21:22:17,488 creating build/bdist.linux-armv7l/wheel/certora_jars 2025-12-12T21:22:17,489 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-12T21:22:17,833 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-12T21:22:17,835 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-12T21:22:18,157 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-12T21:22:18,160 creating build/bdist.linux-armv7l/wheel/certora_bins 2025-12-12T21:22:18,161 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2025-12-12T21:22:18,164 creating build/bdist.linux-armv7l/wheel/certora_cli 2025-12-12T21:22:18,166 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2025-12-12T21:22:18,167 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,171 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,173 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,176 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,178 copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,181 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,184 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,186 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,189 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,191 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,193 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,196 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,198 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,201 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,207 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,210 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,213 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,215 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,219 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,221 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,224 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,226 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,228 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,231 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,235 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,238 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,240 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,243 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,246 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,248 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2025-12-12T21:22:18,250 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-12T21:22:18,252 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-12T21:22:18,255 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-12T21:22:18,257 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-12T21:22:18,261 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-12T21:22:18,264 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-12T21:22:18,266 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-12T21:22:18,269 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-12T21:22:18,272 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-12T21:22:18,274 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-12T21:22:18,277 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2025-12-12T21:22:18,278 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-12T21:22:18,281 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-12T21:22:18,284 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-12T21:22:18,287 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-12T21:22:18,289 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-12T21:22:18,293 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-12T21:22:18,296 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-12T21:22:18,299 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-12T21:22:18,301 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-12T21:22:18,303 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2025-12-12T21:22:18,304 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-12T21:22:18,306 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-12T21:22:18,308 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-12T21:22:18,311 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-12T21:22:18,314 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-12T21:22:18,316 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-12T21:22:18,317 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-12T21:22:18,319 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-12T21:22:18,321 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-12T21:22:18,323 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-12T21:22:18,325 copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-12T21:22:18,327 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-12T21:22:18,329 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-12T21:22:18,331 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-12T21:22:18,334 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2025-12-12T21:22:18,335 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-12T21:22:18,337 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-12T21:22:18,339 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-12T21:22:18,342 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-12T21:22:18,344 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-12T21:22:18,346 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-12T21:22:18,348 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-12T21:22:18,350 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-12T21:22:18,352 running install_egg_info 2025-12-12T21:22:18,389 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20251212.20.14.684012-py3.11.egg-info 2025-12-12T21:22:18,403 running install_scripts 2025-12-12T21:22:18,419 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20251212.20.14.684012.dist-info/WHEEL 2025-12-12T21:22:18,423 creating '/tmp/pip-wheel-gbu3xqkm/certora_cli_alpha_master-20251212.20.14.684012-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-12-12T21:22:18,425 adding 'certora_bins/__init__.py' 2025-12-12T21:22:18,428 adding 'certora_cli/__init__.py' 2025-12-12T21:22:18,429 adding 'certora_cli/certoraCVLFormatter.py' 2025-12-12T21:22:18,431 adding 'certora_cli/certoraConcord.py' 2025-12-12T21:22:18,433 adding 'certora_cli/certoraEVMProver.py' 2025-12-12T21:22:18,434 adding 'certora_cli/certoraEqCheck.py' 2025-12-12T21:22:18,436 adding 'certora_cli/certoraMutate.py' 2025-12-12T21:22:18,438 adding 'certora_cli/certoraRanger.py' 2025-12-12T21:22:18,440 adding 'certora_cli/certoraRun.py' 2025-12-12T21:22:18,442 adding 'certora_cli/certoraSolanaProver.py' 2025-12-12T21:22:18,444 adding 'certora_cli/certoraSorobanProver.py' 2025-12-12T21:22:18,446 adding 'certora_cli/certoraSuiProver.py' 2025-12-12T21:22:18,449 adding 'certora_cli/rustMutator.py' 2025-12-12T21:22:18,452 adding 'certora_cli/CertoraProver/__init__.py' 2025-12-12T21:22:18,454 adding 'certora_cli/CertoraProver/castingInstrumenter.py' 2025-12-12T21:22:18,456 adding 'certora_cli/CertoraProver/certoraApp.py' 2025-12-12T21:22:18,495 adding 'certora_cli/CertoraProver/certoraBuild.py' 2025-12-12T21:22:18,498 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2025-12-12T21:22:18,501 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2025-12-12T21:22:18,502 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2025-12-12T21:22:18,504 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2025-12-12T21:22:18,510 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2025-12-12T21:22:18,512 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2025-12-12T21:22:18,514 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2025-12-12T21:22:18,516 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2025-12-12T21:22:18,517 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2025-12-12T21:22:18,521 adding 'certora_cli/CertoraProver/certoraContext.py' 2025-12-12T21:22:18,527 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2025-12-12T21:22:18,528 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2025-12-12T21:22:18,534 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2025-12-12T21:22:18,536 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2025-12-12T21:22:18,538 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2025-12-12T21:22:18,540 adding 'certora_cli/CertoraProver/certoraJobList.py' 2025-12-12T21:22:18,544 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2025-12-12T21:22:18,546 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2025-12-12T21:22:18,549 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2025-12-12T21:22:18,552 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2025-12-12T21:22:18,556 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2025-12-12T21:22:18,559 adding 'certora_cli/CertoraProver/certoraType.py' 2025-12-12T21:22:18,561 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2025-12-12T21:22:18,563 adding 'certora_cli/CertoraProver/erc7201.py' 2025-12-12T21:22:18,565 adding 'certora_cli/CertoraProver/splitRules.py' 2025-12-12T21:22:18,568 adding 'certora_cli/CertoraProver/storageExtension.py' 2025-12-12T21:22:18,571 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2025-12-12T21:22:18,573 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2025-12-12T21:22:18,574 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2025-12-12T21:22:18,576 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2025-12-12T21:22:18,584 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2025-12-12T21:22:18,587 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2025-12-12T21:22:18,589 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2025-12-12T21:22:18,591 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2025-12-12T21:22:18,593 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2025-12-12T21:22:18,595 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2025-12-12T21:22:18,597 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2025-12-12T21:22:18,599 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2025-12-12T21:22:18,600 adding 'certora_cli/EquivalenceCheck/__init__.py' 2025-12-12T21:22:18,604 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2025-12-12T21:22:18,605 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2025-12-12T21:22:18,608 adding 'certora_cli/Mutate/__init__.py' 2025-12-12T21:22:18,618 adding 'certora_cli/Mutate/mutateApp.py' 2025-12-12T21:22:18,620 adding 'certora_cli/Mutate/mutateAttributes.py' 2025-12-12T21:22:18,622 adding 'certora_cli/Mutate/mutateConstants.py' 2025-12-12T21:22:18,624 adding 'certora_cli/Mutate/mutateUtil.py' 2025-12-12T21:22:18,626 adding 'certora_cli/Mutate/mutateValidate.py' 2025-12-12T21:22:18,629 adding 'certora_cli/Shared/ExpectedComparator.py' 2025-12-12T21:22:18,631 adding 'certora_cli/Shared/__init__.py' 2025-12-12T21:22:18,633 adding 'certora_cli/Shared/certoraAttrUtil.py' 2025-12-12T21:22:18,635 adding 'certora_cli/Shared/certoraLogging.py' 2025-12-12T21:22:18,643 adding 'certora_cli/Shared/certoraUtils.py' 2025-12-12T21:22:18,649 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2025-12-12T21:22:18,652 adding 'certora_cli/Shared/proverCommon.py' 2025-12-12T21:22:18,654 adding 'certora_cli_alpha_master-20251212.20.14.684012.dist-info/licenses/LICENSE' 2025-12-12T21:22:21,096 adding 'certora_jars/ASTExtraction.jar' 2025-12-12T21:22:21,233 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2025-12-12T21:22:23,674 adding 'certora_jars/Typechecker.jar' 2025-12-12T21:22:23,810 adding 'certora_jars/__init__.py' 2025-12-12T21:22:23,811 adding 'certora_cli_alpha_master-20251212.20.14.684012.dist-info/METADATA' 2025-12-12T21:22:23,813 adding 'certora_cli_alpha_master-20251212.20.14.684012.dist-info/WHEEL' 2025-12-12T21:22:23,814 adding 'certora_cli_alpha_master-20251212.20.14.684012.dist-info/entry_points.txt' 2025-12-12T21:22:23,815 adding 'certora_cli_alpha_master-20251212.20.14.684012.dist-info/top_level.txt' 2025-12-12T21:22:23,817 adding 'certora_cli_alpha_master-20251212.20.14.684012.dist-info/RECORD' 2025-12-12T21:22:24,269 removing build/bdist.linux-armv7l/wheel 2025-12-12T21:22:24,414 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2025-12-12T21:22:25,749 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20251212.20.14.684012-py3-none-any.whl size=40894373 sha256=bad81609c4787a06344b1a208bdd3a22721f5301fd88ae5a6e280d7f14cfbf43 2025-12-12T21:22:25,751 Stored in directory: /tmp/pip-ephem-wheel-cache-94bxosfy/wheels/89/d1/3e/978fdcc149179efd68d25c039a45abf7e9d71690aa6de4e39d 2025-12-12T21:22:30,269 Successfully built certora-cli-alpha-master 2025-12-12T21:22:31,809 Removed build tracker: '/tmp/pip-build-tracker-z9e7pusw'