2025-03-07T12:27:45,368 Created temporary directory: /tmp/pip-build-tracker-as_fc6tb
2025-03-07T12:27:45,370 Initialized build tracking at /tmp/pip-build-tracker-as_fc6tb
2025-03-07T12:27:45,370 Created build tracker: /tmp/pip-build-tracker-as_fc6tb
2025-03-07T12:27:45,371 Entered build tracker: /tmp/pip-build-tracker-as_fc6tb
2025-03-07T12:27:45,371 Created temporary directory: /tmp/pip-wheel-sjy8hl02
2025-03-07T12:27:45,375 Created temporary directory: /tmp/pip-ephem-wheel-cache-i9_e183e
2025-03-07T12:27:45,420 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-03-07T12:27:45,423 2 location(s) to search for versions of certora-cli-beta-mirror:
2025-03-07T12:27:45,423 * https://pypi.org/simple/certora-cli-beta-mirror/
2025-03-07T12:27:45,423 * https://www.piwheels.org/simple/certora-cli-beta-mirror/
2025-03-07T12:27:45,423 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-beta-mirror/
2025-03-07T12:27:45,424 Getting page https://pypi.org/simple/certora-cli-beta-mirror/
2025-03-07T12:27:45,426 Found index url https://pypi.org/simple/
2025-03-07T12:27:45,645 Fetched page https://pypi.org/simple/certora-cli-beta-mirror/ as application/vnd.pypi.simple.v1+json
2025-03-07T12:27:45,665   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-03-07T12:27:45,666   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-03-07T12:27:45,666   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-03-07T12:27:45,667   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-03-07T12:27:45,668   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-03-07T12:27:45,669   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-03-07T12:27:45,669   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-03-07T12:27:45,670   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-03-07T12:27:45,671   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-03-07T12:27:45,672   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-03-07T12:27:45,673   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-03-07T12:27:45,674   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-03-07T12:27:45,674   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-03-07T12:27:45,675   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-03-07T12:27:45,675   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-03-07T12:27:45,676   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-03-07T12:27:45,677   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-03-07T12:27:45,678   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-03-07T12:27:45,679   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-03-07T12:27:45,680   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-03-07T12:27:45,681   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-03-07T12:27:45,681   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-03-07T12:27:45,682   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-03-07T12:27:45,683   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-03-07T12:27:45,684   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-03-07T12:27:45,685   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-03-07T12:27:45,685   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-03-07T12:27:45,686   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-03-07T12:27:45,687   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-03-07T12:27:45,687   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-03-07T12:27:45,688   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-03-07T12:27:45,689   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-03-07T12:27:45,690   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-03-07T12:27:45,690   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-03-07T12:27:45,691   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-03-07T12:27:45,692   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-03-07T12:27:45,693   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-03-07T12:27:45,693   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-03-07T12:27:45,694   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-03-07T12:27:45,695   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-03-07T12:27:45,695   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-03-07T12:27:45,696   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-03-07T12:27:45,696   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-03-07T12:27:45,697   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-03-07T12:27:45,698   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-03-07T12:27:45,699   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-03-07T12:27:45,699   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-03-07T12:27:45,700   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-03-07T12:27:45,701   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-03-07T12:27:45,702   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-03-07T12:27:45,702   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-03-07T12:27:45,703   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-03-07T12:27:45,703   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-03-07T12:27:45,704   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-03-07T12:27:45,705   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-03-07T12:27:45,705   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-03-07T12:27:45,706   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-03-07T12:27:45,707   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-03-07T12:27:45,707   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-03-07T12:27:45,708   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-03-07T12:27:45,709   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-03-07T12:27:45,709   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-03-07T12:27:45,710   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-03-07T12:27:45,711   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-03-07T12:27:45,711   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-03-07T12:27:45,712   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-03-07T12:27:45,713   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-03-07T12:27:45,714   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-03-07T12:27:45,715   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-03-07T12:27:45,715   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-03-07T12:27:45,716   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-03-07T12:27:45,716   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-03-07T12:27:45,717   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-03-07T12:27:45,718   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-03-07T12:27:45,719   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-03-07T12:27:45,719   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-03-07T12:27:45,720   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-03-07T12:27:45,721   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-03-07T12:27:45,721   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-03-07T12:27:45,722   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-03-07T12:27:45,722   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-03-07T12:27:45,723   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-03-07T12:27:45,724   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-03-07T12:27:45,724   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-03-07T12:27:45,725   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-03-07T12:27:45,726   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-03-07T12:27:45,727   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-03-07T12:27:45,727   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-03-07T12:27:45,728   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-03-07T12:27:45,729   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-03-07T12:27:45,729   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-03-07T12:27:45,730   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-03-07T12:27:45,730   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-03-07T12:27:45,731   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-03-07T12:27:45,731   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-03-07T12:27:45,732   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-03-07T12:27:45,733   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-03-07T12:27:45,733   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-03-07T12:27:45,734   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-03-07T12:27:45,735   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-03-07T12:27:45,736 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2025-03-07T12:27:45,737 Getting page https://www.piwheels.org/simple/certora-cli-beta-mirror/
2025-03-07T12:27:45,738 Found index url https://www.piwheels.org/simple/
2025-03-07T12:27:45,902 Fetched page https://www.piwheels.org/simple/certora-cli-beta-mirror/ as text/html
2025-03-07T12:27:45,910   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.25.4-py3-none-any.whl#sha256=206a5327f9d3ce3dbeb197bf90e2830d9cecb09fb72f5d5ef129c9a7f46c4a81 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,911   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.25.3-py3-none-any.whl#sha256=fdd99550b693dc8cebe62c3094f5eb32ea6b45b168144c93a9532704377dc324 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,911   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.25.2-py3-none-any.whl#sha256=2eb7e42b98b09cec412b46058a1c57b83b8f81643bab7876e56527993ccd511d (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,912   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.25.1-py3-none-any.whl#sha256=dd6c48747d206fc06e8f7291cee9e8fc4c0b2361077a209f3b43f877612ccdbc (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,912   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.25.0-py3-none-any.whl#sha256=b1cd6e4bc5f628b0cc2f2b0ddb2b5ef5ae9a553b1bc24f46a21778c11bde805f (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,913   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.24.0-py3-none-any.whl#sha256=bcbbeefc1f46fb7c1d6cd411a28bd8a839ac5a858a55b02c73d71aeb34138613 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,914   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.23.0-py3-none-any.whl#sha256=352e498c7b5d5e96eed746df4b9ff496bdb3285b392f7a796ba7c79450f4e193 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,914   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.22.3-py3-none-any.whl#sha256=bed403dda8bad6a8ba92d7deb02dce3a90bc21f080281bbcd9c968d4a1158e7a (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,915   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.22.2-py3-none-any.whl#sha256=7d39a1c1b06eec44f84ea3a2b2eea1845d1ff7690c0c584a584dfac11b416145 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,916   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.22.1-py3-none-any.whl#sha256=eef25c930d749351e10b62d0d7317c6add57dd7d87a305db90196b463356a1b4 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,916   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.22.0-py3-none-any.whl#sha256=2f95c76a8cf8bd34e0dde659efba86692b7b545bf32adc89f8bb7f1ce288a3ed (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,917   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.21.1-py3-none-any.whl#sha256=d909fc52bfd877a3a14326d6540a6b4e6043fc45c872f4f37f18716b17f35a96 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,917   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.21.0-py3-none-any.whl#sha256=a77004cfaeabecf8b217e73379afade3fae63f07d5fd98622b7255f37ca333bc (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,917   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.20.3-py3-none-any.whl#sha256=920125cceac68eeb867a0b15a498aa07e8fea0b706cc1ad8de39c21fe0c41a0c (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,918   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.20.2-py3-none-any.whl#sha256=2bdd1bab361fd277814bc23711d631220a43336e6ff8944ca6f1d02617c7ae8f (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,919   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.20.1-py3-none-any.whl#sha256=4707888361056f07e31e94cc08dbf372e59e7487f05cb4c730b944dcf061af0a (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,919   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.20.0-py3-none-any.whl#sha256=b7c9341056df47cd776d2bafc06bd9841087501e157c803ef371e9aa16dc1779 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,920   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.19.0-py3-none-any.whl#sha256=1bcb60ab34d7f94a973a3dbd828226560c06b711a1a1df64d60c01f0fb45ee67 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,921   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.2-py3-none-any.whl#sha256=e3c4f26d0056c4eadbe9e924c395fe31ba90e0853c6195bdf50b7a7b4f1d9ff9 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,921   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.1-py3-none-any.whl#sha256=46d0114cb857d8b7549c72785815db662370f09ecb136c654fb87cf53b69350e (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,922   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.0-py3-none-any.whl#sha256=e7a42a97fd7829ed5211fc7e1d3e5ed06f3474c0980834d12a288c80587d1bec (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,923   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.2-py3-none-any.whl#sha256=3b8f73ac7166dadd40015cc5d19ba6b315a077d724c497f68d9a3d677a155771 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,923   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.1-py3-none-any.whl#sha256=9618614b09f8a1a9045adf4ef400aeebfc0a15058524dbb0ee24b90111ea721a (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,923   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.0-py3-none-any.whl#sha256=ebd400b65bef47785c001f8de433eee7b13617950ccc62883223c788cf28d6ff (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2025-03-07T12:27:45,924 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2025-03-07T12:27:45,924 Skipping link: not a file: https://pypi.org/simple/certora-cli-beta-mirror/
2025-03-07T12:27:45,947 Given no hashes to check 1 links for project 'certora-cli-beta-mirror': discarding no candidates
2025-03-07T12:27:45,949 Collecting certora-cli-beta-mirror==7.26.0
2025-03-07T12:27:45,951   Created temporary directory: /tmp/pip-unpack-snvb2xlv
2025-03-07T12:27:46,176   Downloading certora_cli_beta_mirror-7.26.0.tar.gz (15.6 MB)
2025-03-07T12:27:49,202   Added certora-cli-beta-mirror==7.26.0 from https://files.pythonhosted.org/packages/7f/b4/f260563cf51eb5452533c02a474c992b622cc4811ea5eebf9d35b8be11b5/certora_cli_beta_mirror-7.26.0.tar.gz to build tracker '/tmp/pip-build-tracker-as_fc6tb'
2025-03-07T12:27:49,205   Running setup.py (path:/tmp/pip-wheel-sjy8hl02/certora-cli-beta-mirror_b3513ca4b3de485d9d1b951356b16390/setup.py) egg_info for package certora-cli-beta-mirror
2025-03-07T12:27:49,206   Created temporary directory: /tmp/pip-pip-egg-info-lio8s4_k
2025-03-07T12:27:49,207   Preparing metadata (setup.py): started
2025-03-07T12:27:49,208   Running command python setup.py egg_info
2025-03-07T12:27:50,318   running egg_info
2025-03-07T12:27:50,346   creating /tmp/pip-pip-egg-info-lio8s4_k/certora_cli_beta_mirror.egg-info
2025-03-07T12:27:50,347   writing /tmp/pip-pip-egg-info-lio8s4_k/certora_cli_beta_mirror.egg-info/PKG-INFO
2025-03-07T12:27:50,351   writing dependency_links to /tmp/pip-pip-egg-info-lio8s4_k/certora_cli_beta_mirror.egg-info/dependency_links.txt
2025-03-07T12:27:50,352   writing entry points to /tmp/pip-pip-egg-info-lio8s4_k/certora_cli_beta_mirror.egg-info/entry_points.txt
2025-03-07T12:27:50,354   writing requirements to /tmp/pip-pip-egg-info-lio8s4_k/certora_cli_beta_mirror.egg-info/requires.txt
2025-03-07T12:27:50,355   writing top-level names to /tmp/pip-pip-egg-info-lio8s4_k/certora_cli_beta_mirror.egg-info/top_level.txt
2025-03-07T12:27:50,357   writing manifest file '/tmp/pip-pip-egg-info-lio8s4_k/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2025-03-07T12:27:50,453   reading manifest file '/tmp/pip-pip-egg-info-lio8s4_k/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2025-03-07T12:27:50,455   reading manifest template 'MANIFEST.in'
2025-03-07T12:27:50,459   warning: no files found matching 'gambit' under directory 'certora_bins'
2025-03-07T12:27:50,539   adding license file 'LICENSE'
2025-03-07T12:27:50,544   writing manifest file '/tmp/pip-pip-egg-info-lio8s4_k/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2025-03-07T12:27:50,653   Preparing metadata (setup.py): finished with status 'done'
2025-03-07T12:27:50,657   Source in /tmp/pip-wheel-sjy8hl02/certora-cli-beta-mirror_b3513ca4b3de485d9d1b951356b16390 has version 7.26.0, which satisfies requirement certora-cli-beta-mirror==7.26.0 from https://files.pythonhosted.org/packages/7f/b4/f260563cf51eb5452533c02a474c992b622cc4811ea5eebf9d35b8be11b5/certora_cli_beta_mirror-7.26.0.tar.gz
2025-03-07T12:27:50,658   Removed certora-cli-beta-mirror==7.26.0 from https://files.pythonhosted.org/packages/7f/b4/f260563cf51eb5452533c02a474c992b622cc4811ea5eebf9d35b8be11b5/certora_cli_beta_mirror-7.26.0.tar.gz from build tracker '/tmp/pip-build-tracker-as_fc6tb'
2025-03-07T12:27:50,665 Created temporary directory: /tmp/pip-unpack-cpedtlxv
2025-03-07T12:27:50,666 Created temporary directory: /tmp/pip-unpack-d4qx2_ce
2025-03-07T12:27:50,666 Building wheels for collected packages: certora-cli-beta-mirror
2025-03-07T12:27:50,670   Created temporary directory: /tmp/pip-wheel-goz593t1
2025-03-07T12:27:50,671   Building wheel for certora-cli-beta-mirror (setup.py): started
2025-03-07T12:27:50,672   Destination directory: /tmp/pip-wheel-goz593t1
2025-03-07T12:27:50,672   Running command python setup.py bdist_wheel
2025-03-07T12:27:51,695   running bdist_wheel
2025-03-07T12:27:51,847   running build
2025-03-07T12:27:51,848   running build_py
2025-03-07T12:27:51,878   creating build/lib/certora_jars
2025-03-07T12:27:51,881   copying certora_jars/__init__.py -> build/lib/certora_jars
2025-03-07T12:27:51,883   creating build/lib/certora_bins
2025-03-07T12:27:51,885   copying certora_bins/__init__.py -> build/lib/certora_bins
2025-03-07T12:27:51,887   creating build/lib/certora_cli
2025-03-07T12:27:51,889   copying certora_cli/rustMutator.py -> build/lib/certora_cli
2025-03-07T12:27:51,891   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2025-03-07T12:27:51,894   copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli
2025-03-07T12:27:51,895   copying certora_cli/__init__.py -> build/lib/certora_cli
2025-03-07T12:27:51,897   copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli
2025-03-07T12:27:51,900   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2025-03-07T12:27:51,902   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2025-03-07T12:27:51,904   copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli
2025-03-07T12:27:51,907   creating build/lib/certora_cli/Mutate
2025-03-07T12:27:51,908   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2025-03-07T12:27:51,912   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2025-03-07T12:27:51,914   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2025-03-07T12:27:51,916   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2025-03-07T12:27:51,918   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2025-03-07T12:27:51,920   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2025-03-07T12:27:51,924   creating build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,925   copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,929   copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,936   copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,939   copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,942   copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,945   copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,947   copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,950   copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,954   copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,956   copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,959   copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,961   copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,964   copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,966   copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,969   copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,971   copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,973   copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,975   copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,977   copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,979   copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,981   copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,983   copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,986   copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,988   copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver
2025-03-07T12:27:51,990   creating build/lib/certora_cli/EquivalenceCheck
2025-03-07T12:27:51,991   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2025-03-07T12:27:51,993   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2025-03-07T12:27:51,996   creating build/lib/certora_cli/Shared
2025-03-07T12:27:51,998   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2025-03-07T12:27:52,000   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2025-03-07T12:27:52,002   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2025-03-07T12:27:52,005   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2025-03-07T12:27:52,008   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2025-03-07T12:27:52,011   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2025-03-07T12:27:52,014   creating build/lib/certora_cli/CertoraProver/Compiler
2025-03-07T12:27:52,015   copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-07T12:27:52,018   copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-07T12:27:52,021   copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-07T12:27:52,022   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-07T12:27:52,024   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-07T12:27:52,026   copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-07T12:27:52,030   copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-07T12:27:52,032   running egg_info
2025-03-07T12:27:52,059   writing certora_cli_beta_mirror.egg-info/PKG-INFO
2025-03-07T12:27:52,062   writing dependency_links to certora_cli_beta_mirror.egg-info/dependency_links.txt
2025-03-07T12:27:52,064   writing entry points to certora_cli_beta_mirror.egg-info/entry_points.txt
2025-03-07T12:27:52,065   writing requirements to certora_cli_beta_mirror.egg-info/requires.txt
2025-03-07T12:27:52,066   writing top-level names to certora_cli_beta_mirror.egg-info/top_level.txt
2025-03-07T12:27:52,105   reading manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2025-03-07T12:27:52,110   reading manifest template 'MANIFEST.in'
2025-03-07T12:27:52,114   warning: no files found matching 'gambit' under directory 'certora_bins'
2025-03-07T12:27:52,244   adding license file 'LICENSE'
2025-03-07T12:27:52,250   writing manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2025-03-07T12:27:52,257   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2025-03-07T12:27:52,259   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2025-03-07T12:27:52,735   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2025-03-07T12:27:52,738   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-03-07T12:27:52,742   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-03-07T12:27:52,747   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2025-03-07T12:27:52,750   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-03-07T12:27:52,754   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2025-03-07T12:27:52,803   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2025-03-07T12:27:52,804   !!

2025-03-07T12:27:52,806           ********************************************************************************
2025-03-07T12:27:52,806           Please avoid running ``setup.py`` directly.
2025-03-07T12:27:52,807           Instead, use pypa/build, pypa/installer or other
2025-03-07T12:27:52,808           standards-based tools.

2025-03-07T12:27:52,810           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2025-03-07T12:27:52,811           ********************************************************************************

2025-03-07T12:27:52,812   !!
2025-03-07T12:27:52,813     self.initialize_options()
2025-03-07T12:27:52,849   installing to build/bdist.linux-armv7l/wheel
2025-03-07T12:27:52,850   running install
2025-03-07T12:27:52,885   running install_lib
2025-03-07T12:27:52,917   creating build/bdist.linux-armv7l/wheel
2025-03-07T12:27:52,920   creating build/bdist.linux-armv7l/wheel/certora_jars
2025-03-07T12:27:52,922   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-03-07T12:27:52,925   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-03-07T12:27:53,491   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-03-07T12:27:53,497   creating build/bdist.linux-armv7l/wheel/certora_bins
2025-03-07T12:27:53,499   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2025-03-07T12:27:53,501   creating build/bdist.linux-armv7l/wheel/certora_cli
2025-03-07T12:27:53,503   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2025-03-07T12:27:53,505   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-03-07T12:27:53,514   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-03-07T12:27:53,516   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-03-07T12:27:53,520   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-03-07T12:27:53,522   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-03-07T12:27:53,525   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-03-07T12:27:53,527   copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-07T12:27:53,530   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-07T12:27:53,536   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver
2025-03-07T12:27:53,538   copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,543   copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,552   copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,554   copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,561   copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,564   copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,567   copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,571   copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,586   copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,589   copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,592   copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,595   copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,600   copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,605   copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,610   copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,614   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler
2025-03-07T12:27:53,616   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-07T12:27:53,622   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-07T12:27:53,626   copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-07T12:27:53,637   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-07T12:27:53,640   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-07T12:27:53,643   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-07T12:27:53,658   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-07T12:27:53,662   copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,665   copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,669   copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,673   copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,676   copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,680   copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,684   copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,688   copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,691   copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-07T12:27:53,695   copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-07T12:27:53,698   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-07T12:27:53,702   copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-07T12:27:53,707   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2025-03-07T12:27:53,709   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-07T12:27:53,713   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-07T12:27:53,716   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-07T12:27:53,719   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-07T12:27:53,722   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-07T12:27:53,726   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-07T12:27:53,729   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-07T12:27:53,735   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-07T12:27:53,739   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2025-03-07T12:27:53,741   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-03-07T12:27:53,746   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-03-07T12:27:53,749   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-03-07T12:27:53,754   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-03-07T12:27:53,759   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-03-07T12:27:53,764   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-03-07T12:27:53,769   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-07T12:27:53,772   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-07T12:27:53,775   copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-07T12:27:53,778   running install_egg_info
2025-03-07T12:27:53,834   Copying certora_cli_beta_mirror.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_beta_mirror-7.26.0-py3.11.egg-info
2025-03-07T12:27:53,850   running install_scripts
2025-03-07T12:27:53,873   creating build/bdist.linux-armv7l/wheel/certora_cli_beta_mirror-7.26.0.dist-info/WHEEL
2025-03-07T12:27:53,877   creating '/tmp/pip-wheel-goz593t1/certora_cli_beta_mirror-7.26.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2025-03-07T12:27:53,880   adding 'certora_bins/__init__.py'
2025-03-07T12:27:53,882   adding 'certora_cli/__init__.py'
2025-03-07T12:27:53,884   adding 'certora_cli/certoraEVMProver.py'
2025-03-07T12:27:53,886   adding 'certora_cli/certoraEqCheck.py'
2025-03-07T12:27:53,888   adding 'certora_cli/certoraMutate.py'
2025-03-07T12:27:53,891   adding 'certora_cli/certoraRun.py'
2025-03-07T12:27:53,893   adding 'certora_cli/certoraSolanaProver.py'
2025-03-07T12:27:53,895   adding 'certora_cli/certoraSorobanProver.py'
2025-03-07T12:27:53,898   adding 'certora_cli/rustMutator.py'
2025-03-07T12:27:53,901   adding 'certora_cli/CertoraProver/__init__.py'
2025-03-07T12:27:53,924   adding 'certora_cli/CertoraProver/certoraBuild.py'
2025-03-07T12:27:53,927   adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py'
2025-03-07T12:27:53,929   adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py'
2025-03-07T12:27:53,931   adding 'certora_cli/CertoraProver/certoraBuildRust.py'
2025-03-07T12:27:53,937   adding 'certora_cli/CertoraProver/certoraCloudIO.py'
2025-03-07T12:27:53,939   adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py'
2025-03-07T12:27:53,940   adding 'certora_cli/CertoraProver/certoraCompilerParameters.py'
2025-03-07T12:27:53,942   adding 'certora_cli/CertoraProver/certoraConfigIO.py'
2025-03-07T12:27:53,945   adding 'certora_cli/CertoraProver/certoraContext.py'
2025-03-07T12:27:53,950   adding 'certora_cli/CertoraProver/certoraContextAttributes.py'
2025-03-07T12:27:53,951   adding 'certora_cli/CertoraProver/certoraContextClass.py'
2025-03-07T12:27:53,957   adding 'certora_cli/CertoraProver/certoraContextValidator.py'
2025-03-07T12:27:53,959   adding 'certora_cli/CertoraProver/certoraContractFuncs.py'
2025-03-07T12:27:53,960   adding 'certora_cli/CertoraProver/certoraExtensionInfo.py'
2025-03-07T12:27:53,962   adding 'certora_cli/CertoraProver/certoraJobList.py'
2025-03-07T12:27:53,964   adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py'
2025-03-07T12:27:53,966   adding 'certora_cli/CertoraProver/certoraNodeFilters.py'
2025-03-07T12:27:53,967   adding 'certora_cli/CertoraProver/certoraParseBuildScript.py'
2025-03-07T12:27:53,969   adding 'certora_cli/CertoraProver/certoraProjectScanner.py'
2025-03-07T12:27:53,971   adding 'certora_cli/CertoraProver/certoraSourceFinders.py'
2025-03-07T12:27:53,975   adding 'certora_cli/CertoraProver/certoraType.py'
2025-03-07T12:27:53,977   adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py'
2025-03-07T12:27:53,979   adding 'certora_cli/CertoraProver/splitRules.py'
2025-03-07T12:27:53,981   adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py'
2025-03-07T12:27:53,983   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py'
2025-03-07T12:27:53,984   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py'
2025-03-07T12:27:53,986   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py'
2025-03-07T12:27:53,993   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py'
2025-03-07T12:27:53,995   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py'
2025-03-07T12:27:53,996   adding 'certora_cli/CertoraProver/Compiler/__init__.py'
2025-03-07T12:27:53,998   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2025-03-07T12:27:53,999   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2025-03-07T12:27:54,000   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2025-03-07T12:27:54,001   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2025-03-07T12:27:54,002   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2025-03-07T12:27:54,003   adding 'certora_cli/EquivalenceCheck/__init__.py'
2025-03-07T12:27:54,006   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2025-03-07T12:27:54,007   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2025-03-07T12:27:54,009   adding 'certora_cli/Mutate/__init__.py'
2025-03-07T12:27:54,019   adding 'certora_cli/Mutate/mutateApp.py'
2025-03-07T12:27:54,021   adding 'certora_cli/Mutate/mutateAttributes.py'
2025-03-07T12:27:54,023   adding 'certora_cli/Mutate/mutateConstants.py'
2025-03-07T12:27:54,024   adding 'certora_cli/Mutate/mutateUtil.py'
2025-03-07T12:27:54,026   adding 'certora_cli/Mutate/mutateValidate.py'
2025-03-07T12:27:54,029   adding 'certora_cli/Shared/ExpectedComparator.py'
2025-03-07T12:27:54,030   adding 'certora_cli/Shared/__init__.py'
2025-03-07T12:27:54,032   adding 'certora_cli/Shared/certoraAttrUtil.py'
2025-03-07T12:27:54,034   adding 'certora_cli/Shared/certoraLogging.py'
2025-03-07T12:27:54,041   adding 'certora_cli/Shared/certoraUtils.py'
2025-03-07T12:27:54,046   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2025-03-07T12:27:54,049   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2025-03-07T12:27:55,931   adding 'certora_jars/Typechecker.jar'
2025-03-07T12:27:56,036   adding 'certora_jars/__init__.py'
2025-03-07T12:27:56,037   adding 'certora_cli_beta_mirror-7.26.0.dist-info/LICENSE'
2025-03-07T12:27:56,039   adding 'certora_cli_beta_mirror-7.26.0.dist-info/METADATA'
2025-03-07T12:27:56,040   adding 'certora_cli_beta_mirror-7.26.0.dist-info/WHEEL'
2025-03-07T12:27:56,041   adding 'certora_cli_beta_mirror-7.26.0.dist-info/entry_points.txt'
2025-03-07T12:27:56,043   adding 'certora_cli_beta_mirror-7.26.0.dist-info/top_level.txt'
2025-03-07T12:27:56,044   adding 'certora_cli_beta_mirror-7.26.0.dist-info/RECORD'
2025-03-07T12:27:56,206   removing build/bdist.linux-armv7l/wheel
2025-03-07T12:27:56,341   Building wheel for certora-cli-beta-mirror (setup.py): finished with status 'done'
2025-03-07T12:27:56,499   Created wheel for certora-cli-beta-mirror: filename=certora_cli_beta_mirror-7.26.0-py3-none-any.whl size=15673033 sha256=d70a02b9fd3a2d1e1e4f2ade613eb5819e6da85948f46f56c4b5528cb37a0bcf
2025-03-07T12:27:56,500   Stored in directory: /tmp/pip-ephem-wheel-cache-i9_e183e/wheels/c9/ea/bd/27d44c8b70f037bdb8c96338cdc0186df0da5ffcdf6cc473ec
2025-03-07T12:27:56,517 Successfully built certora-cli-beta-mirror
2025-03-07T12:27:56,883 Removed build tracker: '/tmp/pip-build-tracker-as_fc6tb'