2026-07-08T13:42:44,770 Created temporary directory: /tmp/pip-ephem-wheel-cache-xs1w1h92
2026-07-08T13:42:44,772 Created temporary directory: /tmp/pip-build-tracker-i2n7i3mz
2026-07-08T13:42:44,773 Initialized build tracking at /tmp/pip-build-tracker-i2n7i3mz
2026-07-08T13:42:44,773 Created build tracker: /tmp/pip-build-tracker-i2n7i3mz
2026-07-08T13:42:44,774 Entered build tracker: /tmp/pip-build-tracker-i2n7i3mz
2026-07-08T13:42:44,774 Created temporary directory: /tmp/pip-wheel-szpfslb3
2026-07-08T13:42:44,778 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2026-07-08T13:42:44,780 Created temporary directory: /tmp/pip-ephem-wheel-cache-hryqb2i0
2026-07-08T13:42:44,805 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-07-08T13:42:44,809 2 location(s) to search for versions of certora-cli-beta-mirror:
2026-07-08T13:42:44,809 * https://pypi.org/simple/certora-cli-beta-mirror/
2026-07-08T13:42:44,809 * https://www.piwheels.org/simple/certora-cli-beta-mirror/
2026-07-08T13:42:44,810 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-beta-mirror/
2026-07-08T13:42:44,810 Getting page https://pypi.org/simple/certora-cli-beta-mirror/
2026-07-08T13:42:44,812 Found index url https://pypi.org/simple
2026-07-08T13:42:45,062 Fetched page https://pypi.org/simple/certora-cli-beta-mirror/ as application/vnd.pypi.simple.v1+json
2026-07-08T13:42:45,118   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)
2026-07-08T13:42:45,119   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)
2026-07-08T13:42:45,119   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)
2026-07-08T13:42:45,120   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
2026-07-08T13:42:45,121   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)
2026-07-08T13:42:45,122   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)
2026-07-08T13:42:45,122   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)
2026-07-08T13:42:45,123   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
2026-07-08T13:42:45,124   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)
2026-07-08T13:42:45,125   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)
2026-07-08T13:42:45,125   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)
2026-07-08T13:42:45,126   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
2026-07-08T13:42:45,127   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)
2026-07-08T13:42:45,127   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)
2026-07-08T13:42:45,128   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)
2026-07-08T13:42:45,129   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
2026-07-08T13:42:45,130   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)
2026-07-08T13:42:45,130   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)
2026-07-08T13:42:45,131   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)
2026-07-08T13:42:45,132   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
2026-07-08T13:42:45,132   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)
2026-07-08T13:42:45,133   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)
2026-07-08T13:42:45,134   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)
2026-07-08T13:42:45,135   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
2026-07-08T13:42:45,135   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)
2026-07-08T13:42:45,136   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)
2026-07-08T13:42:45,136   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)
2026-07-08T13:42:45,137   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
2026-07-08T13:42:45,138   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)
2026-07-08T13:42:45,138   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)
2026-07-08T13:42:45,139   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)
2026-07-08T13:42:45,140   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
2026-07-08T13:42:45,141   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)
2026-07-08T13:42:45,141   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)
2026-07-08T13:42:45,142   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)
2026-07-08T13:42:45,143   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
2026-07-08T13:42:45,144   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)
2026-07-08T13:42:45,144   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)
2026-07-08T13:42:45,145   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)
2026-07-08T13:42:45,146   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
2026-07-08T13:42:45,146   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)
2026-07-08T13:42:45,147   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)
2026-07-08T13:42:45,148   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)
2026-07-08T13:42:45,148   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
2026-07-08T13:42:45,149   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)
2026-07-08T13:42:45,150   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)
2026-07-08T13:42:45,150   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)
2026-07-08T13:42:45,151   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
2026-07-08T13:42:45,152   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)
2026-07-08T13:42:45,153   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)
2026-07-08T13:42:45,153   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)
2026-07-08T13:42:45,154   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
2026-07-08T13:42:45,155   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)
2026-07-08T13:42:45,155   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)
2026-07-08T13:42:45,156   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)
2026-07-08T13:42:45,157   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
2026-07-08T13:42:45,158   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)
2026-07-08T13:42:45,158   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)
2026-07-08T13:42:45,159   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)
2026-07-08T13:42:45,160   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
2026-07-08T13:42:45,161   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)
2026-07-08T13:42:45,161   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)
2026-07-08T13:42:45,162   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)
2026-07-08T13:42:45,162   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
2026-07-08T13:42:45,163   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)
2026-07-08T13:42:45,164   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)
2026-07-08T13:42:45,164   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)
2026-07-08T13:42:45,165   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
2026-07-08T13:42:45,166   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
2026-07-08T13:42:45,167   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)
2026-07-08T13:42:45,168   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)
2026-07-08T13:42:45,168   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)
2026-07-08T13:42:45,169   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
2026-07-08T13:42:45,170   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)
2026-07-08T13:42:45,170   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)
2026-07-08T13:42:45,171   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)
2026-07-08T13:42:45,172   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
2026-07-08T13:42:45,172   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)
2026-07-08T13:42:45,173   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)
2026-07-08T13:42:45,174   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)
2026-07-08T13:42:45,175   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
2026-07-08T13:42:45,176   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)
2026-07-08T13:42:45,176   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)
2026-07-08T13:42:45,177   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)
2026-07-08T13:42:45,178   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
2026-07-08T13:42:45,179   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)
2026-07-08T13:42:45,179   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)
2026-07-08T13:42:45,180   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)
2026-07-08T13:42:45,181   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
2026-07-08T13:42:45,182   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)
2026-07-08T13:42:45,182   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)
2026-07-08T13:42:45,183   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)
2026-07-08T13:42:45,184   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
2026-07-08T13:42:45,185   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)
2026-07-08T13:42:45,185   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)
2026-07-08T13:42:45,186   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)
2026-07-08T13:42:45,187   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)
2026-07-08T13:42:45,187   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)
2026-07-08T13:42:45,188   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)
2026-07-08T13:42:45,189   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
2026-07-08T13:42:45,189   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)
2026-07-08T13:42:45,190   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)
2026-07-08T13:42:45,190   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)
2026-07-08T13:42:45,191   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
2026-07-08T13:42:45,192   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)
2026-07-08T13:42:45,193   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)
2026-07-08T13:42:45,194   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)
2026-07-08T13:42:45,195   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
2026-07-08T13:42:45,196   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
2026-07-08T13:42:45,196   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)
2026-07-08T13:42:45,197   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)
2026-07-08T13:42:45,198   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)
2026-07-08T13:42:45,198   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)
2026-07-08T13:42:45,199   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)
2026-07-08T13:42:45,199   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)
2026-07-08T13:42:45,200   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
2026-07-08T13:42:45,201   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)
2026-07-08T13:42:45,201   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)
2026-07-08T13:42:45,202   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)
2026-07-08T13:42:45,203   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
2026-07-08T13:42:45,204   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)
2026-07-08T13:42:45,204   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)
2026-07-08T13:42:45,205   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)
2026-07-08T13:42:45,206   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
2026-07-08T13:42:45,207   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)
2026-07-08T13:42:45,207   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)
2026-07-08T13:42:45,208   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)
2026-07-08T13:42:45,208   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
2026-07-08T13:42:45,209   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)
2026-07-08T13:42:45,210   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)
2026-07-08T13:42:45,210   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)
2026-07-08T13:42:45,211   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
2026-07-08T13:42:45,212   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)
2026-07-08T13:42:45,213   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)
2026-07-08T13:42:45,213   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)
2026-07-08T13:42:45,215   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
2026-07-08T13:42:45,215   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)
2026-07-08T13:42:45,216   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)
2026-07-08T13:42:45,216   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)
2026-07-08T13:42:45,217   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
2026-07-08T13:42:45,218   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)
2026-07-08T13:42:45,218   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)
2026-07-08T13:42:45,219   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)
2026-07-08T13:42:45,220   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
2026-07-08T13:42:45,220   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)
2026-07-08T13:42:45,221   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)
2026-07-08T13:42:45,222   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)
2026-07-08T13:42:45,223   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
2026-07-08T13:42:45,224   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)
2026-07-08T13:42:45,224   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)
2026-07-08T13:42:45,225   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)
2026-07-08T13:42:45,226   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
2026-07-08T13:42:45,226   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)
2026-07-08T13:42:45,227   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)
2026-07-08T13:42:45,228   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)
2026-07-08T13:42:45,229   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
2026-07-08T13:42:45,229   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)
2026-07-08T13:42:45,230   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)
2026-07-08T13:42:45,231   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)
2026-07-08T13:42:45,232   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
2026-07-08T13:42:45,233   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/5a/af/f317b2d2a8268c113a1b43989d52bc729a4a2b70d5a7a649b27738671a58/certora_cli_beta_mirror-8.2.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,233   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/40/7a/f53630659d0a3c9e9f0c1b97dcb4631823028c8deb32cae798839671213e/certora_cli_beta_mirror-8.2.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,234   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/27/9c/013c696266149b957fe1167bcbae69c56c799f2fb6f4d99fbb88f7eb3787/certora_cli_beta_mirror-8.2.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,234   Found link https://files.pythonhosted.org/packages/a2/ff/6ecf6a1b4434fcd65a6f6a60af62c7ea39d4f121e376575b43d155977a90/certora_cli_beta_mirror-8.2.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.2.0
2026-07-08T13:42:45,235   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ab/9e/dc8aacf37561e795edaafa257e528bd644fd84311616ff7aa9e5b0821d46/certora_cli_beta_mirror-8.2.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,236   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a4/84/93829d6f4ebee2e10c3e2d527550e708c51f4331db9a98d360cd166ce48a/certora_cli_beta_mirror-8.2.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,236   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/66/aa/246435cea524c092bb4b537666adaa79ff79c1a2d0c5822b172713a5c995/certora_cli_beta_mirror-8.2.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,237   Found link https://files.pythonhosted.org/packages/5f/54/d4d8bcf316a3a6a4e76d7f007f891c79926da42de9fc99cd234b1af62bd7/certora_cli_beta_mirror-8.2.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.2.1
2026-07-08T13:42:45,238   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/fe/d8/1f86755b1bdd0479e03f877d4033a41ebb307ef84fbc3b5c8ea63cf52e4e/certora_cli_beta_mirror-8.2.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,239   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/08/b3/856156b5ac30d3fe08a02b5430390f39060f04f5a92d323697a060f51ddf/certora_cli_beta_mirror-8.2.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,239   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a4/7f/e88f895cb3db2c7b0314e65e17517f224a9a125273b6109fa4407ae7b510/certora_cli_beta_mirror-8.2.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,240   Found link https://files.pythonhosted.org/packages/20/91/bbeb92237225fb6143b2fbbc8939c11316c9d59057a1dbf9ba15818084d4/certora_cli_beta_mirror-8.2.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.2.2
2026-07-08T13:42:45,241   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c5/99/ffcef4cac595a54634010163faf9f559757eb6b48a9813c96c128f92e335/certora_cli_beta_mirror-8.2.3-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,242   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ad/c1/33400eec2dc2279c7fd23baffa431cd084955de4a64215e94567634b79dc/certora_cli_beta_mirror-8.2.3-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,242   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/6a/a7/43bbba62a163729164a125027ae511ca0a5eb792fe860aee79614805966e/certora_cli_beta_mirror-8.2.3-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,243   Found link https://files.pythonhosted.org/packages/8d/6e/69db7944365866784260969e203c717dbee7eb5f097bd89552f228309530/certora_cli_beta_mirror-8.2.3.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.2.3
2026-07-08T13:42:45,244   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/30/d4/0ff669dbce9931f24836a9f9b92057ffa3552b5dd3aa8efb5bed344b5043/certora_cli_beta_mirror-8.3.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,244   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c4/dd/ff7fcc5a06a7b21712c9114ee2182a9fab190fcaf61a4876fd8c37eb50f3/certora_cli_beta_mirror-8.3.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,245   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/2f/8a/9cafae82383be6840992b598149e97b029d6d55367918c50449a64492f0a/certora_cli_beta_mirror-8.3.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,246   Found link https://files.pythonhosted.org/packages/1c/40/80fd8551fa385e89a8fd0306a6cba79a415404fb2f4810f8d36898d56a5c/certora_cli_beta_mirror-8.3.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.3.0
2026-07-08T13:42:45,247   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/d8/50/ec4140c7bcfe1a9e0bd8c904927fb41494d057d680b851ecbf9346e427e8/certora_cli_beta_mirror-8.3.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,247   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/3e/a6/471d1ee073e03df609187e279ae4a0d3b8a90e259ee6a9d227a36e10ec9d/certora_cli_beta_mirror-8.3.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,248   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/6c/1a/7ce53ba188218e5d693154f45059a6c043e498b88898f065322cb7ff12e0/certora_cli_beta_mirror-8.3.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,249   Found link https://files.pythonhosted.org/packages/7c/c0/0e3e54d5895ff13b6fd021e39ac2a8d9658439382ad10d6d69733febec62/certora_cli_beta_mirror-8.3.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.3.1
2026-07-08T13:42:45,250   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/12/a3/fa2c67c8ed023ec7de0ffd595d3d9058229a319131b5731932af2e9a9226/certora_cli_beta_mirror-8.4.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,250   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/36/a6/c7d127c48eda0e70b48eb90d942a66def83cb201d06d1fcbd03c3996972d/certora_cli_beta_mirror-8.4.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,251   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/09/4b/10c6930d7218968bcbfef656d68f10a0a22e40eb7fbfb663eb34dc0051a8/certora_cli_beta_mirror-8.4.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,252   Found link https://files.pythonhosted.org/packages/d9/89/20c883a3212da7272d65cee008f15b6ca0e7f2925ef1aa40f434681c61f1/certora_cli_beta_mirror-8.4.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.4.0
2026-07-08T13:42:45,253   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/41/4b/0effbda0f826875996c4739abfb4cdefa8c188144697f793b835da98a70e/certora_cli_beta_mirror-8.4.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,253   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/17/ea/19ba6e705b370242dec59412903edb1a993c3bff3946e0e54cd859f34cf7/certora_cli_beta_mirror-8.4.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,254   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ee/72/8e4f717c4d21fc4c2bce4eba9903771e6989030ec359ce54f0535db65c87/certora_cli_beta_mirror-8.4.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,255   Found link https://files.pythonhosted.org/packages/f6/f5/a9f05ddd937fe4af15acc38f51b1df484bbb83082bd34fc59a3e57398ecb/certora_cli_beta_mirror-8.4.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.4.1
2026-07-08T13:42:45,255   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/42/a0/521b90fb9df11a28ecbefc096014671ce6e651e516bf4f2530c06d8dea10/certora_cli_beta_mirror-8.4.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,256   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/00/cf/e74a525a806e8c4f3d0bf56cef0fa98adbf23628750385f4108f2a1dc662/certora_cli_beta_mirror-8.4.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,257   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/5c/ef/05c15ee1ab77e6120bec61113eecfe52b568e2db53d2a5b0526570770a71/certora_cli_beta_mirror-8.4.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,258   Found link https://files.pythonhosted.org/packages/d4/67/458b0cedef2f2222ad9323cb4fe9f21b5016828c8bbd57072de9c2651d76/certora_cli_beta_mirror-8.4.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.4.2
2026-07-08T13:42:45,258   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/78/1e/539b4a3360e80127e1a7002890f50e7a98fbd2fda98fe711fc2385aac376/certora_cli_beta_mirror-8.4.3-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,259   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/17/c7/2eb02de7e20fd2e183ff673d8140690891bb6f6a8a1c15c5412fa096d436/certora_cli_beta_mirror-8.4.3-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,260   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ef/f0/e77d1cd01c41ed4fd75fbb51d5897dcda3adaccdb7a834bf155d83283128/certora_cli_beta_mirror-8.4.3-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,261   Found link https://files.pythonhosted.org/packages/b2/76/49b11f2d6c16e28680f8ec5ef5bec2b183b0cebd1955c4b7f3088c1b65bf/certora_cli_beta_mirror-8.4.3.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.4.3
2026-07-08T13:42:45,261   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/d4/cb/1e7a5bfa9413b71533038dd5384ec0a9dd2abe6a5eae9463793ec7fef19f/certora_cli_beta_mirror-8.4.4-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,262   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/e3/06/5081a6cbcf2e75b7cde56debcbb0216cd4a8164f568d9a732ec5044c892e/certora_cli_beta_mirror-8.4.4-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,262   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/f5/26/c50c3b435c619393810a6dc3264eed3d5c29f06f764c2355fbc7c43e6f46/certora_cli_beta_mirror-8.4.4-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,263   Found link https://files.pythonhosted.org/packages/c4/45/bf637b1a38f1d291da6bbd4e4f89ecdddaca9fce01949213dafb958d77e1/certora_cli_beta_mirror-8.4.4.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.4.4
2026-07-08T13:42:45,264   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/d8/d7/7c37d757fcf5438398d47a7d78661607cb494021e7aa08acce53cfdfa754/certora_cli_beta_mirror-8.5.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,265   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/81/ce/9c05d747f79cf7d5820e1d0e68c1ef766876e5aeca7b05d5c32562cb6f82/certora_cli_beta_mirror-8.5.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,266   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a5/b9/0459fcc76c22e617e16d3a674dcf433882ad98738242ecd02bc4e53657fc/certora_cli_beta_mirror-8.5.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,267   Found link https://files.pythonhosted.org/packages/36/16/da5cf6cd66cb2bc5f10cf8341f5e718b584223e2f2fa61748955faccfa45/certora_cli_beta_mirror-8.5.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.5.0
2026-07-08T13:42:45,267   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/83/1d/5261d4dee70ff2fbd710626d3660a948dfb9b923396a1c96bffdcaf60f7a/certora_cli_beta_mirror-8.5.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,268   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/b0/f7/ee9bde7f95d99b19ec33bd0a866290772fdae2e5e579eb45d7fb2ce9c9d5/certora_cli_beta_mirror-8.5.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,269   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ca/8d/32a0c886166bb414bcf605455e7edb00a41ce1b96a5e0d0dc46ec7aa8af2/certora_cli_beta_mirror-8.5.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,270   Found link https://files.pythonhosted.org/packages/40/17/cb1bdc427cf5ec04216f23922f74b794dd3669d211a2c24b3a0386fb050a/certora_cli_beta_mirror-8.5.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.5.1
2026-07-08T13:42:45,271   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/e5/14/ffde348b896a4bbda1b1ab7039e63fd56f4ec8b1b92257cd51b157ddfd9a/certora_cli_beta_mirror-8.6.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,271   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/e6/42/15323e527453f5a38a7200c27558e1a20ae86e53a716a81406c22e683618/certora_cli_beta_mirror-8.6.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,272   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/1d/44/70d0317a7db7e94363d76093a3b32786f72e69b7efd9ab152cb59941f80b/certora_cli_beta_mirror-8.6.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,273   Found link https://files.pythonhosted.org/packages/d1/9c/247d1aadba62ebaa94909e471161557fbb1d0826f67061d2979eb0ecd75a/certora_cli_beta_mirror-8.6.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.6.0
2026-07-08T13:42:45,273   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/6d/c8/b6b1fc7f9ca414f68d6210a2c56dfa8066833f49f1bfa8e28d68fbf43b0e/certora_cli_beta_mirror-8.6.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,274   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/18/cb/67b9c1e240e79c6dc782d3ed66daeb0eea3a396998751b14cd63b0d968c5/certora_cli_beta_mirror-8.6.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,275   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a8/78/55b261ac281958c04200601adf1f4bdbc3bb290528cbb235037f464c9ae1/certora_cli_beta_mirror-8.6.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,276   Found link https://files.pythonhosted.org/packages/d5/31/ae4829052a8e39b07eba9fa741885e8824dc8c441821b00fb1dc3d9eb75d/certora_cli_beta_mirror-8.6.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.6.1
2026-07-08T13:42:45,276   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/eb/66/529b6d234795d54cb86187b1c55df1eb1ae7896d171cdd7491515ca51079/certora_cli_beta_mirror-8.6.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,277   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/77/cf/eeb94b80aa62f3c27d5dd5dc197744f9e02fe6b30da62e183fdbea18a460/certora_cli_beta_mirror-8.6.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,278   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/04/d0/d178f090e097e16aefdc56ba9abadfb7e31a1e0bef55d05b00202ab8e643/certora_cli_beta_mirror-8.6.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,279   Found link https://files.pythonhosted.org/packages/8e/e4/0f9db7edee8d6d28c58e8f931e142bc8de18036d807f53ab8d9bdb187d96/certora_cli_beta_mirror-8.6.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.6.2
2026-07-08T13:42:45,279   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/12/d0/f1a5ca95350b58b4a26cea5ad3dcc6be4ac339eabcd8d4959c0f52b7ad6b/certora_cli_beta_mirror-8.6.3-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,280   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/71/c3/f2035641ee2dfc1da536f8d5f5b6360c9d08d25d3a7fa79a3853252c151f/certora_cli_beta_mirror-8.6.3-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,280   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/95/e7/bd9cb081650324de979dfc74ca7a2076541a3552fd3c3484ed3dd0627531/certora_cli_beta_mirror-8.6.3-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,281   Found link https://files.pythonhosted.org/packages/3e/72/7bae0faf53bb892e4145d523a61778c3ac64cfe6d0b1b7e7bf3ab8fecfd6/certora_cli_beta_mirror-8.6.3.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.6.3
2026-07-08T13:42:45,282   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/5a/d8/05f07c18194a4939df140fd90b4d2c4f0c2c636cccb6d7b31e30d6af11c1/certora_cli_beta_mirror-8.6.4-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,282   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a5/2f/c34ac5b9ca8a1c6d87fcdad20fe0c2e40391512b34b11e61a29f206db606/certora_cli_beta_mirror-8.6.4-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,283   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/fa/e4/17cdcfb96263ec510b846dd5099948c7a3c9275c619f0e6cf4c6a9e2a0f6/certora_cli_beta_mirror-8.6.4-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,284   Found link https://files.pythonhosted.org/packages/5f/77/ae3ff7d123057d1f7a725c7d55ec9dbe2a5572ef49e6627e9cd016d1e5ad/certora_cli_beta_mirror-8.6.4.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.6.4
2026-07-08T13:42:45,285   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/02/51/7048efffac9dddb23619c6c889b80b51eb69412aeb8b739eacd95eede969/certora_cli_beta_mirror-8.7.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,285   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c7/69/d3765f45488a1e4db7de4c3a081738712f47abe0ac4f0289f9d0e65de515/certora_cli_beta_mirror-8.7.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,286   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/7d/27/fc60e9e754768a57e72ea2769c09f854619c2235d7a0df33623f67507af9/certora_cli_beta_mirror-8.7.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,287   Found link https://files.pythonhosted.org/packages/4c/46/9a1c59437b47afe8c6261aa1a72ad0fb4c3f1b10cc756599901b2eeac3ec/certora_cli_beta_mirror-8.7.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.7.0
2026-07-08T13:42:45,288   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/da/3e/7384859f21f7b101ff9344af0f4bfd97cae4169e033b3c49106587b2b6b3/certora_cli_beta_mirror-8.8.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,288   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/18/55/1f0d0e7fb11ac1c325103c3700a8ce987e156c66438f1f52cbec4abffec6/certora_cli_beta_mirror-8.8.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,289   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/d2/59/8130dbb9064cf4363b246ba59b4b78c2bff43f107887938c2602ec644489/certora_cli_beta_mirror-8.8.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,290   Found link https://files.pythonhosted.org/packages/88/c2/cb66817b9b89ac168ae592cb0e88f8f93a37dbd2e039102d84bc4d1906de/certora_cli_beta_mirror-8.8.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.8.0
2026-07-08T13:42:45,290   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/50/1e/ecbfbee1dbecd406905aa83d73466be9ac91b7ade92d35cd8b64a6e886e9/certora_cli_beta_mirror-8.8.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,291   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/84/70/43fced74ab0565ce85f808e235baacad81b8ecd099eac2b97af52ea7ea10/certora_cli_beta_mirror-8.8.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,292   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/f8/8e/1839236a25a2622ff8673c9c2274a422090d089b64a8702e6d908df44e3b/certora_cli_beta_mirror-8.8.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,293   Found link https://files.pythonhosted.org/packages/5d/d2/9dbbf16c8762eb1b061c83ff3634bcb98578b3c251a2cbd3cb426e71376d/certora_cli_beta_mirror-8.8.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.8.1
2026-07-08T13:42:45,293   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/e4/63/86af434abe2d3c5fbfa9ab3a14e87459da7d530d3804d18be9213c9ba00c/certora_cli_beta_mirror-8.9.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,294   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/06/17/514d31affee94460911e1744766285cd4ed79341be9d7e9935f453b7ba29/certora_cli_beta_mirror-8.9.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,295   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/83/44/27a11585b10e31720f872e6d237a75b72c5e45332a9111090c40bc7b5314/certora_cli_beta_mirror-8.9.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,296   Found link https://files.pythonhosted.org/packages/1c/90/d34f58c72ac52e8590a466d28cf0287c7df4a5905c840ae2ede00973472a/certora_cli_beta_mirror-8.9.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.9.0
2026-07-08T13:42:45,297   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/74/6f/71fc4560473e34502b01dc74ea16b2614b4341b1530d2344fcb144a32139/certora_cli_beta_mirror-8.10.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,297   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/f3/39/92e0951a35abd7d884cd02963f60f50e831f45be321353e0e78c1c31d7f3/certora_cli_beta_mirror-8.10.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,298   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/e9/90/93c4d94acfe92fcae7438b15d6cf9a577655e78f27e073900b9dee429966/certora_cli_beta_mirror-8.10.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,299   Found link https://files.pythonhosted.org/packages/2d/f6/717706fe1b3097889cccfec3034a74d87ce48ba7f2f62cb318fc6b03c75a/certora_cli_beta_mirror-8.10.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.10.0
2026-07-08T13:42:45,299   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/e8/f4/cc6f5148b425c651bd15acd165b09571214def9209c2c40043b7c2ee07c8/certora_cli_beta_mirror-8.10.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,300   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/08/a7/9347293cd71614b112856dbadac8b48948041cc0955144936fd1bc5a5002/certora_cli_beta_mirror-8.10.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,300   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/00/b9/761e747dc0a1f0acce64e76973da94c5ca1040227ef80340ab8ccf3ce066/certora_cli_beta_mirror-8.10.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,301   Found link https://files.pythonhosted.org/packages/4f/87/e25ce080e3fed222625a510202d7fd9619ef28762142217de816ac0e80ef/certora_cli_beta_mirror-8.10.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.10.1
2026-07-08T13:42:45,302   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ac/aa/50e70378b23b6ee940ef209f33b2e2d064444b4d217c408e1c13a2cf2bef/certora_cli_beta_mirror-8.11.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,303   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/41/11/e56d90d4eb76f21b761a83d253fe9b41d9d9df50048ffc1d11df42c128fe/certora_cli_beta_mirror-8.11.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,304   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/71/fb/9e5dfe96f6ea0d843ccc521240afe93ee5b87dfcc0382835980df0ec2ca4/certora_cli_beta_mirror-8.11.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,304   Found link https://files.pythonhosted.org/packages/61/a4/7779594acea1ad11302390d5272bd5344e8b9bdf006c8e450f8e879c7cfd/certora_cli_beta_mirror-8.11.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.11.0
2026-07-08T13:42:45,305   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/39/5b/25a3886ac88b2031d50746aac272928c1f8854b957ebad3b4b91a1fdb29a/certora_cli_beta_mirror-8.11.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,306   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/8d/c1/583b0bacc92e8639a2a4b688d36c479b292a5d13bd4391fce17a79bbc12e/certora_cli_beta_mirror-8.11.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,307   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/6b/cc/5500f3cfd8163690f0cd5f6d83cd568d7fed456e834a847a1fa2316dc95a/certora_cli_beta_mirror-8.11.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,308   Found link https://files.pythonhosted.org/packages/dd/6e/8948a55e8739e2d582ec2e49a7ec8002ea2659fbb4355944c72ddf5d4953/certora_cli_beta_mirror-8.11.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.11.1
2026-07-08T13:42:45,308   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/40/ed/16f23536c4e779ff91d1e3065ab15c71c379cc3ce32e5d80130e8b8822cb/certora_cli_beta_mirror-8.11.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,309   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a5/28/8573eca620cc3b52e0cdede9edd2fd0fb556673877c66a44c72f5e49d7d5/certora_cli_beta_mirror-8.11.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,309   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/00/c1/4190e74bc5a879cde7b0aa3402cca97e76f58809873eb0c928afdf6a3659/certora_cli_beta_mirror-8.11.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,311   Found link https://files.pythonhosted.org/packages/d9/b7/35bcb74de2b5da1305ffdc44f6cefec6321390b99579bcfda6fc7adabb4c/certora_cli_beta_mirror-8.11.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.11.2
2026-07-08T13:42:45,311   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/8e/a8/b9b1e4a0d2e87a6e7132fc636129766273057f4fcf9bfbf7e5a27779234d/certora_cli_beta_mirror-8.11.3-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,312   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/58/f4/dffb37e2c5909043e10cdcda13d22bb2e690b79a50aabc2cfc4c2f0deacf/certora_cli_beta_mirror-8.11.3-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,313   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/8d/2f/411061c78b9b54321cc387a8feeb3ce7572fb9982e3a04875a789c1b57b8/certora_cli_beta_mirror-8.11.3-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,314   Found link https://files.pythonhosted.org/packages/ec/89/553e74661add3555785feaacc94e2c13875dd825c64291f02b70f00435c2/certora_cli_beta_mirror-8.11.3.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.11.3
2026-07-08T13:42:45,315   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/d5/07/120655fa2ecd7d45ab2586c789fa32042a4b2a83e05752be7784b0a352fa/certora_cli_beta_mirror-8.12.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,315   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/12/05/bf585e567a5f354988bf8f827b147a49cd0aa989e80623a2b88555fc5079/certora_cli_beta_mirror-8.12.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,316   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/0d/d7/cbdb0a21bc5a62a8a24da8a9ee36f79ec156e1b760f9b596741512815c58/certora_cli_beta_mirror-8.12.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,317   Found link https://files.pythonhosted.org/packages/55/b6/62c961acde7502ec93a01159dcf056bb31e639708ff168d21dd27911160c/certora_cli_beta_mirror-8.12.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.12.0
2026-07-08T13:42:45,317   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a2/ee/2c8aff62ad27cd51b3a1a7dd7432d15b7c65a2a3d41b0001d42d1c736a55/certora_cli_beta_mirror-8.13.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,319   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/df/3f/377c390554444833302b268f6cca2b0819ba53aa16fd9bf18c25153016a2/certora_cli_beta_mirror-8.13.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,319   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/24/ea/846ed4767c1f50e19d209e931863f705c2c4b6ba10b986c2acbff48940b7/certora_cli_beta_mirror-8.13.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,320   Found link https://files.pythonhosted.org/packages/86/0f/d86a754c87bdbaabdcab1df4e3287231614522ef55d41d81e51ee8f517fd/certora_cli_beta_mirror-8.13.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.13.0
2026-07-08T13:42:45,321   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/b1/16/7d3d3299b47433e864c4149d5ca391c0a9e4ba3fffaa3d1ad297bf7573f7/certora_cli_beta_mirror-8.13.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,321   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a3/a1/38ef13c33bcbd7127859dcbd8c977fef78050bbd58917c554ad2b6e2f65d/certora_cli_beta_mirror-8.13.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,322   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a5/47/2b7537ac290042ae1fd0caab538e631ec23c8e986b919dae54529a53f995/certora_cli_beta_mirror-8.13.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,323   Found link https://files.pythonhosted.org/packages/70/b9/1e4624fc503224adc0b5dc66d6730cfe124a9dc33387e9a1222c8f488958/certora_cli_beta_mirror-8.13.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.13.1
2026-07-08T13:42:45,324   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/b0/d2/0f37c086d9ab773a39cc2bba38a3f6efedf664253dcf934106647b7a47b6/certora_cli_beta_mirror-8.14.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,324   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/b5/0e/61704926531727489836a1c20334dbb5da267f9bdeb9760736130a36ccde/certora_cli_beta_mirror-8.14.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,325   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/5b/88/6cc6fcc9dac6c626ec09623eb8536ad3ae8ede4d7209d7911df55429df8c/certora_cli_beta_mirror-8.14.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,326   Found link https://files.pythonhosted.org/packages/28/33/1ec2233bd0c1a7d489f7853ee09238d3a0b88856a9f1bef1ee51226c2a92/certora_cli_beta_mirror-8.14.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.14.0
2026-07-08T13:42:45,327   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/40/f2/b67debf3b539a4bcebfec6686a28f8d5d7d0f5c3b90ae592ca1250aebb73/certora_cli_beta_mirror-8.15.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,327   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/2b/bb/8db3d0482f4680510cdd084ed940fd69e14b408f1b6f029695460300f978/certora_cli_beta_mirror-8.15.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,328   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/90/8f/1d95b0825234f931b96ae0fc9043766c66800057273ef4b58d57f2cef8e7/certora_cli_beta_mirror-8.15.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,329   Found link https://files.pythonhosted.org/packages/96/4d/273fba7039b84655d74574e787d0187edd04e0a54afce04ebc35e11712aa/certora_cli_beta_mirror-8.15.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.15.0
2026-07-08T13:42:45,329   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ce/ed/324dbca4d8114397c9be3d6907204cdb865b4cab14520958122187fe80f7/certora_cli_beta_mirror-8.16.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,330   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/42/3f/81cca1f5612fd4bad27be5e3c7bbce8d22b89aed70c3cc4f4f6e2f173f10/certora_cli_beta_mirror-8.16.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,331   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/eb/69/00fa2ebc158abca93cc6733fca093f904781466962147365aaa959c40609/certora_cli_beta_mirror-8.16.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,332   Found link https://files.pythonhosted.org/packages/f4/70/c3ffe48c87073969c7114f9bdb5fa58b731272c44e4e16d20dda65461660/certora_cli_beta_mirror-8.16.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.16.0
2026-07-08T13:42:45,332   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/3f/73/b9bd8b737bc08d1610af7847317d0303b764872b730ff93da27aa84a0e56/certora_cli_beta_mirror-8.16.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,333   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/b9/7a/3f2bc121dda0df6300e1adec6185de21bb76574427e0500c62a7222af0bc/certora_cli_beta_mirror-8.16.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,334   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/9e/97/a85cbb048cfbf861de8ddce2eaf75e34e30b67544ea5b8efcb0fed38533b/certora_cli_beta_mirror-8.16.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,335   Found link https://files.pythonhosted.org/packages/0c/41/9427c10f3b7a7fee8bd59e7b9a797abdb847b24c424bd16011652a8cecf0/certora_cli_beta_mirror-8.16.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.16.1
2026-07-08T13:42:45,336   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/cb/9f/5b55998b13509b62ebb3a4a5f0908ebd8c235315b3b32be170dfced94696/certora_cli_beta_mirror-8.16.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,336   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/06/c0/c49c07afa3d6dea40ffbda1688c45783899b71aad0220f19679b1f9b0f8b/certora_cli_beta_mirror-8.16.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,337   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/64/74/fb708e28b17a696f621ed4f4d35e19fc16c6ebf8e08c015a7fd40a2e16a3/certora_cli_beta_mirror-8.16.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,338   Found link https://files.pythonhosted.org/packages/1c/76/202e99393da2797879b3a49106d607a3ec280204982e303d51cfde545221/certora_cli_beta_mirror-8.16.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.16.2
2026-07-08T13:42:45,338   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/92/ef/aa885a974175ffeecdaf53e41bf2c44fb43e8b8aaafe0f0ac152fcc74355/certora_cli_beta_mirror-8.17.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,339   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/01/03/976db821f9a7a0feaddbc38d3ba57643050d5107bc188930f099ebcdc5eb/certora_cli_beta_mirror-8.17.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,339   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/7e/e4/8cbc214d89d9decc2fbf54159afffb434323702ce794d33eeae715537c55/certora_cli_beta_mirror-8.17.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,340   Found link https://files.pythonhosted.org/packages/63/b4/1a80076178f6254af5a99161bfa959b3a1313a9512339e5da8772a95594e/certora_cli_beta_mirror-8.17.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.17.0
2026-07-08T13:42:45,341   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/28/8e/ad84165e92e27dfecf6508a2537abe74bed81ae72541adc971cf1aa10f5f/certora_cli_beta_mirror-8.17.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,343   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/b8/11/7206a6b9c12e9936bb99fd387c274ef1fa6f9c2aa3209d63e311192c5a3c/certora_cli_beta_mirror-8.17.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,343   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/90/de/57f499142d74f8f33b286829e99dbafbf4aec4b849b6f968e823da55443e/certora_cli_beta_mirror-8.17.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,344   Found link https://files.pythonhosted.org/packages/3b/45/a643c7fe26e0fc55b4147d82552071d09b34feb405ab4f36785f162b51de/certora_cli_beta_mirror-8.17.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9), version: 8.17.1
2026-07-08T13:42:45,346 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2026-07-08T13:42:45,346 Getting page https://www.piwheels.org/simple/certora-cli-beta-mirror/
2026-07-08T13:42:45,347 Found index url https://www.piwheels.org/simple
2026-07-08T13:42:45,532 Fetched page https://www.piwheels.org/simple/certora-cli-beta-mirror/ as text/html
2026-07-08T13:42:45,554   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.17.0-py3-none-any.whl#sha256=700c0e39c3fea93e93fd545042826333c6ca8bb5859070483d4ba50bdbc0fdcd (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,554   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.16.2-py3-none-any.whl#sha256=2f19aa8025ec1cc25d40bd6e6c39e70c1a1fd18c3a680679ecf463d5ce52d936 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,555   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.16.1-py3-none-any.whl#sha256=3e688bed54744f67308fc036448821df8c92fbfa95171ab5f97a723c6a5bf788 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,555   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.16.0-py3-none-any.whl#sha256=1ff3a28ee8b47003c6de1389ffe6028f2863fafad3b720cd759d3c30842c0279 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,556   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.15.0-py3-none-any.whl#sha256=377d333e464890e27f4e0487d94608e3f75e5dda295ae6c18f296e93f487c142 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,557   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.14.0-py3-none-any.whl#sha256=eeed2b1dbbe740177ae21471f40359236dc2b4b568b316bccbf9ad7edfa83c44 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,557   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.13.1-py3-none-any.whl#sha256=d8af9437041384c882e00866f1c5b2e72efb28eae9fdf6d60f1c3db71f3be85f (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,558   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.13.0-py3-none-any.whl#sha256=9d3f6fbb8fad82f3baa2b86066aa1f4259a80b92757d65a0d7d81a0371345592 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,559   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.12.0-py3-none-any.whl#sha256=a751268e7e3b1c9fbbc48073a955c228f8cc9fc2281b32a09d017237fb713633 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,559   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.11.3-py3-none-any.whl#sha256=bc0ce62aae013e4b67270e06bad53c4ecabb7d41cb9670e385164ad5a897f385 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,560   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.11.2-py3-none-any.whl#sha256=a697efc6310acaf6e521e1e75c6b768d2cc2bacf0311c07a2fec95acc41cf662 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,561   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.11.1-py3-none-any.whl#sha256=d4006b967cdac018840ab952014a4a297981911c2afb12267ef2f38abef16767 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,561   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.11.0-py3-none-any.whl#sha256=beaa03b28e6d7a78b9f3c0dac356aca76ea40226e7e5defa35d329e3f7e4ac12 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,562   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.10.1-py3-none-any.whl#sha256=ea2287668c9a13e348a396b44a22e5a6d103cc630f62e3ee772e6abf3dae3804 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,562   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.10.0-py3-none-any.whl#sha256=336718d012dcba295fa1b18996a7f69656c6f76014fd1c92ed4c334cc51d6e8e (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,563   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.9.0-py3-none-any.whl#sha256=b9ce6119825324e048d191344e5a45590e334717e3991b0c14b46f9b1ac819f2 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,563   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.8.1-py3-none-any.whl#sha256=93f6064b7ef9e4780dc92968104f0162e1d2c4269b8b6b89c8aafe4753ebd877 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,564   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.8.0-py3-none-any.whl#sha256=b2ad117297de972ace7cb2cb94e5ff5cce35f9bf5a5acfdf252e089285ed77d1 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,564   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.7.0-py3-none-any.whl#sha256=6da1f3b8eaf4d050035d12fce971ead474f22a4dca2c01c5ba4643604ba14ff2 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,565   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.6.4-py3-none-any.whl#sha256=f2dbab69914a73f1888cb72723969bbea2f458f17ca10081c7aa5c4b49dbcdbf (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,566   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.6.3-py3-none-any.whl#sha256=acc9dd7e60da76a61ac4af4f691e59e97b68a5ab4ec323df962ebd7a2030e0cd (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,566   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.6.2-py3-none-any.whl#sha256=99d98927a3f83c95b7eee9db1630046cd79a01e2e8db23d211083282687756cf (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,567   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.6.1-py3-none-any.whl#sha256=4fcc680fd16a9b8651ba6a87411fd25b9d244613a7c25f88b3ea4814d1ed00f1 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,567   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.6.0-py3-none-any.whl#sha256=e528ae44036a2cee76a1b0950a14f478691e3db143718c05fed363e05e86b2c3 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,568   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.5.1-py3-none-any.whl#sha256=b54e962ebc1e15190fb3a90f26e2d993fa3468b643a2210e408c165b2beb78d7 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,568   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.5.0-py3-none-any.whl#sha256=aa5e0ce6ef72b5bb8beff3e3f5cccb0086f3592aa326dc79a5ad32332c3adacd (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,569   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.4.4-py3-none-any.whl#sha256=d059ec1f177e645304ff54426ea32f2e81b37254b0e44f036aec0a797d857e9e (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,570   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.4.3-py3-none-any.whl#sha256=f2660b2de850b844411a8b76dcb46916e165b12784fc7156171a22c2bf9f9637 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,570   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.4.2-py3-none-any.whl#sha256=1fd48733efae9e0df71fde6256c5620143d427a29f57b21c60a80183c7a87f33 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,571   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.4.1-py3-none-any.whl#sha256=1a6f369461e35588f1ceaf0831ad87ee9afd59a812396aaec09e90b2c413cc02 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,572   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.4.0-py3-none-any.whl#sha256=c34084f795d26afd757a14478cf0f37a45f4b607a56ff652ac9b51454266a0ff (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,572   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.3.1-py3-none-any.whl#sha256=4683f0e5b6165c4fd57f4b13bac8ae13c75253a2032cdac01c6df3577dda9771 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,573   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.3.0-py3-none-any.whl#sha256=46fdd55d81efb4d501cf212952432f7f22e4ba421de70b98096a3eba379c31ce (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,573   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.2.3-py3-none-any.whl#sha256=949b92f0a04e839148a3efbe1ef3ff61be593b859b7aaf865ec2dafc63e8ee46 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,574   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.2.2-py3-none-any.whl#sha256=96b9cbbb67df94ded246601801dfb12cd4100c2d0c262c7409b3fff24094c0bd (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,574   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.2.1-py3-none-any.whl#sha256=3dec286f5ab850350bbd6374ba5a8469aa5b37c7e9c11404fd208daf3a663b75 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,575   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.2.0-py3-none-any.whl#sha256=23c76c5438a1f937fb5c1a1c199c0737049a8a77f41a9742a12c9a9d980c4051 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,575   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.1.1-py3-none-any.whl#sha256=0a564cb46e361da74ec50c5ed3db93ff5b1935906e123d08bb1e6d01aa9293a3 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,576   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.1.0-py3-none-any.whl#sha256=ac25fbbcc8244dfb73a3cff5f5097cab5c48835002de02eddc69b6f40f56b8c9 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,576   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-8.0.0-py3-none-any.whl#sha256=51fc2690c137f78af8e32be3d08ebc6e131b29fa10463d5597c9a7c42fda4694 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.9)
2026-07-08T13:42:45,577   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.31.2-py3-none-any.whl#sha256=a19a8c4e574360fc96abdb8031be3b8cc02fab6046fc9d87f26c2801590fcb55 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2026-07-08T13:42:45,578   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.31.1-py3-none-any.whl#sha256=61858afefd97b31f961db9585d37293144d70da02923ac64f20aa4892d1ee3b2 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2026-07-08T13:42:45,578   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.31.0-py3-none-any.whl#sha256=2573b2378f7d7d6766e40709d7663f8e35bfc5eb316f096dc1502e11695eaea4 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2026-07-08T13:42:45,579   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.30.1-py3-none-any.whl#sha256=dd4ee481c5c5c2d9becea7c3a6b2665e55c21d09f3170273669f586981572e89 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2026-07-08T13:42:45,580   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.30.0-py3-none-any.whl#sha256=c62e52717853239d4a9e4b60fb03d9d7290da68b6b352c9b1fb55ab88f74232f (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2026-07-08T13:42:45,581   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.29.3-py3-none-any.whl#sha256=d0c7f63175145c7741e0a0fe2ff8db62535abb00c7358743b694e475e952b605 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2026-07-08T13:42:45,581   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.29.2-py3-none-any.whl#sha256=0cbc944a0c8148f6e0bb6864231826077dcd26989b7e23c2ac73ee7dec0156a6 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2026-07-08T13:42:45,582   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.29.1-py3-none-any.whl#sha256=ad88d6b4964e70cd102078ceb74c16e603e06115dc4a3b64b7a7dcdf033e4fab (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2026-07-08T13:42:45,582   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.29.0-py3-none-any.whl#sha256=d0c4382f344aa1887ed7113bb98e30c351cbabe66804ed08923b57ee6541e0d4 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2026-07-08T13:42:45,583   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.28.0-py3-none-any.whl#sha256=660f0b1277e6bbbc6e075bfda58147364c8378b3da820d05f917cef0d2e5bcc7 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2026-07-08T13:42:45,583   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.27.1-py3-none-any.whl#sha256=56291fd6dd2a95c4c3bfd80eb6a12ed1bc3aa9130c7d98290b2abc2dc4e45480 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2026-07-08T13:42:45,584   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.27.0-py3-none-any.whl#sha256=8a5a8e2989778c3d53647cc81b3a321e6bb0119c2beb275200cad1f8b6d76ba7 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2026-07-08T13:42:45,585   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.26.0-py3-none-any.whl#sha256=d70a02b9fd3a2d1e1e4f2ade613eb5819e6da85948f46f56c4b5528cb37a0bcf (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2026-07-08T13:42:45,585   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,586   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,586   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,587   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,587   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,588   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,588   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,589   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,589   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,590   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,590   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,591   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,591   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,592   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,593   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,593   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,594   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,594   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,595   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,595   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,596   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,596   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,597   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,598   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://archive1.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)
2026-07-08T13:42:45,598 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2026-07-08T13:42:45,599 Skipping link: not a file: https://pypi.org/simple/certora-cli-beta-mirror/
2026-07-08T13:42:45,629 Given no hashes to check 1 links for project 'certora-cli-beta-mirror': discarding no candidates
2026-07-08T13:42:45,651 Collecting certora-cli-beta-mirror==8.17.1
2026-07-08T13:42:45,653   Created temporary directory: /tmp/pip-unpack-g5migr3m
2026-07-08T13:42:45,803   Downloading certora_cli_beta_mirror-8.17.1.tar.gz (43.3 MB)
2026-07-08T13:42:50,736   Added certora-cli-beta-mirror==8.17.1 from https://files.pythonhosted.org/packages/3b/45/a643c7fe26e0fc55b4147d82552071d09b34feb405ab4f36785f162b51de/certora_cli_beta_mirror-8.17.1.tar.gz to build tracker '/tmp/pip-build-tracker-i2n7i3mz'
2026-07-08T13:42:50,738   Running setup.py (path:/tmp/pip-wheel-szpfslb3/certora-cli-beta-mirror_0c3cb1090ab648699ec00e7f54b53285/setup.py) egg_info for package certora-cli-beta-mirror
2026-07-08T13:42:50,739   Created temporary directory: /tmp/pip-pip-egg-info-8292tx6k
2026-07-08T13:42:50,739   Preparing metadata (setup.py): started
2026-07-08T13:42:50,740   Running command python setup.py egg_info
2026-07-08T13:42:51,604   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-07-08T13:42:51,605   !!

2026-07-08T13:42:51,606           ********************************************************************************
2026-07-08T13:42:51,606           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-07-08T13:42:51,607           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2026-07-08T13:42:51,608           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-07-08T13:42:51,609           ********************************************************************************

2026-07-08T13:42:51,610   !!
2026-07-08T13:42:51,610     self._finalize_license_expression()
2026-07-08T13:42:51,634   running egg_info
2026-07-08T13:42:51,661   creating /tmp/pip-pip-egg-info-8292tx6k/certora_cli_beta_mirror.egg-info
2026-07-08T13:42:51,662   writing /tmp/pip-pip-egg-info-8292tx6k/certora_cli_beta_mirror.egg-info/PKG-INFO
2026-07-08T13:42:51,665   writing dependency_links to /tmp/pip-pip-egg-info-8292tx6k/certora_cli_beta_mirror.egg-info/dependency_links.txt
2026-07-08T13:42:51,667   writing entry points to /tmp/pip-pip-egg-info-8292tx6k/certora_cli_beta_mirror.egg-info/entry_points.txt
2026-07-08T13:42:51,668   writing requirements to /tmp/pip-pip-egg-info-8292tx6k/certora_cli_beta_mirror.egg-info/requires.txt
2026-07-08T13:42:51,669   writing top-level names to /tmp/pip-pip-egg-info-8292tx6k/certora_cli_beta_mirror.egg-info/top_level.txt
2026-07-08T13:42:51,671   writing manifest file '/tmp/pip-pip-egg-info-8292tx6k/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2026-07-08T13:42:51,767   reading manifest file '/tmp/pip-pip-egg-info-8292tx6k/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2026-07-08T13:42:51,769   reading manifest template 'MANIFEST.in'
2026-07-08T13:42:51,773   warning: no files found matching 'gambit' under directory 'certora_bins'
2026-07-08T13:42:51,868   adding license file 'LICENSE'
2026-07-08T13:42:51,873   writing manifest file '/tmp/pip-pip-egg-info-8292tx6k/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2026-07-08T13:42:51,982   Preparing metadata (setup.py): finished with status 'done'
2026-07-08T13:42:51,986   Source in /tmp/pip-wheel-szpfslb3/certora-cli-beta-mirror_0c3cb1090ab648699ec00e7f54b53285 has version 8.17.1, which satisfies requirement certora-cli-beta-mirror==8.17.1 from https://files.pythonhosted.org/packages/3b/45/a643c7fe26e0fc55b4147d82552071d09b34feb405ab4f36785f162b51de/certora_cli_beta_mirror-8.17.1.tar.gz
2026-07-08T13:42:51,987   Removed certora-cli-beta-mirror==8.17.1 from https://files.pythonhosted.org/packages/3b/45/a643c7fe26e0fc55b4147d82552071d09b34feb405ab4f36785f162b51de/certora_cli_beta_mirror-8.17.1.tar.gz from build tracker '/tmp/pip-build-tracker-i2n7i3mz'
2026-07-08T13:42:51,993 Created temporary directory: /tmp/pip-unpack-5qh677gj
2026-07-08T13:42:51,994 Building wheels for collected packages: certora-cli-beta-mirror
2026-07-08T13:42:52,000   Created temporary directory: /tmp/pip-wheel-ihp8834x
2026-07-08T13:42:52,000   Building wheel for certora-cli-beta-mirror (setup.py): started
2026-07-08T13:42:52,001   Destination directory: /tmp/pip-wheel-ihp8834x
2026-07-08T13:42:52,002   Running command python setup.py bdist_wheel
2026-07-08T13:42:52,845   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-07-08T13:42:52,845   !!

2026-07-08T13:42:52,846           ********************************************************************************
2026-07-08T13:42:52,847           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-07-08T13:42:52,847           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2026-07-08T13:42:52,848           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-07-08T13:42:52,849           ********************************************************************************

2026-07-08T13:42:52,850   !!
2026-07-08T13:42:52,851     self._finalize_license_expression()
2026-07-08T13:42:52,852   running bdist_wheel
2026-07-08T13:42:52,984   running build
2026-07-08T13:42:52,984   running build_py
2026-07-08T13:42:53,015   creating build/lib/certora_bins
2026-07-08T13:42:53,017   copying certora_bins/__init__.py -> build/lib/certora_bins
2026-07-08T13:42:53,019   creating build/lib/certora_cli
2026-07-08T13:42:53,020   copying certora_cli/certoraRanger.py -> build/lib/certora_cli
2026-07-08T13:42:53,022   copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli
2026-07-08T13:42:53,024   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2026-07-08T13:42:53,026   copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli
2026-07-08T13:42:53,028   copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli
2026-07-08T13:42:53,030   copying certora_cli/certoraConcord.py -> build/lib/certora_cli
2026-07-08T13:42:53,032   copying certora_cli/rustMutator.py -> build/lib/certora_cli
2026-07-08T13:42:53,034   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2026-07-08T13:42:53,036   copying certora_cli/__init__.py -> build/lib/certora_cli
2026-07-08T13:42:53,038   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2026-07-08T13:42:53,040   copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli
2026-07-08T13:42:53,042   copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli
2026-07-08T13:42:53,045   creating build/lib/certora_jars
2026-07-08T13:42:53,046   copying certora_jars/__init__.py -> build/lib/certora_jars
2026-07-08T13:42:53,048   creating build/lib/certora_cli/Mutate
2026-07-08T13:42:53,049   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2026-07-08T13:42:53,055   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2026-07-08T13:42:53,058   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2026-07-08T13:42:53,061   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2026-07-08T13:42:53,063   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2026-07-08T13:42:53,065   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2026-07-08T13:42:53,069   creating build/lib/certora_cli/EquivalenceCheck
2026-07-08T13:42:53,070   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2026-07-08T13:42:53,074   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2026-07-08T13:42:53,076   creating build/lib/certora_cli/Shared
2026-07-08T13:42:53,077   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2026-07-08T13:42:53,081   copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared
2026-07-08T13:42:53,086   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2026-07-08T13:42:53,091   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2026-07-08T13:42:53,096   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2026-07-08T13:42:53,099   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2026-07-08T13:42:53,102   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2026-07-08T13:42:53,109   creating build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,110   copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,113   copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,116   copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,121   copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,126   copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,130   copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,134   copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,138   copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,140   copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,144   copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,149   copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,153   copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,158   copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,162   copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,166   copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,173   copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,181   copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,189   copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,202   copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,208   copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,212   copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,216   copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,234   copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,237   copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,241   copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,244   copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,247   copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,251   copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,254   copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,258   copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,262   copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,265   copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver
2026-07-08T13:42:53,269   creating build/lib/certora_cli/CertoraProver/Compiler
2026-07-08T13:42:53,270   copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-08T13:42:53,276   copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-08T13:42:53,281   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-08T13:42:53,286   copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-08T13:42:53,291   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-08T13:42:53,295   copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-08T13:42:53,300   copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-07-08T13:42:53,304   running egg_info
2026-07-08T13:42:53,336   writing certora_cli_beta_mirror.egg-info/PKG-INFO
2026-07-08T13:42:53,340   writing dependency_links to certora_cli_beta_mirror.egg-info/dependency_links.txt
2026-07-08T13:42:53,343   writing entry points to certora_cli_beta_mirror.egg-info/entry_points.txt
2026-07-08T13:42:53,345   writing requirements to certora_cli_beta_mirror.egg-info/requires.txt
2026-07-08T13:42:53,347   writing top-level names to certora_cli_beta_mirror.egg-info/top_level.txt
2026-07-08T13:42:53,404   reading manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2026-07-08T13:42:53,410   reading manifest template 'MANIFEST.in'
2026-07-08T13:42:53,417   warning: no files found matching 'gambit' under directory 'certora_bins'
2026-07-08T13:42:53,515   adding license file 'LICENSE'
2026-07-08T13:42:53,521   writing manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2026-07-08T13:42:53,527   copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars
2026-07-08T13:42:53,878   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2026-07-08T13:42:53,880   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2026-07-08T13:42:54,364   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2026-07-08T13:42:54,366   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-07-08T13:42:54,368   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-07-08T13:42:54,371   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2026-07-08T13:42:54,373   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-07-08T13:42:54,375   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2026-07-08T13:42:54,408   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2026-07-08T13:42:54,408   !!

2026-07-08T13:42:54,410           ********************************************************************************
2026-07-08T13:42:54,410           Please avoid running ``setup.py`` directly.
2026-07-08T13:42:54,411           Instead, use pypa/build, pypa/installer or other
2026-07-08T13:42:54,412           standards-based tools.

2026-07-08T13:42:54,413           This deprecation is overdue, please update your project and remove deprecated
2026-07-08T13:42:54,413           calls to avoid build errors in the future.

2026-07-08T13:42:54,415           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2026-07-08T13:42:54,416           ********************************************************************************

2026-07-08T13:42:54,416   !!
2026-07-08T13:42:54,417     self.initialize_options()
2026-07-08T13:42:54,436   installing to build/bdist.linux-armv7l/wheel
2026-07-08T13:42:54,437   running install
2026-07-08T13:42:54,459   running install_lib
2026-07-08T13:42:54,487   creating build/bdist.linux-armv7l/wheel
2026-07-08T13:42:54,489   creating build/bdist.linux-armv7l/wheel/certora_bins
2026-07-08T13:42:54,490   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2026-07-08T13:42:54,492   creating build/bdist.linux-armv7l/wheel/certora_cli
2026-07-08T13:42:54,493   copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-08T13:42:54,495   copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-08T13:42:54,497   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2026-07-08T13:42:54,498   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-07-08T13:42:54,502   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-07-08T13:42:54,504   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-07-08T13:42:54,506   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-07-08T13:42:54,507   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-07-08T13:42:54,509   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-07-08T13:42:54,512   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-08T13:42:54,514   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2026-07-08T13:42:54,515   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-08T13:42:54,517   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-08T13:42:54,520   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-08T13:42:54,521   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-08T13:42:54,523   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-08T13:42:54,525   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-08T13:42:54,527   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-08T13:42:54,529   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-07-08T13:42:54,530   copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-08T13:42:54,533   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2026-07-08T13:42:54,534   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-08T13:42:54,537   copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-08T13:42:54,539   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-08T13:42:54,542   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-08T13:42:54,544   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-08T13:42:54,546   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-08T13:42:54,549   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-07-08T13:42:54,553   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver
2026-07-08T13:42:54,554   copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,556   copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,558   copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,561   copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,564   copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,566   copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,568   copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,571   copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,574   copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,577   copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,582   copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,584   copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,588   copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,591   copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,593   copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,595   copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,598   copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,603   copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,614   copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,617   copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,620   copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,623   copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,625   copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,628   copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,631   copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,634   copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,636   copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,639   copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,642   copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,645   copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,648   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler
2026-07-08T13:42:54,650   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-08T13:42:54,654   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-08T13:42:54,657   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-08T13:42:54,659   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-08T13:42:54,662   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-08T13:42:54,664   copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-08T13:42:54,666   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-07-08T13:42:54,669   copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,670   copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-07-08T13:42:54,673   copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-08T13:42:54,675   copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-08T13:42:54,676   copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-08T13:42:54,679   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-08T13:42:54,680   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-08T13:42:54,682   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-08T13:42:54,684   copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-08T13:42:54,686   copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-07-08T13:42:54,689   creating build/bdist.linux-armv7l/wheel/certora_jars
2026-07-08T13:42:54,690   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-07-08T13:42:54,692   copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-07-08T13:42:55,031   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-07-08T13:42:55,032   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-07-08T13:42:55,408   running install_egg_info
2026-07-08T13:42:55,442   Copying certora_cli_beta_mirror.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_beta_mirror-8.17.1-py3.11.egg-info
2026-07-08T13:42:55,453   running install_scripts
2026-07-08T13:42:55,465   creating build/bdist.linux-armv7l/wheel/certora_cli_beta_mirror-8.17.1.dist-info/WHEEL
2026-07-08T13:42:55,467   creating '/tmp/pip-wheel-ihp8834x/certora_cli_beta_mirror-8.17.1-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2026-07-08T13:42:55,470   adding 'certora_bins/__init__.py'
2026-07-08T13:42:55,472   adding 'certora_cli/__init__.py'
2026-07-08T13:42:55,473   adding 'certora_cli/certoraCVLFormatter.py'
2026-07-08T13:42:55,474   adding 'certora_cli/certoraConcord.py'
2026-07-08T13:42:55,476   adding 'certora_cli/certoraEVMProver.py'
2026-07-08T13:42:55,477   adding 'certora_cli/certoraEqCheck.py'
2026-07-08T13:42:55,478   adding 'certora_cli/certoraMutate.py'
2026-07-08T13:42:55,480   adding 'certora_cli/certoraRanger.py'
2026-07-08T13:42:55,481   adding 'certora_cli/certoraRun.py'
2026-07-08T13:42:55,483   adding 'certora_cli/certoraSolanaProver.py'
2026-07-08T13:42:55,484   adding 'certora_cli/certoraSorobanProver.py'
2026-07-08T13:42:55,486   adding 'certora_cli/certoraSuiProver.py'
2026-07-08T13:42:55,488   adding 'certora_cli/rustMutator.py'
2026-07-08T13:42:55,490   adding 'certora_cli/CertoraProver/__init__.py'
2026-07-08T13:42:55,492   adding 'certora_cli/CertoraProver/castingInstrumenter.py'
2026-07-08T13:42:55,493   adding 'certora_cli/CertoraProver/certoraApp.py'
2026-07-08T13:42:55,521   adding 'certora_cli/CertoraProver/certoraBuild.py'
2026-07-08T13:42:55,525   adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py'
2026-07-08T13:42:55,527   adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py'
2026-07-08T13:42:55,529   adding 'certora_cli/CertoraProver/certoraBuildRust.py'
2026-07-08T13:42:55,530   adding 'certora_cli/CertoraProver/certoraBuildSui.py'
2026-07-08T13:42:55,537   adding 'certora_cli/CertoraProver/certoraCloudIO.py'
2026-07-08T13:42:55,539   adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py'
2026-07-08T13:42:55,541   adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py'
2026-07-08T13:42:55,543   adding 'certora_cli/CertoraProver/certoraCompilerParameters.py'
2026-07-08T13:42:55,544   adding 'certora_cli/CertoraProver/certoraConfigIO.py'
2026-07-08T13:42:55,549   adding 'certora_cli/CertoraProver/certoraContext.py'
2026-07-08T13:42:55,554   adding 'certora_cli/CertoraProver/certoraContextAttributes.py'
2026-07-08T13:42:55,556   adding 'certora_cli/CertoraProver/certoraContextClass.py'
2026-07-08T13:42:55,562   adding 'certora_cli/CertoraProver/certoraContextValidator.py'
2026-07-08T13:42:55,564   adding 'certora_cli/CertoraProver/certoraContractFuncs.py'
2026-07-08T13:42:55,565   adding 'certora_cli/CertoraProver/certoraExtensionInfo.py'
2026-07-08T13:42:55,567   adding 'certora_cli/CertoraProver/certoraJobList.py'
2026-07-08T13:42:55,569   adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py'
2026-07-08T13:42:55,570   adding 'certora_cli/CertoraProver/certoraNodeFilters.py'
2026-07-08T13:42:55,572   adding 'certora_cli/CertoraProver/certoraOffsetConverter.py'
2026-07-08T13:42:55,573   adding 'certora_cli/CertoraProver/certoraParseBuildScript.py'
2026-07-08T13:42:55,575   adding 'certora_cli/CertoraProver/certoraProjectScanner.py'
2026-07-08T13:42:55,578   adding 'certora_cli/CertoraProver/certoraSourceFinders.py'
2026-07-08T13:42:55,581   adding 'certora_cli/CertoraProver/certoraType.py'
2026-07-08T13:42:55,583   adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py'
2026-07-08T13:42:55,585   adding 'certora_cli/CertoraProver/erc7201.py'
2026-07-08T13:42:55,586   adding 'certora_cli/CertoraProver/splitRules.py'
2026-07-08T13:42:55,589   adding 'certora_cli/CertoraProver/storageExtension.py'
2026-07-08T13:42:55,590   adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py'
2026-07-08T13:42:55,593   adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py'
2026-07-08T13:42:55,594   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py'
2026-07-08T13:42:55,596   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py'
2026-07-08T13:42:55,597   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py'
2026-07-08T13:42:55,605   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py'
2026-07-08T13:42:55,607   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py'
2026-07-08T13:42:55,608   adding 'certora_cli/CertoraProver/Compiler/__init__.py'
2026-07-08T13:42:55,610   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2026-07-08T13:42:55,611   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2026-07-08T13:42:55,612   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2026-07-08T13:42:55,614   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2026-07-08T13:42:55,615   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2026-07-08T13:42:55,616   adding 'certora_cli/EquivalenceCheck/__init__.py'
2026-07-08T13:42:55,619   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2026-07-08T13:42:55,620   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2026-07-08T13:42:55,621   adding 'certora_cli/Mutate/__init__.py'
2026-07-08T13:42:55,632   adding 'certora_cli/Mutate/mutateApp.py'
2026-07-08T13:42:55,634   adding 'certora_cli/Mutate/mutateAttributes.py'
2026-07-08T13:42:55,635   adding 'certora_cli/Mutate/mutateConstants.py'
2026-07-08T13:42:55,637   adding 'certora_cli/Mutate/mutateUtil.py'
2026-07-08T13:42:55,638   adding 'certora_cli/Mutate/mutateValidate.py'
2026-07-08T13:42:55,641   adding 'certora_cli/Shared/ExpectedComparator.py'
2026-07-08T13:42:55,643   adding 'certora_cli/Shared/__init__.py'
2026-07-08T13:42:55,644   adding 'certora_cli/Shared/certoraAttrUtil.py'
2026-07-08T13:42:55,647   adding 'certora_cli/Shared/certoraLogging.py'
2026-07-08T13:42:55,655   adding 'certora_cli/Shared/certoraUtils.py'
2026-07-08T13:42:55,660   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2026-07-08T13:42:55,662   adding 'certora_cli/Shared/proverCommon.py'
2026-07-08T13:42:55,665   adding 'certora_cli_beta_mirror-8.17.1.dist-info/licenses/LICENSE'
2026-07-08T13:42:58,274   adding 'certora_jars/ASTExtraction.jar'
2026-07-08T13:42:58,420   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2026-07-08T13:43:01,029   adding 'certora_jars/Typechecker.jar'
2026-07-08T13:43:01,177   adding 'certora_jars/__init__.py'
2026-07-08T13:43:01,178   adding 'certora_cli_beta_mirror-8.17.1.dist-info/METADATA'
2026-07-08T13:43:01,179   adding 'certora_cli_beta_mirror-8.17.1.dist-info/WHEEL'
2026-07-08T13:43:01,180   adding 'certora_cli_beta_mirror-8.17.1.dist-info/entry_points.txt'
2026-07-08T13:43:01,181   adding 'certora_cli_beta_mirror-8.17.1.dist-info/top_level.txt'
2026-07-08T13:43:01,183   adding 'certora_cli_beta_mirror-8.17.1.dist-info/RECORD'
2026-07-08T13:43:01,643   removing build/bdist.linux-armv7l/wheel
2026-07-08T13:43:01,792   Building wheel for certora-cli-beta-mirror (setup.py): finished with status 'done'
2026-07-08T13:43:02,225   Created wheel for certora-cli-beta-mirror: filename=certora_cli_beta_mirror-8.17.1-py3-none-any.whl size=43402132 sha256=77ed2a5f1a5c1a96e260a0efc15520cb8f1e102fdbd969a29e3ae6547b0dfa62
2026-07-08T13:43:02,226   Stored in directory: /tmp/pip-ephem-wheel-cache-hryqb2i0/wheels/31/b8/55/8093ccf07cfade48eec8f76a12a9670467f8388a2cf44eaa63
2026-07-08T13:43:02,252 Successfully built certora-cli-beta-mirror
2026-07-08T13:43:03,292 Removed build tracker: '/tmp/pip-build-tracker-i2n7i3mz'