2025-06-07T12:57:17,757 Created temporary directory: /tmp/pip-build-tracker-ide31r80 2025-06-07T12:57:17,758 Initialized build tracking at /tmp/pip-build-tracker-ide31r80 2025-06-07T12:57:17,758 Created build tracker: /tmp/pip-build-tracker-ide31r80 2025-06-07T12:57:17,759 Entered build tracker: /tmp/pip-build-tracker-ide31r80 2025-06-07T12:57:17,760 Created temporary directory: /tmp/pip-wheel-7dql269i 2025-06-07T12:57:17,764 Created temporary directory: /tmp/pip-ephem-wheel-cache-6mycn9ma 2025-06-07T12:57:17,814 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-06-07T12:57:17,816 2 location(s) to search for versions of certora-cli-beta-mirror: 2025-06-07T12:57:17,816 * https://pypi.org/simple/certora-cli-beta-mirror/ 2025-06-07T12:57:17,816 * https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2025-06-07T12:57:17,817 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-beta-mirror/ 2025-06-07T12:57:17,818 Getting page https://pypi.org/simple/certora-cli-beta-mirror/ 2025-06-07T12:57:17,819 Found index url https://pypi.org/simple/ 2025-06-07T12:57:17,969 Fetched page https://pypi.org/simple/certora-cli-beta-mirror/ as application/vnd.pypi.simple.v1+json 2025-06-07T12:57:17,987 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/23/89/ccc42a28cb59cbe15a30f037756c18ffb3ea5d8c676beffb102e78ca9aca/certora_cli_beta_mirror-7.17.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:17,988 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/94/64/a5452ca1c5b031c60ad59619d06a5b08f2a63aee1fe612a5a2ed3731aa24/certora_cli_beta_mirror-7.17.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:17,989 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/97/f7/943dd777549175d73a3e36a4c3c5322a17c3f6450e025d89f22cc2391d9e/certora_cli_beta_mirror-7.17.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:17,990 Found link https://files.pythonhosted.org/packages/78/7b/565eb89fa95f53318cfffdfaf3c30fa425edcab7f5c3ff4132afa5d1498e/certora_cli_beta_mirror-7.17.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.0 2025-06-07T12:57:17,991 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a6/50/a2ec88e48ea527dc6ef78484a6569542247bed9c6480c877fa92fd28c0a9/certora_cli_beta_mirror-7.17.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:17,991 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/92/f7/da44e1276b2bf0310e7178ce74078973c9a93a5a21a856591404b2576318/certora_cli_beta_mirror-7.17.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:17,992 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c2/47/5c875198abbe3bfd099f970f36b5e827db2a6ed46b81daf7d0cc4e5e6f22/certora_cli_beta_mirror-7.17.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:17,993 Found link https://files.pythonhosted.org/packages/1c/36/889047d565e07e872e8a3c9ded451b34f077fe164f26ef2ca34b370322bb/certora_cli_beta_mirror-7.17.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.1 2025-06-07T12:57:17,993 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bd/42/ed7a252b516cd24dd958052ae4f8bee8e5650a8048617e6f9fa5fa5d3933/certora_cli_beta_mirror-7.17.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:17,994 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/57/5a/cb27c4050a2ec26f9a903ae8698a09fa13441dc0b5a757558a1fb5810603/certora_cli_beta_mirror-7.17.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:17,995 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/83/fb/df32c065d881c7126eb5a908dbeac0eb950ada7d41313f8596e40e22a6c4/certora_cli_beta_mirror-7.17.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:17,996 Found link https://files.pythonhosted.org/packages/e0/d3/c71bbf1f5c35d7673495e00a0921496f352c13c4af31b7fca71b82f18bbc/certora_cli_beta_mirror-7.17.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.2 2025-06-07T12:57:17,996 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/7e/06/e51d2f1a35da3bfd056cbd47dc1148ed71a4511b7fac2866860f70351bae/certora_cli_beta_mirror-7.18.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:17,997 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/29/6d/816b30a79c16791d550e7a476653cd16708c3230d880ba6eeed80627d5af/certora_cli_beta_mirror-7.18.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:17,997 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/27/73/f6896058ab65932f1e21d69e2f3cc8b2fc35a9b4ffae9edeb57a814ed1f4/certora_cli_beta_mirror-7.18.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:17,998 Found link https://files.pythonhosted.org/packages/61/67/500481a15ea47b2fca79f0711eb601685a33a3b11b85df4cf4806a4e6284/certora_cli_beta_mirror-7.18.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.0 2025-06-07T12:57:17,998 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ec/0e/7dd4b1ef9ee998336ba8e6ec485b3f8ea2ed1f88368a85a7d5c5c0864811/certora_cli_beta_mirror-7.18.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:17,999 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/fc/03/0c5c2ef1e1d8495ed1be330a6889d42ff1a30297ae8769096a1fcde87a6a/certora_cli_beta_mirror-7.18.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,000 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/84/56/bb057e2ec19e619a885ad344ce7d993dfcbd96bc455873e4de96ab48676c/certora_cli_beta_mirror-7.18.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,001 Found link https://files.pythonhosted.org/packages/9a/3d/9c21579a44707f6211fbbe0d57f8939f73a83d3b5cf57731446f84c4c803/certora_cli_beta_mirror-7.18.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.1 2025-06-07T12:57:18,001 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a1/71/6e7d65a712bb5c447394fa1873f3f6a0eca92c803b41cdc0edc7df36ad0e/certora_cli_beta_mirror-7.18.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,002 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/86/e9/a6d0865aee4a2280d94fe73732faab3d6cd275bdc9fb48dd84f8791bb49a/certora_cli_beta_mirror-7.18.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,003 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/5e/ca/ca3d250450f59b38a481a903840e9f828dbf701b0e07207dab77a3fed861/certora_cli_beta_mirror-7.18.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,003 Found link https://files.pythonhosted.org/packages/80/32/2dc6aff1d5b484ec3ebc4872accb93a68ea7af7a4086e241a798c132ccf4/certora_cli_beta_mirror-7.18.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.2 2025-06-07T12:57:18,004 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/85/7f/b2df9b936804c70ba85705060eb193ec6c9e39154e4c5691d7fc655aacb9/certora_cli_beta_mirror-7.19.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,005 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/93/fc/86b03fefa7d535721e4256e1df8d4a51d729edfd9b21ddb7c1a89f1f4dc1/certora_cli_beta_mirror-7.19.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,005 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bc/52/bd815baf5ef6f806ce28f1a37cc73d94a8d33756864f5d663311cfbaa135/certora_cli_beta_mirror-7.19.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,006 Found link https://files.pythonhosted.org/packages/99/9c/0c1ad853c72304b7b70b773b5df52857d482dfe2c15fca3567d4e3499077/certora_cli_beta_mirror-7.19.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.19.0 2025-06-07T12:57:18,006 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/13/48/0247f8a6170a253ee932c31debb1f05c4d082067267a11b66d2e07160bd9/certora_cli_beta_mirror-7.20.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,007 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/cf/34/a220dea233a087e544b06e7197f10dbc4348d2641fb7969848a7e6449b13/certora_cli_beta_mirror-7.20.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,008 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/6c/5e/c30f3ec564f17149db1e5dabe8430b3816b74e59766e063106d3d6d4d93a/certora_cli_beta_mirror-7.20.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,008 Found link https://files.pythonhosted.org/packages/a0/d7/b336403ddc64b9a5600bff1ff8de6d2a04d00f1e78cf857476f51c8853a7/certora_cli_beta_mirror-7.20.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.20.0 2025-06-07T12:57:18,009 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/eb/40/4c779731cd1e2384e6cc0aa80bdddf842bf593f23e4e53db4de63d07435a/certora_cli_beta_mirror-7.20.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,010 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/5f/13/c578f2133318dc976cc8237b9b632eca98c0912935b5b818b50c4762349f/certora_cli_beta_mirror-7.20.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,010 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/71/97/eb53aec447e3cda70dcecacce1772a7786c1c1d9d5d0b5dfae4620a6bbc9/certora_cli_beta_mirror-7.20.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,011 Found link https://files.pythonhosted.org/packages/d1/80/335fe727c35691a4f8da89731fd8bf9d6eb2ebf66c7ecf50f8e17f811a30/certora_cli_beta_mirror-7.20.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.20.1 2025-06-07T12:57:18,012 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/18/0f/0ca1db6b683c0a2eb6d6ea84e0c4e1a900fc1bfa03e8aadff43e0fbea03f/certora_cli_beta_mirror-7.20.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,013 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/02/cb/9a5ed79fb84d7bfaa7936d3a044e68d5d43c79a35c495265295d31c3c3f6/certora_cli_beta_mirror-7.20.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,013 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/9d/b2/fa89904c6fa3a61403beb03d43473ce9af42fa5171c33df3351f66e05e20/certora_cli_beta_mirror-7.20.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,014 Found link https://files.pythonhosted.org/packages/64/81/ef3b8418e05fe5fdb328fd748396084d43d168791f49d84b23534e939a06/certora_cli_beta_mirror-7.20.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.20.2 2025-06-07T12:57:18,014 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/08/58/f5b3b14ceebb79f8645e70b460ba0b15240b86ca5d19c7eac8c0d760f465/certora_cli_beta_mirror-7.20.3-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,015 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/be/63/56bbf29bb7ff72ff39bc517d57b239f86815af73b11c822a705a2f05684d/certora_cli_beta_mirror-7.20.3-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,015 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/78/00/c6dae0d93916b1f4cfa4d362b35b49de32f3caac64c09bf8252cc01d104a/certora_cli_beta_mirror-7.20.3-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,016 Found link https://files.pythonhosted.org/packages/77/3e/351e4d13744d848c54e0ae716269a4cd9a4e6965c058806d1aa262115cf7/certora_cli_beta_mirror-7.20.3.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.20.3 2025-06-07T12:57:18,017 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/4c/47/cb52b5235ceb8cbf116c81d1831357a16fcb3a3277f2f5944d963f4b7a93/certora_cli_beta_mirror-7.21.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,017 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/78/32/d027a34cc95d7666b9d5e91987be217f312a22b7230a67e2cc20d3f163ac/certora_cli_beta_mirror-7.21.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,018 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ff/5a/685d05adc064868af79f893af6b37dc627f6203e00436fa0f5de1a144462/certora_cli_beta_mirror-7.21.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,019 Found link https://files.pythonhosted.org/packages/5d/f4/679b88d84270adb87f3da4d035e388d38efa82c305046dd1f0e741e34ffe/certora_cli_beta_mirror-7.21.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.21.0 2025-06-07T12:57:18,020 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/9e/4d/316f5c5d046eb30fb7b97e8dd4403987edaeaff5646b5ed85b6e61b20481/certora_cli_beta_mirror-7.21.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,020 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/7b/8d/67190550a7e6914d347886ea31f54662d3581eb887d8a9cede2812b6bb5b/certora_cli_beta_mirror-7.21.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,021 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/f3/78/e4a92552161c70ae85f3100018c89de792259c88c54602eed720dd684b8b/certora_cli_beta_mirror-7.21.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,021 Found link https://files.pythonhosted.org/packages/a0/3e/97b88a0e8ee5813741d4bd5b37443d6e9f31a58141c31011f7a81a7bee51/certora_cli_beta_mirror-7.21.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.21.1 2025-06-07T12:57:18,022 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/6d/33/9afa57e18ae032c019205bfdc33a17b002c099ff8882ae4e24fc8b9e4dd1/certora_cli_beta_mirror-7.22.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,022 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/0a/38/f20a3d06209b5ec067103f75e72f2b58d87ffb8e6a35ef2ccba9f6cb94ea/certora_cli_beta_mirror-7.22.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,023 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ff/5d/6b8384a56a76c2e18f9357fb603fb962e076790ea084ee1782704b5c4560/certora_cli_beta_mirror-7.22.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,024 Found link https://files.pythonhosted.org/packages/32/de/acefbb1afaeb10a3c235af6b0bb9374caf68f260c46774281e9b74536e2d/certora_cli_beta_mirror-7.22.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.22.0 2025-06-07T12:57:18,025 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/d0/1c/dc16876cb6a3597332ebc0916dc61de876b14d503d16962905e4fcbbb67b/certora_cli_beta_mirror-7.22.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,025 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c2/80/57eb78cbc6bac77164e6745291a1f84552c0097ee88a3bc014a16cc2cb08/certora_cli_beta_mirror-7.22.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,026 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/b7/47/49d8736b02205c89173ae8a4cdab6ba17175b9f3469af072d9f959720837/certora_cli_beta_mirror-7.22.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,026 Found link https://files.pythonhosted.org/packages/e4/c6/bbaec4f8bbd23f365b864875225bf057a18d874e2a735a5ed73510abc9d6/certora_cli_beta_mirror-7.22.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.22.1 2025-06-07T12:57:18,027 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/f2/9f/e0e3bbe4f414451d0b8ab23393073c127ec42058801f4c4642ec159fca10/certora_cli_beta_mirror-7.22.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,028 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bd/db/46c25a4e680ec757831cc6ca42ed53e2215438329c1d8ad9be194c7c9c88/certora_cli_beta_mirror-7.22.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,029 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/85/e6/921e30c8312c6680ca3868a21448298d1a557890e246e638eedae21b8c2a/certora_cli_beta_mirror-7.22.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,029 Found link https://files.pythonhosted.org/packages/98/3a/89e4520a98e965730917f3cd05a14e5a670bdbc6dc8e90555746dc21fe4a/certora_cli_beta_mirror-7.22.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.22.2 2025-06-07T12:57:18,030 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/92/b8/5f6ebbd88e5aea70e6392dcdf2b434cd42a938e455d90ac4adf5a8d2a6f6/certora_cli_beta_mirror-7.22.3-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,030 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/8d/8f/ea34176e76e4726bb7ee5b8291543763a065e849c6be8ba7d52999696466/certora_cli_beta_mirror-7.22.3-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,031 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/3e/33/fc60d7d46962ab0a0024212e34a77bc09bf06c8bd385ac5c5aa2bb0bd31f/certora_cli_beta_mirror-7.22.3-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,032 Found link https://files.pythonhosted.org/packages/f2/83/0d5f9d168f6cf24f7f2f7cb62310381344f800b69f72b162317332bf57bc/certora_cli_beta_mirror-7.22.3.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.22.3 2025-06-07T12:57:18,033 Found link https://files.pythonhosted.org/packages/9a/78/f465984c1131c4c3f31392f567ddac671d1ce1ba32af2f2c5aad3bbde46c/certora-cli-beta-mirror-7.23.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.23.0 2025-06-07T12:57:18,033 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/23/db/f845d8ba6bc3e7cb4db9b59e57cf6f30baf2990aa3e4c57af06ef71d8fbb/certora_cli_beta_mirror-7.23.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,034 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/d9/08/16b948ee5fbe423721aec9c6d8d79173fe5355b5ff1623df9c3312e4c818/certora_cli_beta_mirror-7.23.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,035 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/db/f0/21e19e9629eb0f2e03c6b4e8f4ed36d3907b84fbe69d76238c177d7b1295/certora_cli_beta_mirror-7.23.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,035 Found link https://files.pythonhosted.org/packages/03/61/c7ae4e9aa534ab6465c2a9751f25390eba26ab2d91ad45bd1e724ddc57e1/certora-cli-beta-mirror-7.24.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.24.0 2025-06-07T12:57:18,036 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/b3/ed/1c559b0a34ddf959be68c1569b39f7458296b7dd28c8bb362ec1a9c203e8/certora_cli_beta_mirror-7.24.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,037 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/e5/4c/ccc83ce0e8f8e63c53d927660b7ee5448279819b2a35c38c2050a1bde2fa/certora_cli_beta_mirror-7.24.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,037 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/6a/70/38fdd27353c1287b13b51878d97517a01b0ff17b76b234aa189aaee912eb/certora_cli_beta_mirror-7.24.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,038 Found link https://files.pythonhosted.org/packages/3f/db/80753385076aa1ce489ef1fb34b03ed74e18945d0b8cc5e327e8213e6935/certora-cli-beta-mirror-7.25.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.25.0 2025-06-07T12:57:18,038 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c9/6d/731944b7b20d17e76472ce542f475643177197e31056dcad8ff76497bca6/certora_cli_beta_mirror-7.25.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,039 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/46/65/718b20513d860475000794001b276aa307069aaf49ed1bb7ab9a063e2b30/certora_cli_beta_mirror-7.25.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,039 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/f0/b6/3dc1362fe5ecfc2aafc8b066bd778fa6cc088ca1fa457b8b890b5ee62ba3/certora_cli_beta_mirror-7.25.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,040 Found link https://files.pythonhosted.org/packages/4d/d9/0b54cef25b675a9d87d7922936674a52f636ac48f917a83f2ce5e9f3d2e5/certora-cli-beta-mirror-7.25.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.25.1 2025-06-07T12:57:18,041 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ec/51/de3df2adfb4084379be7886797599bcc64bba37295492eb19afbf020beb1/certora_cli_beta_mirror-7.25.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,042 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/48/84/d62e84ac4e613c3cdedc98c83f7c01e8ca565c66ee26f38571d5333d5d55/certora_cli_beta_mirror-7.25.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,042 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/84/47/63fa210be60fc0e02793816c97ddc3c0bcd9f228da86e308b96d3d7e313f/certora_cli_beta_mirror-7.25.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,043 Found link https://files.pythonhosted.org/packages/59/22/64bd5b1f08075ed76cbdb4ca4fc58bb03b7fcf517b28828c346a659df744/certora-cli-beta-mirror-7.25.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.25.2 2025-06-07T12:57:18,044 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c8/ed/374586d47872c4ab96ccf96cfae290764a16b4c702623564f37c5a1ee576/certora_cli_beta_mirror-7.25.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,045 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/83/77/c9afda33bedcd7217e07c20fe43a828174922f273f404ee8c9c03c9ea93f/certora_cli_beta_mirror-7.25.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,045 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/76/be/96fa884ef6b8f9c29485d5860ba7bdf7db43eb0de9bdd03674260584a97f/certora_cli_beta_mirror-7.25.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,046 Found link https://files.pythonhosted.org/packages/87/a7/232e29c0d3c6c2a3418e165a9c085a7c75779350adffcd379e8ee3405f98/certora-cli-beta-mirror-7.25.3.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.25.3 2025-06-07T12:57:18,046 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/7a/a8/53d3bde7cc864cef02676db7b5396a5b3f6f3a59b2c6606c192b3e4d3936/certora_cli_beta_mirror-7.25.3-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,047 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/40/65/a55c189f2e026eea54e921901b7fca6519e7f5883ca3b8a85bff6d3a712e/certora_cli_beta_mirror-7.25.3-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,047 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/3b/c4/8e0438c4d9f7d28a07ee2a5bb069be1ef3d7693e323ad1e03438e9f3586a/certora_cli_beta_mirror-7.25.3-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,048 Found link https://files.pythonhosted.org/packages/ac/93/bbdf9731450f3ebd561db349114f9c45679a3df1842bcb0c96c8dafd5a6d/certora-cli-beta-mirror-7.25.4.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.25.4 2025-06-07T12:57:18,049 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/55/9e/748b0b890fe091fd5aa10f6d359bc4b4311948f1062613b2d7ed063ea006/certora_cli_beta_mirror-7.25.4-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,049 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/d7/f2/c9ace2f4ed845f47f65b1e964c1ec525b2ea082e1b9abe71f54a3ae04d65/certora_cli_beta_mirror-7.25.4-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,050 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/3c/72/55c1da98201d4b73a4ad0deab193096527f46fab50d9539ee0db1d290e42/certora_cli_beta_mirror-7.25.4-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,051 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a6/1b/94e99b60e6cf98fd96a252ddc6453b8caca5bf37fdba947aa214a54a4038/certora_cli_beta_mirror-7.26.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,051 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/f5/f9/d21db8b47a346b42130c2a6d9217abdcae3b7d49e42e760cf5f2b29a634d/certora_cli_beta_mirror-7.26.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,052 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/31/4a/1efcb52b87a911b98be1d687806729f851ef3f25fe4489fcad64bf71cc1b/certora_cli_beta_mirror-7.26.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,053 Found link https://files.pythonhosted.org/packages/7f/b4/f260563cf51eb5452533c02a474c992b622cc4811ea5eebf9d35b8be11b5/certora_cli_beta_mirror-7.26.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.26.0 2025-06-07T12:57:18,053 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/b6/f9/4d21436995346e15d82c11594a7e045a0cc75a3a735d6bedbeec813e363d/certora_cli_beta_mirror-7.27.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,054 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/e5/3e/67f633e361d0672c69f8414b5169da2b024886d8d83f67697b653932e0e5/certora_cli_beta_mirror-7.27.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,054 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/cb/3f/92977cae5812af8646d79723267df4837815624009d8256f8ea5bd501e93/certora_cli_beta_mirror-7.27.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,055 Found link https://files.pythonhosted.org/packages/4d/c0/d75fc50514c3225ba74e168bff823dfabd1c691564ff4c886d2d6f8f47e8/certora_cli_beta_mirror-7.27.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.27.0 2025-06-07T12:57:18,056 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/12/ee/a9dcb791566655da7b1bae6a86d98a6e4e2afacd0abf5beded0e32341891/certora_cli_beta_mirror-7.27.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,056 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/95/bb/a7e0e998219c73e279835f0eafe06404cf4c8e23b69c0df75c95f6dde130/certora_cli_beta_mirror-7.27.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,057 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/54/e8/49dec5eb3842be50e6d79c9c6a83815abefabcb89105c0c8e4d5e2dd033e/certora_cli_beta_mirror-7.27.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,058 Found link https://files.pythonhosted.org/packages/3a/d0/4e6451e503dc4c6a10ea2dfd6e53dcc707ed462f770d35d1de1233254d89/certora_cli_beta_mirror-7.27.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.27.1 2025-06-07T12:57:18,058 Found link https://files.pythonhosted.org/packages/be/ae/5f7d406acf93d5c8a91b4fbb47549cf99efe6743b6d7ee6680ffb0e5aed7/certora-cli-beta-mirror-7.28.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.28.0 2025-06-07T12:57:18,059 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/91/27/7162e5b54d655fb47876c084f366cfb05900fd3cb3e642ce8ed64ad38d73/certora_cli_beta_mirror-7.28.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,060 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/fb/3f/f14133210d2001d18bf9ab0e2331f93cb8278c8fba173a72cc37a63d6859/certora_cli_beta_mirror-7.28.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,060 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/07/05/9013e54d102cf39cd9ebb30404fd215f77d9c01c657b318da92ff755dc99/certora_cli_beta_mirror-7.28.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,061 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/15/7a/e199170bca3ea7abf28d6232c1e4548f86ef4153db81ce4e15b66c4263ab/certora_cli_beta_mirror-7.29.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,062 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/4f/a9/8a4df0eb3bfb5f1233d7030fb93686a0b2d8bbe97ad30c098fd85e24effc/certora_cli_beta_mirror-7.29.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,062 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/14/8b/cc3ab5db86eaba93eaa8db9050713a21afe49a536761661327f1548cfabe/certora_cli_beta_mirror-7.29.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,063 Found link https://files.pythonhosted.org/packages/9b/8f/812a367804fb181d30020325d5df61ebad0daa26507af3120d2920e1b383/certora_cli_beta_mirror-7.29.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.29.0 2025-06-07T12:57:18,063 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/e6/27/19601527cacb64adcf5d4292147867faabbf5f13f43b6b71d38292f5f710/certora_cli_beta_mirror-7.29.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,064 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/0d/e5/d0ba8981f1b08dae002a661a5561c90dccbed0a1b6b40169232447d4e1f2/certora_cli_beta_mirror-7.29.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,065 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/d9/b0/15084130729049f044bef60d96d86623569b4720ec6469bdcf367ef74bfd/certora_cli_beta_mirror-7.29.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,065 Found link https://files.pythonhosted.org/packages/27/cc/8079c0cf4936d6c0fe6b3825ee1c105f24fe9b4f0a182c0150895240c8ca/certora_cli_beta_mirror-7.29.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.29.1 2025-06-07T12:57:18,066 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/0a/38/f2ce4f85038b220debf85fb3c1885d4f18c349942aaf034547aab171b863/certora_cli_beta_mirror-7.29.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,067 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/80/51/67660d165cfeb0092cdab310e32371497a49c3534ad53cf1961ecec59ecf/certora_cli_beta_mirror-7.29.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,067 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/1a/82/bd6df005efa9ed8ec9f2cf6f0127cae45a50324634e0b6d0ec0aa1a46f2e/certora_cli_beta_mirror-7.29.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,068 Found link https://files.pythonhosted.org/packages/16/fa/65237a02426f5e1f14ebb155f4cf059a1c5b5cd0831016bfd9cd9274974a/certora_cli_beta_mirror-7.29.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.29.2 2025-06-07T12:57:18,069 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c8/34/a4d65cf6c483061dfa183634ccf08390de6c3b7e30cd0e986ece74b7b2b9/certora_cli_beta_mirror-7.29.3-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,070 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/d3/26/10228f128cd35f419904d77c395869a48bbcac061ef0d3ed71929047b287/certora_cli_beta_mirror-7.29.3-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,070 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c8/c9/936163fbf3387ac625f71961093aad74edf91118e03c9e3175d85f27f0ca/certora_cli_beta_mirror-7.29.3-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,071 Found link https://files.pythonhosted.org/packages/ab/7a/d8a90b294c12e16c16fb7125d2f81dd9a0e0dbe62cf5b2af33d23a40d585/certora_cli_beta_mirror-7.29.3.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.29.3 2025-06-07T12:57:18,071 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/1c/28/e678d0ab36a4633607cbd86fbbc0ab35103682755b8ad0cc4aa6a2f4127b/certora_cli_beta_mirror-7.30.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,072 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bb/82/b95e20373c67238e2e59eb863fba013fa71acaf5bb89f2820dd40658d7db/certora_cli_beta_mirror-7.30.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,072 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/d2/87/29732c23cb05a6742b82324ac530ea9649c7273d887d8faa4591a33e70a7/certora_cli_beta_mirror-7.30.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,073 Found link https://files.pythonhosted.org/packages/cc/2f/c544249158d585ee44a06e110ef5ae4aea43d99a6848046446ef41656359/certora_cli_beta_mirror-7.30.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.30.0 2025-06-07T12:57:18,074 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c9/5c/4d47b13fd69c13dc9d7b2bbe161f343b19f9c6a0c6c0f45ca8f73290c683/certora_cli_beta_mirror-7.30.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,074 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/31/2e/384d765990435ad0c77eac94289226679ae9639b098cdeed35b50881ac95/certora_cli_beta_mirror-7.30.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,075 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bd/5a/37228a0967519ad21682630db6d503387aed8614ff818a41418961c14253/certora_cli_beta_mirror-7.30.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,076 Found link https://files.pythonhosted.org/packages/69/95/1f082256098a818d3ae70e0b40303412b8b89d750a2c6d37b36369e85b18/certora_cli_beta_mirror-7.30.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.30.1 2025-06-07T12:57:18,076 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/4e/9b/f2355b3c6b57d2d0f78eeed199360de8e8cd191f83709ed4194bd88cd7f8/certora_cli_beta_mirror-7.31.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,077 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/64/1b/68b82988e0bd56a56795042393d6e0e6784d91b9dae40a4eea78555fda85/certora_cli_beta_mirror-7.31.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,078 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c0/d0/48c5ed99747b8ece4ab8ebfe3d0337389a3a4288bce5b2462bc986a10495/certora_cli_beta_mirror-7.31.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,078 Found link https://files.pythonhosted.org/packages/b5/65/7ce1a3d44c3ea776c08a42fce4c870eebf4fef9048cf1816e09b9e6e3aec/certora_cli_beta_mirror-7.31.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.31.0 2025-06-07T12:57:18,079 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/83/8d/a9ae9d5ab0754884e9fecf5b1949b8e9143845bb198a827a078013d5fec9/certora_cli_beta_mirror-7.31.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,079 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/0c/98/231e88703f6cbe2d1f490ff90a2c1ef910793140db213bd39f7fcee47faa/certora_cli_beta_mirror-7.31.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,080 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/28/0a/5bf72b251a13c85d8ed826df4debb3aa42b0dafd18efe044576b4f94e836/certora_cli_beta_mirror-7.31.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,081 Found link https://files.pythonhosted.org/packages/04/48/716fdbec2dfbd08263dd547a711762a7eec23f94b65235064b94b770f5db/certora_cli_beta_mirror-7.31.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.31.1 2025-06-07T12:57:18,081 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/59/dc/cdd686f16ec05250dae090dc75156ddf782880afec44cdb1ac3f47c42172/certora_cli_beta_mirror-7.31.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,082 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/82/1d/ca87e424e6b93c4c869692e6b8d1c16a5e36946a086a8e6ff0d9c3f81211/certora_cli_beta_mirror-7.31.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,083 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/65/55/e75799804d13d9902cb4874be7a20481fac0d49e105d2c28dce787e2eb6d/certora_cli_beta_mirror-7.31.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-06-07T12:57:18,083 Found link https://files.pythonhosted.org/packages/73/1f/aa8b676ea322c400da28b2c17e0775417a9ff4b5a4314914303cf060833b/certora_cli_beta_mirror-7.31.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.31.2 2025-06-07T12:57:18,084 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/da/4c/9d592d8bc35f1d10504606c070ee494b7109edd859090d63ec995ee9aa4b/certora_cli_beta_mirror-8.0.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9) 2025-06-07T12:57:18,085 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ca/8b/4003b607ae6d8a75cc402ff224c8f3c90b8ae9585ba9b5fb0b10f4ef6dab/certora_cli_beta_mirror-8.0.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9) 2025-06-07T12:57:18,085 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/7c/17/0842ec2119e204ec27e6baa4e747f3b3758b4f6da024cae88859ec083f1f/certora_cli_beta_mirror-8.0.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9) 2025-06-07T12:57:18,086 Found link https://files.pythonhosted.org/packages/23/6a/1df901744be3747e927b1c0ba6571052c1be833b109c2da0fc4e125dc9f7/certora_cli_beta_mirror-8.0.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.0.0 2025-06-07T12:57:18,087 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ca/3d/3c2ffe0fc0a60c4f1fe5ee0e872682b5595e53c97c7aa3b22557ddb9f027/certora_cli_beta_mirror-8.1.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9) 2025-06-07T12:57:18,088 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/da/56/202e69406fb1ff1384588c7a59efa0dcf1bf55c89cc4440e51ce5e79a03a/certora_cli_beta_mirror-8.1.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9) 2025-06-07T12:57:18,088 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/39/00/c0ba4c032a3c6d1559ee1438903956841f51af8f116219f20497e4ed8600/certora_cli_beta_mirror-8.1.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9) 2025-06-07T12:57:18,089 Found link https://files.pythonhosted.org/packages/51/b6/1ea0cc84f05b4e92e35bd762100445100d906224a0896bcd16423c1dde0c/certora_cli_beta_mirror-8.1.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.1.0 2025-06-07T12:57:18,089 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c1/4b/0d6cae2c304732559a5e19a9b47fc8bc2c3346143e019a0e93bd86e69edf/certora_cli_beta_mirror-8.1.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9) 2025-06-07T12:57:18,090 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/00/4e/1b9a078b73ea533e193348278e4834086e98d3d9bee0d7e3e6796be87daf/certora_cli_beta_mirror-8.1.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9) 2025-06-07T12:57:18,091 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/7d/73/3653c170628b9881c64d6f8644f2608cd87e4f3f076734f424ba584aca7c/certora_cli_beta_mirror-8.1.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9) 2025-06-07T12:57:18,092 Found link https://files.pythonhosted.org/packages/9b/90/9054500cfbf0716f17740e200098801e65e79ab24e406d68a918d138eb74/certora_cli_beta_mirror-8.1.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.1.1 2025-06-07T12:57:18,092 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2025-06-07T12:57:18,093 Getting page https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2025-06-07T12:57:18,095 Found index url https://www.piwheels.org/simple/ 2025-06-07T12:57:18,253 WARNING: Retrying (Retry(total=4, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/certora-cli-beta-mirror/ 2025-06-07T12:57:18,908 WARNING: Retrying (Retry(total=3, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/certora-cli-beta-mirror/ 2025-06-07T12:57:20,061 WARNING: Retrying (Retry(total=2, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/certora-cli-beta-mirror/ 2025-06-07T12:57:22,260 WARNING: Retrying (Retry(total=1, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/certora-cli-beta-mirror/ 2025-06-07T12:57:26,486 WARNING: Retrying (Retry(total=0, connect=None, read=None, redirect=None, status=None)) after connection broken by 'SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))': /simple/certora-cli-beta-mirror/ 2025-06-07T12:57:26,698 Could not fetch URL https://www.piwheels.org/simple/certora-cli-beta-mirror/: There was a problem confirming the ssl certificate: HTTPSConnectionPool(host='www.piwheels.org', port=443): Max retries exceeded with url: /simple/certora-cli-beta-mirror/ (Caused by SSLError(SSLCertVerificationError(1, '[SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: certificate is not yet valid (_ssl.c:992)'))) - skipping 2025-06-07T12:57:26,700 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2025-06-07T12:57:26,700 Skipping link: not a file: https://pypi.org/simple/certora-cli-beta-mirror/ 2025-06-07T12:57:26,724 Given no hashes to check 1 links for project 'certora-cli-beta-mirror': discarding no candidates 2025-06-07T12:57:26,726 Collecting certora-cli-beta-mirror==7.29.1 2025-06-07T12:57:26,728 Created temporary directory: /tmp/pip-unpack-c4mhb0u8 2025-06-07T12:57:27,216 Downloading certora_cli_beta_mirror-7.29.1.tar.gz (15.9 MB) 2025-06-07T12:57:30,424 Added certora-cli-beta-mirror==7.29.1 from https://files.pythonhosted.org/packages/27/cc/8079c0cf4936d6c0fe6b3825ee1c105f24fe9b4f0a182c0150895240c8ca/certora_cli_beta_mirror-7.29.1.tar.gz to build tracker '/tmp/pip-build-tracker-ide31r80' 2025-06-07T12:57:30,427 Running setup.py (path:/tmp/pip-wheel-7dql269i/certora-cli-beta-mirror_86dfd5df85a14a87813b93b5433b5025/setup.py) egg_info for package certora-cli-beta-mirror 2025-06-07T12:57:30,427 Created temporary directory: /tmp/pip-pip-egg-info-0kt9li3u 2025-06-07T12:57:30,428 Preparing metadata (setup.py): started 2025-06-07T12:57:30,429 Running command python setup.py egg_info 2025-06-07T12:57:31,281 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-06-07T12:57:31,281 !! 2025-06-07T12:57:31,282 ******************************************************************************** 2025-06-07T12:57:31,283 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-06-07T12:57:31,284 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-06-07T12:57:31,285 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-06-07T12:57:31,286 ******************************************************************************** 2025-06-07T12:57:31,287 !! 2025-06-07T12:57:31,288 self._finalize_license_expression() 2025-06-07T12:57:31,309 running egg_info 2025-06-07T12:57:31,336 creating /tmp/pip-pip-egg-info-0kt9li3u/certora_cli_beta_mirror.egg-info 2025-06-07T12:57:31,337 writing /tmp/pip-pip-egg-info-0kt9li3u/certora_cli_beta_mirror.egg-info/PKG-INFO 2025-06-07T12:57:31,340 writing dependency_links to /tmp/pip-pip-egg-info-0kt9li3u/certora_cli_beta_mirror.egg-info/dependency_links.txt 2025-06-07T12:57:31,342 writing entry points to /tmp/pip-pip-egg-info-0kt9li3u/certora_cli_beta_mirror.egg-info/entry_points.txt 2025-06-07T12:57:31,343 writing requirements to /tmp/pip-pip-egg-info-0kt9li3u/certora_cli_beta_mirror.egg-info/requires.txt 2025-06-07T12:57:31,344 writing top-level names to /tmp/pip-pip-egg-info-0kt9li3u/certora_cli_beta_mirror.egg-info/top_level.txt 2025-06-07T12:57:31,346 writing manifest file '/tmp/pip-pip-egg-info-0kt9li3u/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2025-06-07T12:57:31,440 reading manifest file '/tmp/pip-pip-egg-info-0kt9li3u/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2025-06-07T12:57:31,441 reading manifest template 'MANIFEST.in' 2025-06-07T12:57:31,446 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-06-07T12:57:31,537 adding license file 'LICENSE' 2025-06-07T12:57:31,542 writing manifest file '/tmp/pip-pip-egg-info-0kt9li3u/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2025-06-07T12:57:31,646 Preparing metadata (setup.py): finished with status 'done' 2025-06-07T12:57:31,651 Source in /tmp/pip-wheel-7dql269i/certora-cli-beta-mirror_86dfd5df85a14a87813b93b5433b5025 has version 7.29.1, which satisfies requirement certora-cli-beta-mirror==7.29.1 from https://files.pythonhosted.org/packages/27/cc/8079c0cf4936d6c0fe6b3825ee1c105f24fe9b4f0a182c0150895240c8ca/certora_cli_beta_mirror-7.29.1.tar.gz 2025-06-07T12:57:31,652 Removed certora-cli-beta-mirror==7.29.1 from https://files.pythonhosted.org/packages/27/cc/8079c0cf4936d6c0fe6b3825ee1c105f24fe9b4f0a182c0150895240c8ca/certora_cli_beta_mirror-7.29.1.tar.gz from build tracker '/tmp/pip-build-tracker-ide31r80' 2025-06-07T12:57:31,660 Created temporary directory: /tmp/pip-unpack-v2x3eerz 2025-06-07T12:57:31,661 Created temporary directory: /tmp/pip-unpack-tvzqhx6x 2025-06-07T12:57:31,662 Building wheels for collected packages: certora-cli-beta-mirror 2025-06-07T12:57:31,667 Created temporary directory: /tmp/pip-wheel-l5w1m5nn 2025-06-07T12:57:31,667 DEPRECATION: Building 'certora-cli-beta-mirror' 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-beta-mirror'. Discussion can be found at https://github.com/pypa/pip/issues/6334 2025-06-07T12:57:31,669 Building wheel for certora-cli-beta-mirror (setup.py): started 2025-06-07T12:57:31,670 Destination directory: /tmp/pip-wheel-l5w1m5nn 2025-06-07T12:57:31,671 Running command python setup.py bdist_wheel 2025-06-07T12:57:32,506 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-06-07T12:57:32,507 !! 2025-06-07T12:57:32,508 ******************************************************************************** 2025-06-07T12:57:32,508 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-06-07T12:57:32,510 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-06-07T12:57:32,511 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-06-07T12:57:32,512 ******************************************************************************** 2025-06-07T12:57:32,513 !! 2025-06-07T12:57:32,514 self._finalize_license_expression() 2025-06-07T12:57:32,515 running bdist_wheel 2025-06-07T12:57:32,645 running build 2025-06-07T12:57:32,646 running build_py 2025-06-07T12:57:32,676 creating build/lib/certora_bins 2025-06-07T12:57:32,678 copying certora_bins/__init__.py -> build/lib/certora_bins 2025-06-07T12:57:32,680 creating build/lib/certora_cli 2025-06-07T12:57:32,681 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2025-06-07T12:57:32,684 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2025-06-07T12:57:32,686 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2025-06-07T12:57:32,688 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2025-06-07T12:57:32,690 copying certora_cli/__init__.py -> build/lib/certora_cli 2025-06-07T12:57:32,692 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2025-06-07T12:57:32,694 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2025-06-07T12:57:32,696 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2025-06-07T12:57:32,699 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2025-06-07T12:57:32,703 creating build/lib/certora_jars 2025-06-07T12:57:32,704 copying certora_jars/__init__.py -> build/lib/certora_jars 2025-06-07T12:57:32,708 creating build/lib/certora_cli/EquivalenceCheck 2025-06-07T12:57:32,709 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2025-06-07T12:57:32,711 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2025-06-07T12:57:32,714 creating build/lib/certora_cli/Mutate 2025-06-07T12:57:32,716 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2025-06-07T12:57:32,718 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2025-06-07T12:57:32,720 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2025-06-07T12:57:32,722 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2025-06-07T12:57:32,724 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2025-06-07T12:57:32,727 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2025-06-07T12:57:32,732 creating build/lib/certora_cli/Shared 2025-06-07T12:57:32,733 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2025-06-07T12:57:32,737 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2025-06-07T12:57:32,739 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2025-06-07T12:57:32,742 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2025-06-07T12:57:32,745 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2025-06-07T12:57:32,748 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2025-06-07T12:57:32,752 creating build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,753 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,756 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,759 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,761 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,764 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,766 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,772 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,777 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,779 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,782 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,785 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,788 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,790 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,792 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,794 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,797 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,800 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,802 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,804 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,808 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,811 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,814 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,816 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,819 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,821 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2025-06-07T12:57:32,825 creating build/lib/certora_cli/CertoraProver/Compiler 2025-06-07T12:57:32,826 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-06-07T12:57:32,829 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-06-07T12:57:32,831 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-06-07T12:57:32,833 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-06-07T12:57:32,836 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-06-07T12:57:32,839 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-06-07T12:57:32,841 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-06-07T12:57:32,843 running egg_info 2025-06-07T12:57:32,871 writing certora_cli_beta_mirror.egg-info/PKG-INFO 2025-06-07T12:57:32,874 writing dependency_links to certora_cli_beta_mirror.egg-info/dependency_links.txt 2025-06-07T12:57:32,876 writing entry points to certora_cli_beta_mirror.egg-info/entry_points.txt 2025-06-07T12:57:32,878 writing requirements to certora_cli_beta_mirror.egg-info/requires.txt 2025-06-07T12:57:32,880 writing top-level names to certora_cli_beta_mirror.egg-info/top_level.txt 2025-06-07T12:57:32,918 reading manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt' 2025-06-07T12:57:32,924 reading manifest template 'MANIFEST.in' 2025-06-07T12:57:32,928 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-06-07T12:57:33,014 adding license file 'LICENSE' 2025-06-07T12:57:33,019 writing manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt' 2025-06-07T12:57:33,026 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2025-06-07T12:57:33,028 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2025-06-07T12:57:33,275 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2025-06-07T12:57:33,277 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-06-07T12:57:33,280 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-06-07T12:57:33,282 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2025-06-07T12:57:33,284 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-06-07T12:57:33,286 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2025-06-07T12:57:33,319 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-06-07T12:57:33,320 !! 2025-06-07T12:57:33,320 ******************************************************************************** 2025-06-07T12:57:33,321 Please avoid running ``setup.py`` directly. 2025-06-07T12:57:33,321 Instead, use pypa/build, pypa/installer or other 2025-06-07T12:57:33,322 standards-based tools. 2025-06-07T12:57:33,323 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-06-07T12:57:33,323 or your builds will no longer be supported. 2025-06-07T12:57:33,324 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-06-07T12:57:33,325 ******************************************************************************** 2025-06-07T12:57:33,326 !! 2025-06-07T12:57:33,326 self.initialize_options() 2025-06-07T12:57:33,348 installing to build/bdist.linux-armv7l/wheel 2025-06-07T12:57:33,349 running install 2025-06-07T12:57:33,372 running install_lib 2025-06-07T12:57:33,400 creating build/bdist.linux-armv7l/wheel 2025-06-07T12:57:33,402 creating build/bdist.linux-armv7l/wheel/certora_bins 2025-06-07T12:57:33,403 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2025-06-07T12:57:33,405 creating build/bdist.linux-armv7l/wheel/certora_cli 2025-06-07T12:57:33,406 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-06-07T12:57:33,409 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-06-07T12:57:33,411 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-06-07T12:57:33,413 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2025-06-07T12:57:33,414 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-06-07T12:57:33,416 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-06-07T12:57:33,418 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-06-07T12:57:33,420 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-06-07T12:57:33,422 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-06-07T12:57:33,423 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-06-07T12:57:33,425 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-06-07T12:57:33,427 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-06-07T12:57:33,429 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-06-07T12:57:33,432 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2025-06-07T12:57:33,433 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-06-07T12:57:33,435 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-06-07T12:57:33,437 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-06-07T12:57:33,439 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-06-07T12:57:33,440 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-06-07T12:57:33,443 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-06-07T12:57:33,446 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-06-07T12:57:33,447 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-06-07T12:57:33,449 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-06-07T12:57:33,452 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2025-06-07T12:57:33,453 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-06-07T12:57:33,457 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-06-07T12:57:33,459 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-06-07T12:57:33,461 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-06-07T12:57:33,464 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-06-07T12:57:33,467 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-06-07T12:57:33,469 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-06-07T12:57:33,472 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-06-07T12:57:33,475 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2025-06-07T12:57:33,476 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,479 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,482 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2025-06-07T12:57:33,483 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-06-07T12:57:33,485 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-06-07T12:57:33,487 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-06-07T12:57:33,489 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-06-07T12:57:33,493 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-06-07T12:57:33,496 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-06-07T12:57:33,498 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-06-07T12:57:33,500 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,502 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,504 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,507 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,512 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,515 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,517 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,520 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,522 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,524 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,526 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,528 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,530 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,533 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,535 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,537 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,539 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,542 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,545 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,547 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,550 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,552 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,554 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-06-07T12:57:33,557 creating build/bdist.linux-armv7l/wheel/certora_jars 2025-06-07T12:57:33,558 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-06-07T12:57:33,560 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-06-07T12:57:33,562 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-06-07T12:57:33,802 running install_egg_info 2025-06-07T12:57:33,836 Copying certora_cli_beta_mirror.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_beta_mirror-7.29.1-py3.11.egg-info 2025-06-07T12:57:33,847 running install_scripts 2025-06-07T12:57:33,860 creating build/bdist.linux-armv7l/wheel/certora_cli_beta_mirror-7.29.1.dist-info/WHEEL 2025-06-07T12:57:33,862 creating '/tmp/pip-wheel-l5w1m5nn/certora_cli_beta_mirror-7.29.1-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-06-07T12:57:33,864 adding 'certora_bins/__init__.py' 2025-06-07T12:57:33,866 adding 'certora_cli/__init__.py' 2025-06-07T12:57:33,867 adding 'certora_cli/certoraEVMProver.py' 2025-06-07T12:57:33,868 adding 'certora_cli/certoraEqCheck.py' 2025-06-07T12:57:33,870 adding 'certora_cli/certoraMutate.py' 2025-06-07T12:57:33,871 adding 'certora_cli/certoraRanger.py' 2025-06-07T12:57:33,873 adding 'certora_cli/certoraRun.py' 2025-06-07T12:57:33,875 adding 'certora_cli/certoraSolanaProver.py' 2025-06-07T12:57:33,877 adding 'certora_cli/certoraSorobanProver.py' 2025-06-07T12:57:33,879 adding 'certora_cli/rustMutator.py' 2025-06-07T12:57:33,881 adding 'certora_cli/CertoraProver/__init__.py' 2025-06-07T12:57:33,905 adding 'certora_cli/CertoraProver/certoraBuild.py' 2025-06-07T12:57:33,909 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2025-06-07T12:57:33,911 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2025-06-07T12:57:33,912 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2025-06-07T12:57:33,918 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2025-06-07T12:57:33,921 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2025-06-07T12:57:33,922 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2025-06-07T12:57:33,924 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2025-06-07T12:57:33,925 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2025-06-07T12:57:33,929 adding 'certora_cli/CertoraProver/certoraContext.py' 2025-06-07T12:57:33,934 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2025-06-07T12:57:33,935 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2025-06-07T12:57:33,941 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2025-06-07T12:57:33,943 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2025-06-07T12:57:33,944 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2025-06-07T12:57:33,946 adding 'certora_cli/CertoraProver/certoraJobList.py' 2025-06-07T12:57:33,948 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2025-06-07T12:57:33,949 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2025-06-07T12:57:33,951 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2025-06-07T12:57:33,952 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2025-06-07T12:57:33,955 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2025-06-07T12:57:33,958 adding 'certora_cli/CertoraProver/certoraType.py' 2025-06-07T12:57:33,960 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2025-06-07T12:57:33,962 adding 'certora_cli/CertoraProver/splitRules.py' 2025-06-07T12:57:33,964 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2025-06-07T12:57:33,966 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2025-06-07T12:57:33,968 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2025-06-07T12:57:33,969 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2025-06-07T12:57:33,977 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2025-06-07T12:57:33,978 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2025-06-07T12:57:33,980 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2025-06-07T12:57:33,981 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2025-06-07T12:57:33,983 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2025-06-07T12:57:33,984 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2025-06-07T12:57:33,985 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2025-06-07T12:57:33,986 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2025-06-07T12:57:33,987 adding 'certora_cli/EquivalenceCheck/__init__.py' 2025-06-07T12:57:33,990 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2025-06-07T12:57:33,991 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2025-06-07T12:57:33,993 adding 'certora_cli/Mutate/__init__.py' 2025-06-07T12:57:34,003 adding 'certora_cli/Mutate/mutateApp.py' 2025-06-07T12:57:34,005 adding 'certora_cli/Mutate/mutateAttributes.py' 2025-06-07T12:57:34,006 adding 'certora_cli/Mutate/mutateConstants.py' 2025-06-07T12:57:34,008 adding 'certora_cli/Mutate/mutateUtil.py' 2025-06-07T12:57:34,009 adding 'certora_cli/Mutate/mutateValidate.py' 2025-06-07T12:57:34,012 adding 'certora_cli/Shared/ExpectedComparator.py' 2025-06-07T12:57:34,013 adding 'certora_cli/Shared/__init__.py' 2025-06-07T12:57:34,015 adding 'certora_cli/Shared/certoraAttrUtil.py' 2025-06-07T12:57:34,017 adding 'certora_cli/Shared/certoraLogging.py' 2025-06-07T12:57:34,025 adding 'certora_cli/Shared/certoraUtils.py' 2025-06-07T12:57:34,030 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2025-06-07T12:57:34,032 adding 'certora_cli_beta_mirror-7.29.1.dist-info/licenses/LICENSE' 2025-06-07T12:57:34,034 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2025-06-07T12:57:35,945 adding 'certora_jars/Typechecker.jar' 2025-06-07T12:57:36,051 adding 'certora_jars/__init__.py' 2025-06-07T12:57:36,052 adding 'certora_cli_beta_mirror-7.29.1.dist-info/METADATA' 2025-06-07T12:57:36,053 adding 'certora_cli_beta_mirror-7.29.1.dist-info/WHEEL' 2025-06-07T12:57:36,054 adding 'certora_cli_beta_mirror-7.29.1.dist-info/entry_points.txt' 2025-06-07T12:57:36,055 adding 'certora_cli_beta_mirror-7.29.1.dist-info/top_level.txt' 2025-06-07T12:57:36,057 adding 'certora_cli_beta_mirror-7.29.1.dist-info/RECORD' 2025-06-07T12:57:36,219 removing build/bdist.linux-armv7l/wheel 2025-06-07T12:57:36,349 Building wheel for certora-cli-beta-mirror (setup.py): finished with status 'done' 2025-06-07T12:57:36,508 Created wheel for certora-cli-beta-mirror: filename=certora_cli_beta_mirror-7.29.1-py3-none-any.whl size=15976465 sha256=ad88d6b4964e70cd102078ceb74c16e603e06115dc4a3b64b7a7dcdf033e4fab 2025-06-07T12:57:36,509 Stored in directory: /tmp/pip-ephem-wheel-cache-6mycn9ma/wheels/be/05/75/3012cfdf560033cf9e4a34e991ce75f98abd7cedc0569ffccc 2025-06-07T12:57:36,528 Successfully built certora-cli-beta-mirror 2025-06-07T12:57:36,899 Removed build tracker: '/tmp/pip-build-tracker-ide31r80'