2025-01-09T10:20:11,338 Created temporary directory: /tmp/pip-build-tracker-rq9i8z3o 2025-01-09T10:20:11,339 Initialized build tracking at /tmp/pip-build-tracker-rq9i8z3o 2025-01-09T10:20:11,340 Created build tracker: /tmp/pip-build-tracker-rq9i8z3o 2025-01-09T10:20:11,341 Entered build tracker: /tmp/pip-build-tracker-rq9i8z3o 2025-01-09T10:20:11,341 Created temporary directory: /tmp/pip-wheel-1cfs3yrb 2025-01-09T10:20:11,345 Created temporary directory: /tmp/pip-ephem-wheel-cache-omkr7nhc 2025-01-09T10:20:11,393 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-01-09T10:20:11,395 2 location(s) to search for versions of certora-cli-beta-mirror: 2025-01-09T10:20:11,395 * https://pypi.org/simple/certora-cli-beta-mirror/ 2025-01-09T10:20:11,395 * https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2025-01-09T10:20:11,396 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-beta-mirror/ 2025-01-09T10:20:11,397 Getting page https://pypi.org/simple/certora-cli-beta-mirror/ 2025-01-09T10:20:11,399 Found index url https://pypi.org/simple/ 2025-01-09T10:20:11,624 Fetched page https://pypi.org/simple/certora-cli-beta-mirror/ as application/vnd.pypi.simple.v1+json 2025-01-09T10:20:11,637 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/23/89/ccc42a28cb59cbe15a30f037756c18ffb3ea5d8c676beffb102e78ca9aca/certora_cli_beta_mirror-7.17.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,638 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/94/64/a5452ca1c5b031c60ad59619d06a5b08f2a63aee1fe612a5a2ed3731aa24/certora_cli_beta_mirror-7.17.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,639 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/97/f7/943dd777549175d73a3e36a4c3c5322a17c3f6450e025d89f22cc2391d9e/certora_cli_beta_mirror-7.17.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,640 Found link https://files.pythonhosted.org/packages/78/7b/565eb89fa95f53318cfffdfaf3c30fa425edcab7f5c3ff4132afa5d1498e/certora_cli_beta_mirror-7.17.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.0 2025-01-09T10:20:11,641 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a6/50/a2ec88e48ea527dc6ef78484a6569542247bed9c6480c877fa92fd28c0a9/certora_cli_beta_mirror-7.17.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,641 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/92/f7/da44e1276b2bf0310e7178ce74078973c9a93a5a21a856591404b2576318/certora_cli_beta_mirror-7.17.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,642 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c2/47/5c875198abbe3bfd099f970f36b5e827db2a6ed46b81daf7d0cc4e5e6f22/certora_cli_beta_mirror-7.17.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,643 Found link https://files.pythonhosted.org/packages/1c/36/889047d565e07e872e8a3c9ded451b34f077fe164f26ef2ca34b370322bb/certora_cli_beta_mirror-7.17.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.1 2025-01-09T10:20:11,643 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bd/42/ed7a252b516cd24dd958052ae4f8bee8e5650a8048617e6f9fa5fa5d3933/certora_cli_beta_mirror-7.17.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,644 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/57/5a/cb27c4050a2ec26f9a903ae8698a09fa13441dc0b5a757558a1fb5810603/certora_cli_beta_mirror-7.17.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,645 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/83/fb/df32c065d881c7126eb5a908dbeac0eb950ada7d41313f8596e40e22a6c4/certora_cli_beta_mirror-7.17.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,646 Found link https://files.pythonhosted.org/packages/e0/d3/c71bbf1f5c35d7673495e00a0921496f352c13c4af31b7fca71b82f18bbc/certora_cli_beta_mirror-7.17.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.2 2025-01-09T10:20:11,646 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/7e/06/e51d2f1a35da3bfd056cbd47dc1148ed71a4511b7fac2866860f70351bae/certora_cli_beta_mirror-7.18.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,647 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/29/6d/816b30a79c16791d550e7a476653cd16708c3230d880ba6eeed80627d5af/certora_cli_beta_mirror-7.18.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,648 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/27/73/f6896058ab65932f1e21d69e2f3cc8b2fc35a9b4ffae9edeb57a814ed1f4/certora_cli_beta_mirror-7.18.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,648 Found link https://files.pythonhosted.org/packages/61/67/500481a15ea47b2fca79f0711eb601685a33a3b11b85df4cf4806a4e6284/certora_cli_beta_mirror-7.18.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.0 2025-01-09T10:20:11,649 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ec/0e/7dd4b1ef9ee998336ba8e6ec485b3f8ea2ed1f88368a85a7d5c5c0864811/certora_cli_beta_mirror-7.18.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,650 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/fc/03/0c5c2ef1e1d8495ed1be330a6889d42ff1a30297ae8769096a1fcde87a6a/certora_cli_beta_mirror-7.18.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,650 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/84/56/bb057e2ec19e619a885ad344ce7d993dfcbd96bc455873e4de96ab48676c/certora_cli_beta_mirror-7.18.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,651 Found link https://files.pythonhosted.org/packages/9a/3d/9c21579a44707f6211fbbe0d57f8939f73a83d3b5cf57731446f84c4c803/certora_cli_beta_mirror-7.18.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.1 2025-01-09T10:20:11,652 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a1/71/6e7d65a712bb5c447394fa1873f3f6a0eca92c803b41cdc0edc7df36ad0e/certora_cli_beta_mirror-7.18.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,653 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/86/e9/a6d0865aee4a2280d94fe73732faab3d6cd275bdc9fb48dd84f8791bb49a/certora_cli_beta_mirror-7.18.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,653 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/5e/ca/ca3d250450f59b38a481a903840e9f828dbf701b0e07207dab77a3fed861/certora_cli_beta_mirror-7.18.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,654 Found link https://files.pythonhosted.org/packages/80/32/2dc6aff1d5b484ec3ebc4872accb93a68ea7af7a4086e241a798c132ccf4/certora_cli_beta_mirror-7.18.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.2 2025-01-09T10:20:11,655 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/85/7f/b2df9b936804c70ba85705060eb193ec6c9e39154e4c5691d7fc655aacb9/certora_cli_beta_mirror-7.19.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,655 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/93/fc/86b03fefa7d535721e4256e1df8d4a51d729edfd9b21ddb7c1a89f1f4dc1/certora_cli_beta_mirror-7.19.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,656 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bc/52/bd815baf5ef6f806ce28f1a37cc73d94a8d33756864f5d663311cfbaa135/certora_cli_beta_mirror-7.19.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,657 Found link https://files.pythonhosted.org/packages/99/9c/0c1ad853c72304b7b70b773b5df52857d482dfe2c15fca3567d4e3499077/certora_cli_beta_mirror-7.19.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.19.0 2025-01-09T10:20:11,658 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/13/48/0247f8a6170a253ee932c31debb1f05c4d082067267a11b66d2e07160bd9/certora_cli_beta_mirror-7.20.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,658 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/cf/34/a220dea233a087e544b06e7197f10dbc4348d2641fb7969848a7e6449b13/certora_cli_beta_mirror-7.20.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,659 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/6c/5e/c30f3ec564f17149db1e5dabe8430b3816b74e59766e063106d3d6d4d93a/certora_cli_beta_mirror-7.20.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,660 Found link https://files.pythonhosted.org/packages/a0/d7/b336403ddc64b9a5600bff1ff8de6d2a04d00f1e78cf857476f51c8853a7/certora_cli_beta_mirror-7.20.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.20.0 2025-01-09T10:20:11,660 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/eb/40/4c779731cd1e2384e6cc0aa80bdddf842bf593f23e4e53db4de63d07435a/certora_cli_beta_mirror-7.20.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,661 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/5f/13/c578f2133318dc976cc8237b9b632eca98c0912935b5b818b50c4762349f/certora_cli_beta_mirror-7.20.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,661 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/71/97/eb53aec447e3cda70dcecacce1772a7786c1c1d9d5d0b5dfae4620a6bbc9/certora_cli_beta_mirror-7.20.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,662 Found link https://files.pythonhosted.org/packages/d1/80/335fe727c35691a4f8da89731fd8bf9d6eb2ebf66c7ecf50f8e17f811a30/certora_cli_beta_mirror-7.20.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.20.1 2025-01-09T10:20:11,663 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/18/0f/0ca1db6b683c0a2eb6d6ea84e0c4e1a900fc1bfa03e8aadff43e0fbea03f/certora_cli_beta_mirror-7.20.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,664 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/02/cb/9a5ed79fb84d7bfaa7936d3a044e68d5d43c79a35c495265295d31c3c3f6/certora_cli_beta_mirror-7.20.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,664 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/9d/b2/fa89904c6fa3a61403beb03d43473ce9af42fa5171c33df3351f66e05e20/certora_cli_beta_mirror-7.20.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,665 Found link https://files.pythonhosted.org/packages/64/81/ef3b8418e05fe5fdb328fd748396084d43d168791f49d84b23534e939a06/certora_cli_beta_mirror-7.20.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.20.2 2025-01-09T10:20:11,665 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/08/58/f5b3b14ceebb79f8645e70b460ba0b15240b86ca5d19c7eac8c0d760f465/certora_cli_beta_mirror-7.20.3-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,666 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/be/63/56bbf29bb7ff72ff39bc517d57b239f86815af73b11c822a705a2f05684d/certora_cli_beta_mirror-7.20.3-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,666 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/78/00/c6dae0d93916b1f4cfa4d362b35b49de32f3caac64c09bf8252cc01d104a/certora_cli_beta_mirror-7.20.3-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,667 Found link https://files.pythonhosted.org/packages/77/3e/351e4d13744d848c54e0ae716269a4cd9a4e6965c058806d1aa262115cf7/certora_cli_beta_mirror-7.20.3.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.20.3 2025-01-09T10:20:11,668 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/4c/47/cb52b5235ceb8cbf116c81d1831357a16fcb3a3277f2f5944d963f4b7a93/certora_cli_beta_mirror-7.21.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,668 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/78/32/d027a34cc95d7666b9d5e91987be217f312a22b7230a67e2cc20d3f163ac/certora_cli_beta_mirror-7.21.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,669 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ff/5a/685d05adc064868af79f893af6b37dc627f6203e00436fa0f5de1a144462/certora_cli_beta_mirror-7.21.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,670 Found link https://files.pythonhosted.org/packages/5d/f4/679b88d84270adb87f3da4d035e388d38efa82c305046dd1f0e741e34ffe/certora_cli_beta_mirror-7.21.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.21.0 2025-01-09T10:20:11,671 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/9e/4d/316f5c5d046eb30fb7b97e8dd4403987edaeaff5646b5ed85b6e61b20481/certora_cli_beta_mirror-7.21.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,671 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/7b/8d/67190550a7e6914d347886ea31f54662d3581eb887d8a9cede2812b6bb5b/certora_cli_beta_mirror-7.21.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,672 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/f3/78/e4a92552161c70ae85f3100018c89de792259c88c54602eed720dd684b8b/certora_cli_beta_mirror-7.21.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,673 Found link https://files.pythonhosted.org/packages/a0/3e/97b88a0e8ee5813741d4bd5b37443d6e9f31a58141c31011f7a81a7bee51/certora_cli_beta_mirror-7.21.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.21.1 2025-01-09T10:20:11,673 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/6d/33/9afa57e18ae032c019205bfdc33a17b002c099ff8882ae4e24fc8b9e4dd1/certora_cli_beta_mirror-7.22.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,674 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/0a/38/f20a3d06209b5ec067103f75e72f2b58d87ffb8e6a35ef2ccba9f6cb94ea/certora_cli_beta_mirror-7.22.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,674 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ff/5d/6b8384a56a76c2e18f9357fb603fb962e076790ea084ee1782704b5c4560/certora_cli_beta_mirror-7.22.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,675 Found link https://files.pythonhosted.org/packages/32/de/acefbb1afaeb10a3c235af6b0bb9374caf68f260c46774281e9b74536e2d/certora_cli_beta_mirror-7.22.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.22.0 2025-01-09T10:20:11,676 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/d0/1c/dc16876cb6a3597332ebc0916dc61de876b14d503d16962905e4fcbbb67b/certora_cli_beta_mirror-7.22.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,677 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c2/80/57eb78cbc6bac77164e6745291a1f84552c0097ee88a3bc014a16cc2cb08/certora_cli_beta_mirror-7.22.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,677 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/b7/47/49d8736b02205c89173ae8a4cdab6ba17175b9f3469af072d9f959720837/certora_cli_beta_mirror-7.22.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,678 Found link https://files.pythonhosted.org/packages/e4/c6/bbaec4f8bbd23f365b864875225bf057a18d874e2a735a5ed73510abc9d6/certora_cli_beta_mirror-7.22.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.22.1 2025-01-09T10:20:11,679 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/f2/9f/e0e3bbe4f414451d0b8ab23393073c127ec42058801f4c4642ec159fca10/certora_cli_beta_mirror-7.22.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,680 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bd/db/46c25a4e680ec757831cc6ca42ed53e2215438329c1d8ad9be194c7c9c88/certora_cli_beta_mirror-7.22.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,680 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/85/e6/921e30c8312c6680ca3868a21448298d1a557890e246e638eedae21b8c2a/certora_cli_beta_mirror-7.22.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,681 Found link https://files.pythonhosted.org/packages/98/3a/89e4520a98e965730917f3cd05a14e5a670bdbc6dc8e90555746dc21fe4a/certora_cli_beta_mirror-7.22.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.22.2 2025-01-09T10:20:11,682 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2025-01-09T10:20:11,683 Getting page https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2025-01-09T10:20:11,684 Found index url https://www.piwheels.org/simple/ 2025-01-09T10:20:11,847 Fetched page https://www.piwheels.org/simple/certora-cli-beta-mirror/ as text/html 2025-01-09T10:20:11,853 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.22.1-py3-none-any.whl#sha256=eef25c930d749351e10b62d0d7317c6add57dd7d87a305db90196b463356a1b4 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,853 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.22.0-py3-none-any.whl#sha256=2f95c76a8cf8bd34e0dde659efba86692b7b545bf32adc89f8bb7f1ce288a3ed (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,854 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.21.1-py3-none-any.whl#sha256=d909fc52bfd877a3a14326d6540a6b4e6043fc45c872f4f37f18716b17f35a96 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,854 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.21.0-py3-none-any.whl#sha256=a77004cfaeabecf8b217e73379afade3fae63f07d5fd98622b7255f37ca333bc (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,855 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.20.3-py3-none-any.whl#sha256=920125cceac68eeb867a0b15a498aa07e8fea0b706cc1ad8de39c21fe0c41a0c (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,855 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.20.2-py3-none-any.whl#sha256=2bdd1bab361fd277814bc23711d631220a43336e6ff8944ca6f1d02617c7ae8f (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,856 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.20.1-py3-none-any.whl#sha256=4707888361056f07e31e94cc08dbf372e59e7487f05cb4c730b944dcf061af0a (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,856 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.20.0-py3-none-any.whl#sha256=b7c9341056df47cd776d2bafc06bd9841087501e157c803ef371e9aa16dc1779 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,857 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.19.0-py3-none-any.whl#sha256=1bcb60ab34d7f94a973a3dbd828226560c06b711a1a1df64d60c01f0fb45ee67 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,858 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.2-py3-none-any.whl#sha256=e3c4f26d0056c4eadbe9e924c395fe31ba90e0853c6195bdf50b7a7b4f1d9ff9 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,858 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.1-py3-none-any.whl#sha256=46d0114cb857d8b7549c72785815db662370f09ecb136c654fb87cf53b69350e (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,859 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.0-py3-none-any.whl#sha256=e7a42a97fd7829ed5211fc7e1d3e5ed06f3474c0980834d12a288c80587d1bec (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,859 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.2-py3-none-any.whl#sha256=3b8f73ac7166dadd40015cc5d19ba6b315a077d724c497f68d9a3d677a155771 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,860 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.1-py3-none-any.whl#sha256=9618614b09f8a1a9045adf4ef400aeebfc0a15058524dbb0ee24b90111ea721a (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,860 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.0-py3-none-any.whl#sha256=ebd400b65bef47785c001f8de433eee7b13617950ccc62883223c788cf28d6ff (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2025-01-09T10:20:11,861 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2025-01-09T10:20:11,861 Skipping link: not a file: https://pypi.org/simple/certora-cli-beta-mirror/ 2025-01-09T10:20:11,882 Given no hashes to check 1 links for project 'certora-cli-beta-mirror': discarding no candidates 2025-01-09T10:20:11,884 Collecting certora-cli-beta-mirror==7.22.2 2025-01-09T10:20:11,886 Created temporary directory: /tmp/pip-unpack-oeetezjb 2025-01-09T10:20:12,106 Downloading certora_cli_beta_mirror-7.22.2.tar.gz (15.6 MB) 2025-01-09T10:20:15,073 Added certora-cli-beta-mirror==7.22.2 from https://files.pythonhosted.org/packages/98/3a/89e4520a98e965730917f3cd05a14e5a670bdbc6dc8e90555746dc21fe4a/certora_cli_beta_mirror-7.22.2.tar.gz to build tracker '/tmp/pip-build-tracker-rq9i8z3o' 2025-01-09T10:20:15,076 Running setup.py (path:/tmp/pip-wheel-1cfs3yrb/certora-cli-beta-mirror_9b85a4887d6f490d91c95a0df6a0ea51/setup.py) egg_info for package certora-cli-beta-mirror 2025-01-09T10:20:15,077 Created temporary directory: /tmp/pip-pip-egg-info-slvnv3x3 2025-01-09T10:20:15,078 Preparing metadata (setup.py): started 2025-01-09T10:20:15,080 Running command python setup.py egg_info 2025-01-09T10:20:16,153 running egg_info 2025-01-09T10:20:16,181 creating /tmp/pip-pip-egg-info-slvnv3x3/certora_cli_beta_mirror.egg-info 2025-01-09T10:20:16,182 writing /tmp/pip-pip-egg-info-slvnv3x3/certora_cli_beta_mirror.egg-info/PKG-INFO 2025-01-09T10:20:16,185 writing dependency_links to /tmp/pip-pip-egg-info-slvnv3x3/certora_cli_beta_mirror.egg-info/dependency_links.txt 2025-01-09T10:20:16,187 writing entry points to /tmp/pip-pip-egg-info-slvnv3x3/certora_cli_beta_mirror.egg-info/entry_points.txt 2025-01-09T10:20:16,188 writing requirements to /tmp/pip-pip-egg-info-slvnv3x3/certora_cli_beta_mirror.egg-info/requires.txt 2025-01-09T10:20:16,190 writing top-level names to /tmp/pip-pip-egg-info-slvnv3x3/certora_cli_beta_mirror.egg-info/top_level.txt 2025-01-09T10:20:16,191 writing manifest file '/tmp/pip-pip-egg-info-slvnv3x3/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2025-01-09T10:20:16,287 reading manifest file '/tmp/pip-pip-egg-info-slvnv3x3/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2025-01-09T10:20:16,289 reading manifest template 'MANIFEST.in' 2025-01-09T10:20:16,294 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-01-09T10:20:16,375 adding license file 'LICENSE' 2025-01-09T10:20:16,380 writing manifest file '/tmp/pip-pip-egg-info-slvnv3x3/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2025-01-09T10:20:16,488 Preparing metadata (setup.py): finished with status 'done' 2025-01-09T10:20:16,492 Source in /tmp/pip-wheel-1cfs3yrb/certora-cli-beta-mirror_9b85a4887d6f490d91c95a0df6a0ea51 has version 7.22.2, which satisfies requirement certora-cli-beta-mirror==7.22.2 from https://files.pythonhosted.org/packages/98/3a/89e4520a98e965730917f3cd05a14e5a670bdbc6dc8e90555746dc21fe4a/certora_cli_beta_mirror-7.22.2.tar.gz 2025-01-09T10:20:16,493 Removed certora-cli-beta-mirror==7.22.2 from https://files.pythonhosted.org/packages/98/3a/89e4520a98e965730917f3cd05a14e5a670bdbc6dc8e90555746dc21fe4a/certora_cli_beta_mirror-7.22.2.tar.gz from build tracker '/tmp/pip-build-tracker-rq9i8z3o' 2025-01-09T10:20:16,500 Created temporary directory: /tmp/pip-unpack-u4nquf56 2025-01-09T10:20:16,501 Created temporary directory: /tmp/pip-unpack-8e293xin 2025-01-09T10:20:16,502 Building wheels for collected packages: certora-cli-beta-mirror 2025-01-09T10:20:16,506 Created temporary directory: /tmp/pip-wheel-mjaced36 2025-01-09T10:20:16,507 Building wheel for certora-cli-beta-mirror (setup.py): started 2025-01-09T10:20:16,508 Destination directory: /tmp/pip-wheel-mjaced36 2025-01-09T10:20:16,509 Running command python setup.py bdist_wheel 2025-01-09T10:20:17,571 running bdist_wheel 2025-01-09T10:20:17,707 running build 2025-01-09T10:20:17,708 running build_py 2025-01-09T10:20:17,738 creating build/lib/certora_cli 2025-01-09T10:20:17,740 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2025-01-09T10:20:17,743 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2025-01-09T10:20:17,745 copying certora_cli/__init__.py -> build/lib/certora_cli 2025-01-09T10:20:17,747 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2025-01-09T10:20:17,749 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2025-01-09T10:20:17,751 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2025-01-09T10:20:17,753 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2025-01-09T10:20:17,756 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2025-01-09T10:20:17,759 creating build/lib/certora_bins 2025-01-09T10:20:17,760 copying certora_bins/__init__.py -> build/lib/certora_bins 2025-01-09T10:20:17,762 creating build/lib/certora_jars 2025-01-09T10:20:17,763 copying certora_jars/__init__.py -> build/lib/certora_jars 2025-01-09T10:20:17,766 creating build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,768 copying certora_cli/EVMVerifier/certoraSourceFinders.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,771 copying certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,773 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,776 copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,779 copying certora_cli/EVMVerifier/certoraBuildRust.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,781 copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,784 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,786 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,788 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,791 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,793 copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,795 copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,798 copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,800 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,802 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,809 copying certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,811 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,815 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,818 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,821 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,824 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,826 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2025-01-09T10:20:17,831 creating build/lib/certora_cli/EquivalenceCheck 2025-01-09T10:20:17,832 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2025-01-09T10:20:17,835 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2025-01-09T10:20:17,837 creating build/lib/certora_cli/Shared 2025-01-09T10:20:17,838 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2025-01-09T10:20:17,841 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2025-01-09T10:20:17,843 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2025-01-09T10:20:17,846 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2025-01-09T10:20:17,850 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2025-01-09T10:20:17,852 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2025-01-09T10:20:17,856 creating build/lib/certora_cli/Mutate 2025-01-09T10:20:17,857 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2025-01-09T10:20:17,860 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2025-01-09T10:20:17,861 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2025-01-09T10:20:17,865 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2025-01-09T10:20:17,867 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2025-01-09T10:20:17,871 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2025-01-09T10:20:17,874 creating build/lib/certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:17,875 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:17,879 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:17,881 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:17,883 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:17,885 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:17,887 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:17,890 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:17,891 running egg_info 2025-01-09T10:20:17,920 writing certora_cli_beta_mirror.egg-info/PKG-INFO 2025-01-09T10:20:17,923 writing dependency_links to certora_cli_beta_mirror.egg-info/dependency_links.txt 2025-01-09T10:20:17,925 writing entry points to certora_cli_beta_mirror.egg-info/entry_points.txt 2025-01-09T10:20:17,926 writing requirements to certora_cli_beta_mirror.egg-info/requires.txt 2025-01-09T10:20:17,927 writing top-level names to certora_cli_beta_mirror.egg-info/top_level.txt 2025-01-09T10:20:17,968 reading manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt' 2025-01-09T10:20:17,973 reading manifest template 'MANIFEST.in' 2025-01-09T10:20:17,977 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-01-09T10:20:18,058 adding license file 'LICENSE' 2025-01-09T10:20:18,064 writing manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt' 2025-01-09T10:20:18,070 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2025-01-09T10:20:18,072 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2025-01-09T10:20:18,321 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2025-01-09T10:20:18,323 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-01-09T10:20:18,325 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-01-09T10:20:18,327 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2025-01-09T10:20:18,329 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-01-09T10:20:18,331 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2025-01-09T10:20:18,366 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-01-09T10:20:18,366 !! 2025-01-09T10:20:18,367 ******************************************************************************** 2025-01-09T10:20:18,368 Please avoid running ``setup.py`` directly. 2025-01-09T10:20:18,369 Instead, use pypa/build, pypa/installer or other 2025-01-09T10:20:18,369 standards-based tools. 2025-01-09T10:20:18,371 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-01-09T10:20:18,371 ******************************************************************************** 2025-01-09T10:20:18,372 !! 2025-01-09T10:20:18,373 self.initialize_options() 2025-01-09T10:20:18,395 installing to build/bdist.linux-armv7l/wheel 2025-01-09T10:20:18,396 running install 2025-01-09T10:20:18,422 running install_lib 2025-01-09T10:20:18,450 creating build/bdist.linux-armv7l/wheel 2025-01-09T10:20:18,453 creating build/bdist.linux-armv7l/wheel/certora_cli 2025-01-09T10:20:18,454 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-01-09T10:20:18,456 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-01-09T10:20:18,459 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-01-09T10:20:18,460 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-01-09T10:20:18,463 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2025-01-09T10:20:18,464 copying build/lib/certora_cli/EVMVerifier/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,466 copying build/lib/certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,469 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,471 copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,474 copying build/lib/certora_cli/EVMVerifier/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,476 copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,479 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,480 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,482 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,485 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,487 copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,489 copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,492 copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,494 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,496 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,502 copying build/lib/certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,504 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,507 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,510 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,512 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,515 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:18,516 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:18,520 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:18,522 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:18,528 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:18,530 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:18,532 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:18,535 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2025-01-09T10:20:18,536 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,538 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2025-01-09T10:20:18,541 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-01-09T10:20:18,543 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2025-01-09T10:20:18,545 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-01-09T10:20:18,547 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-01-09T10:20:18,549 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-01-09T10:20:18,551 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-01-09T10:20:18,553 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-01-09T10:20:18,555 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-01-09T10:20:18,556 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-01-09T10:20:18,558 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-01-09T10:20:18,561 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2025-01-09T10:20:18,562 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-01-09T10:20:18,565 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-01-09T10:20:18,567 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-01-09T10:20:18,570 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-01-09T10:20:18,573 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-01-09T10:20:18,575 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-01-09T10:20:18,578 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2025-01-09T10:20:18,579 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-01-09T10:20:18,582 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-01-09T10:20:18,584 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-01-09T10:20:18,586 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-01-09T10:20:18,588 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-01-09T10:20:18,591 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-01-09T10:20:18,593 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-01-09T10:20:18,595 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-01-09T10:20:18,597 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-01-09T10:20:18,600 creating build/bdist.linux-armv7l/wheel/certora_bins 2025-01-09T10:20:18,601 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2025-01-09T10:20:18,604 creating build/bdist.linux-armv7l/wheel/certora_jars 2025-01-09T10:20:18,605 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-01-09T10:20:18,607 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-01-09T10:20:18,608 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-01-09T10:20:18,836 running install_egg_info 2025-01-09T10:20:18,871 Copying certora_cli_beta_mirror.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_beta_mirror-7.22.2-py3.11.egg-info 2025-01-09T10:20:18,882 running install_scripts 2025-01-09T10:20:18,898 creating build/bdist.linux-armv7l/wheel/certora_cli_beta_mirror-7.22.2.dist-info/WHEEL 2025-01-09T10:20:18,901 creating '/tmp/pip-wheel-mjaced36/certora_cli_beta_mirror-7.22.2-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-01-09T10:20:18,903 adding 'certora_bins/__init__.py' 2025-01-09T10:20:18,905 adding 'certora_cli/__init__.py' 2025-01-09T10:20:18,906 adding 'certora_cli/certoraEVMProver.py' 2025-01-09T10:20:18,907 adding 'certora_cli/certoraEqCheck.py' 2025-01-09T10:20:18,909 adding 'certora_cli/certoraMutate.py' 2025-01-09T10:20:18,911 adding 'certora_cli/certoraRun.py' 2025-01-09T10:20:18,913 adding 'certora_cli/certoraSolanaProver.py' 2025-01-09T10:20:18,914 adding 'certora_cli/certoraSorobanProver.py' 2025-01-09T10:20:18,916 adding 'certora_cli/rustMutator.py' 2025-01-09T10:20:18,918 adding 'certora_cli/EVMVerifier/__init__.py' 2025-01-09T10:20:18,941 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2025-01-09T10:20:18,944 adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py' 2025-01-09T10:20:18,946 adding 'certora_cli/EVMVerifier/certoraBuildDataClasses.py' 2025-01-09T10:20:18,948 adding 'certora_cli/EVMVerifier/certoraBuildRust.py' 2025-01-09T10:20:18,954 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2025-01-09T10:20:18,956 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2025-01-09T10:20:18,957 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2025-01-09T10:20:18,959 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2025-01-09T10:20:18,962 adding 'certora_cli/EVMVerifier/certoraContext.py' 2025-01-09T10:20:18,966 adding 'certora_cli/EVMVerifier/certoraContextAttributes.py' 2025-01-09T10:20:18,968 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2025-01-09T10:20:18,973 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2025-01-09T10:20:18,975 adding 'certora_cli/EVMVerifier/certoraContractFuncs.py' 2025-01-09T10:20:18,976 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2025-01-09T10:20:18,978 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2025-01-09T10:20:18,980 adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py' 2025-01-09T10:20:18,981 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2025-01-09T10:20:18,983 adding 'certora_cli/EVMVerifier/certoraParseBuildScript.py' 2025-01-09T10:20:18,985 adding 'certora_cli/EVMVerifier/certoraSourceFinders.py' 2025-01-09T10:20:18,988 adding 'certora_cli/EVMVerifier/certoraType.py' 2025-01-09T10:20:18,991 adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py' 2025-01-09T10:20:18,993 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2025-01-09T10:20:18,994 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2025-01-09T10:20:18,995 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2025-01-09T10:20:18,996 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py' 2025-01-09T10:20:19,004 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2025-01-09T10:20:19,005 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py' 2025-01-09T10:20:19,006 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2025-01-09T10:20:19,008 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2025-01-09T10:20:19,009 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2025-01-09T10:20:19,011 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2025-01-09T10:20:19,012 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2025-01-09T10:20:19,013 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2025-01-09T10:20:19,014 adding 'certora_cli/EquivalenceCheck/__init__.py' 2025-01-09T10:20:19,017 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2025-01-09T10:20:19,018 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2025-01-09T10:20:19,020 adding 'certora_cli/Mutate/__init__.py' 2025-01-09T10:20:19,029 adding 'certora_cli/Mutate/mutateApp.py' 2025-01-09T10:20:19,032 adding 'certora_cli/Mutate/mutateAttributes.py' 2025-01-09T10:20:19,033 adding 'certora_cli/Mutate/mutateConstants.py' 2025-01-09T10:20:19,034 adding 'certora_cli/Mutate/mutateUtil.py' 2025-01-09T10:20:19,036 adding 'certora_cli/Mutate/mutateValidate.py' 2025-01-09T10:20:19,039 adding 'certora_cli/Shared/ExpectedComparator.py' 2025-01-09T10:20:19,040 adding 'certora_cli/Shared/__init__.py' 2025-01-09T10:20:19,042 adding 'certora_cli/Shared/certoraAttrUtil.py' 2025-01-09T10:20:19,044 adding 'certora_cli/Shared/certoraLogging.py' 2025-01-09T10:20:19,051 adding 'certora_cli/Shared/certoraUtils.py' 2025-01-09T10:20:19,056 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2025-01-09T10:20:19,059 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2025-01-09T10:20:20,958 adding 'certora_jars/Typechecker.jar' 2025-01-09T10:20:21,062 adding 'certora_jars/__init__.py' 2025-01-09T10:20:21,063 adding 'certora_cli_beta_mirror-7.22.2.dist-info/LICENSE' 2025-01-09T10:20:21,064 adding 'certora_cli_beta_mirror-7.22.2.dist-info/METADATA' 2025-01-09T10:20:21,065 adding 'certora_cli_beta_mirror-7.22.2.dist-info/WHEEL' 2025-01-09T10:20:21,066 adding 'certora_cli_beta_mirror-7.22.2.dist-info/entry_points.txt' 2025-01-09T10:20:21,067 adding 'certora_cli_beta_mirror-7.22.2.dist-info/top_level.txt' 2025-01-09T10:20:21,068 adding 'certora_cli_beta_mirror-7.22.2.dist-info/RECORD' 2025-01-09T10:20:21,289 removing build/bdist.linux-armv7l/wheel 2025-01-09T10:20:21,421 Building wheel for certora-cli-beta-mirror (setup.py): finished with status 'done' 2025-01-09T10:20:21,577 Created wheel for certora-cli-beta-mirror: filename=certora_cli_beta_mirror-7.22.2-py3-none-any.whl size=15652064 sha256=7d39a1c1b06eec44f84ea3a2b2eea1845d1ff7690c0c584a584dfac11b416145 2025-01-09T10:20:21,578 Stored in directory: /tmp/pip-ephem-wheel-cache-omkr7nhc/wheels/cd/48/c3/f7b376f34bba9a8d8afadbeb2b0bdfdb115294bf50a59f9f45 2025-01-09T10:20:21,598 Successfully built certora-cli-beta-mirror 2025-01-09T10:20:22,062 Removed build tracker: '/tmp/pip-build-tracker-rq9i8z3o'