2026-03-13T16:02:59,431 Created temporary directory: /tmp/pip-ephem-wheel-cache-6214bvuy 2026-03-13T16:02:59,433 Created temporary directory: /tmp/pip-build-tracker-alamw7rp 2026-03-13T16:02:59,434 Initialized build tracking at /tmp/pip-build-tracker-alamw7rp 2026-03-13T16:02:59,434 Created build tracker: /tmp/pip-build-tracker-alamw7rp 2026-03-13T16:02:59,434 Entered build tracker: /tmp/pip-build-tracker-alamw7rp 2026-03-13T16:02:59,435 Created temporary directory: /tmp/pip-wheel-8vmgncxv 2026-03-13T16:02:59,439 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-03-13T16:02:59,441 Created temporary directory: /tmp/pip-ephem-wheel-cache-rw47_lo9 2026-03-13T16:02:59,463 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-03-13T16:02:59,467 2 location(s) to search for versions of certora-cli-alpha-master: 2026-03-13T16:02:59,467 * https://pypi.org/simple/certora-cli-alpha-master/ 2026-03-13T16:02:59,467 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-03-13T16:02:59,468 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2026-03-13T16:02:59,469 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2026-03-13T16:02:59,470 Found index url https://pypi.org/simple 2026-03-13T16:02:59,608 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2026-03-13T16:02:59,627 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/47/de/3d237365789b239160162a0c05e7b8a7defeb95f4587635e116dbbff44fe/certora_cli_alpha_master-20260302.9.3.374163-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,628 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b0/86/0cbde3dc323c072f94ab2540fecdfa38d918a55762286bb5b2ab8ed0b5ac/certora_cli_alpha_master-20260302.9.3.374163-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,629 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a7/7e/9a6586dd02a86c9d5e53fd2a19ff48aa3de147050f6451847379e4930d32/certora_cli_alpha_master-20260302.9.3.374163-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,630 Found link https://files.pythonhosted.org/packages/14/e6/22febad87f9f478e4c628dcc8749407d95107c547d3d4c8dbc74ca048fff/certora_cli_alpha_master-20260302.9.3.374163.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260302.9.3.374163 2026-03-13T16:02:59,631 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4f/b2/03face2fa1586b41f09724ee23ebd3b431df19eddee0f541a730db0e9057/certora_cli_alpha_master-20260302.18.6.546398-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,631 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e7/08/ebe0effd1dbba2feced97aef7173a146356ede4308510e12b3e771ba5cd6/certora_cli_alpha_master-20260302.18.6.546398-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,632 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/75/cb/a9f14bdded14980c6428ba29aeb9e9cb6dee5f2b0a7811813a2c338c2354/certora_cli_alpha_master-20260302.18.6.546398-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,633 Found link https://files.pythonhosted.org/packages/44/dc/a624f41913ffbc0197e22d484e8efa9d1d856c2850e12aafacb05e94d3ca/certora_cli_alpha_master-20260302.18.6.546398.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260302.18.6.546398 2026-03-13T16:02:59,634 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/72/97/9da08e7b52a168dfa7a02c008f6f96b37c9f5a75216ea02e1ae527b19fd1/certora_cli_alpha_master-20260302.18.57.219401-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,634 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/48/c6/80b4289eebdde3a2a3330964dea487b2eaba1cc1553ad5bb270a0835ee38/certora_cli_alpha_master-20260302.18.57.219401-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,635 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a3/ae/7a3830ae4a2c2f141f37d6b75cf726a9ebea9617910b604b80434d4b694b/certora_cli_alpha_master-20260302.18.57.219401-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,636 Found link https://files.pythonhosted.org/packages/74/02/2f7e7110c60bf616dceaa38fd25f7a98546a491503b1bd5575ddf32163a8/certora_cli_alpha_master-20260302.18.57.219401.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260302.18.57.219401 2026-03-13T16:02:59,636 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/26/86/12cba799c1b9fc9c4eebdb523a3151df5ee501fbe04dd821e91f34166166/certora_cli_alpha_master-20260302.22.32.104958-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,637 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/02/5f/b101697869e934d2e61dcea1bb5d8a867c1335c8c14dceb3d2266f18178e/certora_cli_alpha_master-20260302.22.32.104958-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,638 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/29/03/118610127677590713a0d6e8d86502e21e9a8c8b3246529e5a40055fd78c/certora_cli_alpha_master-20260302.22.32.104958-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,638 Found link https://files.pythonhosted.org/packages/ae/80/c6846bc3800f6c49ecb84edf5ce004f8ce0cb28d4d1f826480dcfe6e3a18/certora_cli_alpha_master-20260302.22.32.104958.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260302.22.32.104958 2026-03-13T16:02:59,639 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/40/12/2a31e6ede1be6b45910e174cd0efb502422c40b0618f83ae9cd4c23be997/certora_cli_alpha_master-20260303.15.42.477822-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,641 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/37/5c/b820d37ebfcf3a22e25dda15acad1cb0bfa6193ae084a93340a740194527/certora_cli_alpha_master-20260303.15.42.477822-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,641 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9e/c4/d8f6e182a6f44d868d267662e350e2a0908f792a17e5a6b75bb46160eac9/certora_cli_alpha_master-20260303.15.42.477822-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,642 Found link https://files.pythonhosted.org/packages/ca/fa/439154a6f5d54fcc34966cb6d9d58f9b35a31379c6f195c318c7cafb7070/certora_cli_alpha_master-20260303.15.42.477822.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260303.15.42.477822 2026-03-13T16:02:59,643 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/af/79/25d68511c84aa6ef563ede7e4bd5c2ad3724704bd315e02513978faabbf4/certora_cli_alpha_master-20260303.16.30.59732-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,644 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a5/04/fa190b4bbc40e9f256d8ef0026e36107d8963da1e0493c3d4f687703e796/certora_cli_alpha_master-20260303.16.30.59732-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,644 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/94/89/31035770818fbb1313017f3f670a6cd7c579557a6ee612a6fa8414856819/certora_cli_alpha_master-20260303.16.30.59732-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,645 Found link https://files.pythonhosted.org/packages/38/b9/cd755dacc163fc06f953b323b95c945a16e0655bbe6600944b076477a6a0/certora_cli_alpha_master-20260303.16.30.59732.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260303.16.30.59732 2026-03-13T16:02:59,646 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d6/c1/5d0def213e1193a1fd5a410cba696a11373bc43be2ec1ab893f6453f480a/certora_cli_alpha_master-20260303.18.1.360942-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,646 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/55/aa/0536f8c35d26fceb2d0decb02fcbd00f3b4c272d6b06584d6344b88029fe/certora_cli_alpha_master-20260303.18.1.360942-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,647 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7f/b6/45567e19414b5d1add4f470c8106a6e9abd265973005aabb086a767712f0/certora_cli_alpha_master-20260303.18.1.360942-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,648 Found link https://files.pythonhosted.org/packages/6d/66/1adf16260ca6c5d79d9b35e2612ccd74a0e20eb139d56cf26a3440c3ee34/certora_cli_alpha_master-20260303.18.1.360942.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260303.18.1.360942 2026-03-13T16:02:59,649 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c7/d7/e4a6f31fee0f238040142227dab80a91ca8112024e970e372b7b541175af/certora_cli_alpha_master-20260304.8.40.405033-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,649 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b4/0e/872825e32b0a1607b09092c11f2e7b3d6c29bc0ea855ee5bb7370774c6f8/certora_cli_alpha_master-20260304.8.40.405033-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,650 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6a/81/4f33dd759f459bb73357c4cb93ef504608c96c7d49ff10235c3e2822c110/certora_cli_alpha_master-20260304.8.40.405033-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,651 Found link https://files.pythonhosted.org/packages/70/a9/e17d49a64ab8d8e1740dff1ef3cc64a8a4c50d92711f315de327fdaf183d/certora_cli_alpha_master-20260304.8.40.405033.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260304.8.40.405033 2026-03-13T16:02:59,652 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/14/85/ccb738e6d2696a54fd9d883ee4d0376b1740c9019718a92699949c39c8a3/certora_cli_alpha_master-20260304.9.31.509394-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,653 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/75/ae/e0ce44ed514924bf2317c6f6b244c84437c2e698a537b5760f8fd2637685/certora_cli_alpha_master-20260304.9.31.509394-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,653 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fc/9c/9dda269ca92751d2b111ee45b4f14d897739c7147bed8a22f0bd013fe7fa/certora_cli_alpha_master-20260304.9.31.509394-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,654 Found link https://files.pythonhosted.org/packages/17/40/0a345ce50a2e38ea8969bfc5dd3a6d676adf2d55d1530c5628f86541115f/certora_cli_alpha_master-20260304.9.31.509394.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260304.9.31.509394 2026-03-13T16:02:59,654 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cf/a3/0f3ad04929b27f3906823569378a7c940ac9cd0b6f801d1b7aed49de9010/certora_cli_alpha_master-20260304.10.19.497613-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,655 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/95/16/07255d7da4fc376b78f3198d713f5c59c1615bd059f3115c63ffa7fdc542/certora_cli_alpha_master-20260304.10.19.497613-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,656 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/62/36/9cabd84f1e23275f57ec18a2200538c2189abd3c06918d30584065128c4c/certora_cli_alpha_master-20260304.10.19.497613-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,657 Found link https://files.pythonhosted.org/packages/25/e2/a5502c4861ab185d25cd531dcbbdb85d1d65fe941b12da0817dac9844e61/certora_cli_alpha_master-20260304.10.19.497613.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260304.10.19.497613 2026-03-13T16:02:59,658 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a1/1f/817a76561a11d6bf83289bd28ab697519327f2b8a73dd5323ed103b8fd22/certora_cli_alpha_master-20260304.11.6.875707-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,658 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/38/01/ea53ab5d82f7436f8db7564d9fbe94e37c0e583fd21bb6c1482ec4ff5eb0/certora_cli_alpha_master-20260304.11.6.875707-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,659 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/28/65/edc99ec03369d9ac0b58414ae5292e45d68cc2e4c49be9a9def0959ecd68/certora_cli_alpha_master-20260304.11.6.875707-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,660 Found link https://files.pythonhosted.org/packages/d6/a4/87eca1e86ff6fe1da6afd2a5560170ccba146eab94c9d4cb2730b190df85/certora_cli_alpha_master-20260304.11.6.875707.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260304.11.6.875707 2026-03-13T16:02:59,661 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0b/87/7ab445baab1586beca83c230e01df448fab4e3de67e2e660ebf27994b61f/certora_cli_alpha_master-20260304.17.31.426288-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,661 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/61/e6/92ec244f0b4528fb6f947b45a2102bf9fda7f810721414ff07c390ca9bd5/certora_cli_alpha_master-20260304.17.31.426288-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,662 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d1/c5/93663064362b7bd51b4a37a0c2e6751a8cbfc9ee8cd8d81eb98935970006/certora_cli_alpha_master-20260304.17.31.426288-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,662 Found link https://files.pythonhosted.org/packages/db/1d/88b036de4379b868dcf63df230d50f25251c4cffc91f2569adfc0baf84da/certora_cli_alpha_master-20260304.17.31.426288.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260304.17.31.426288 2026-03-13T16:02:59,663 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/73/9b/f1b278b874661e11af32ce76817e05068d533bd93a00731ccde58290f214/certora_cli_alpha_master-20260306.0.25.424864-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,664 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/51/3d/b4e57f39c33dc9d37aaa29c5a6b08bb3049d4f8c6fe2500c7133db0d277d/certora_cli_alpha_master-20260306.0.25.424864-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,665 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7c/2a/3996521e1a4b696068830114e3c6c2cb704a548959c6c0fc0722ef7502d6/certora_cli_alpha_master-20260306.0.25.424864-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,666 Found link https://files.pythonhosted.org/packages/6f/75/9fd5e4b6c7e81e5091d5e319752b7ebb5a27a43dc4d3feb4a03a744882d8/certora_cli_alpha_master-20260306.0.25.424864.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260306.0.25.424864 2026-03-13T16:02:59,666 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b3/db/7749d0315f5fa6420d342f1ab1ca4a2da51c53ed925a75feaae945cf6fb1/certora_cli_alpha_master-20260306.1.14.852863-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,667 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/27/4f/5cf9bb8f5930385c70b6401d22173c32b434fa9cec016549a6f38eed8a79/certora_cli_alpha_master-20260306.1.14.852863-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,668 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/21/0c/6c6d4c8ea4a584eeab99c5120e34505e714237eb1d05d58e837a07b4a15c/certora_cli_alpha_master-20260306.1.14.852863-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,668 Found link https://files.pythonhosted.org/packages/a2/9d/ee76774a1a92afe18ace6c6c1a2663d23582ccefafed8b9e8bff0862f0a1/certora_cli_alpha_master-20260306.1.14.852863.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260306.1.14.852863 2026-03-13T16:02:59,669 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/df/99/cdefef033a908d58f6fa081b078a670ea0d5f94eb78cfed3c9ca860a0869/certora_cli_alpha_master-20260306.10.3.902804-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,670 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/46/8d/79664af1e034f17d2f308fa7ce9c10fa19ff2892e384cceac625e0fd6526/certora_cli_alpha_master-20260306.10.3.902804-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,671 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/25/a8/cb2e8e33a95f5b55c60512ba52bf2a7eecc63d304fb29f80db861b74cba3/certora_cli_alpha_master-20260306.10.3.902804-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,671 Found link https://files.pythonhosted.org/packages/11/1b/8a5a48253b703bb3c656e81b9777e347fbdb5953ea7d90f822f0defeb507/certora_cli_alpha_master-20260306.10.3.902804.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260306.10.3.902804 2026-03-13T16:02:59,672 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/da/be/44b3898572e74a31860fa59f7c2243aeecc55c56c262d1e541e765546021/certora_cli_alpha_master-20260306.23.4.779861-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,673 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/09/2f/1559eb51d5ca04d9a230990a52afec26b8a92fb857478ec9ee3c8632714e/certora_cli_alpha_master-20260306.23.4.779861-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,673 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2b/e7/5b2cbee2dd5a1c483a43cae9f1c13d0468986032cc3b8b3675ed9ac6710b/certora_cli_alpha_master-20260306.23.4.779861-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,674 Found link https://files.pythonhosted.org/packages/69/a3/37c42cc6c4b0effdbe2d5c4b868aefc12cfff11646f28af865d524761c95/certora_cli_alpha_master-20260306.23.4.779861.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260306.23.4.779861 2026-03-13T16:02:59,675 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e9/ce/0701dbfdc0ce0c4f14f5d081f340d91993d887b0046d0f41e084ec0534f7/certora_cli_alpha_master-20260309.21.56.98695-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,676 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3b/e9/e4fde2cbb592e03240207ab516dcfa04137f44f5fb852aa5a29e720374f9/certora_cli_alpha_master-20260309.21.56.98695-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,676 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/75/9f/88b8aab13f35c7607f28540864d8ac8501295fdf606d19c9bbb580ce1a5f/certora_cli_alpha_master-20260309.21.56.98695-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,677 Found link https://files.pythonhosted.org/packages/b3/34/db93214f566c8ae4714b98dd9ec571c03cbbcc42f6404ced60392719ad80/certora_cli_alpha_master-20260309.21.56.98695.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260309.21.56.98695 2026-03-13T16:02:59,678 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1a/72/fb633b8c33838ea08ada56c512b0d40af0b25213696c9ce3b4257edb94e7/certora_cli_alpha_master-20260310.9.36.293620-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,679 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b3/10/9bec747e84849b378a307aefb990841abaf90da9b1bf64e1c3ef5c79c9ef/certora_cli_alpha_master-20260310.9.36.293620-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,679 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2e/7b/21773940805184d59788aa0c309813489496caf3e96d75e92b62a59e0bf6/certora_cli_alpha_master-20260310.9.36.293620-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,680 Found link https://files.pythonhosted.org/packages/df/20/7a842d53c293a55daf0b858861c0fa36e04a2e6a440e7cf5dc1a36e8c4ed/certora_cli_alpha_master-20260310.9.36.293620.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260310.9.36.293620 2026-03-13T16:02:59,681 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/68/da/0118605462f7446f0f4c319036ae31b2c6b5084c411222c30c7da8a5dba3/certora_cli_alpha_master-20260310.18.5.416360-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,682 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ff/de/3784d16ef7d492c4ca1405d5b479ae6dc81d68402f8d987e708d3694f530/certora_cli_alpha_master-20260310.18.5.416360-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,683 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d5/a5/399a685f69ef1d2de92ca88962a77e1dc662a430e091170c9fc7cd7c0c6b/certora_cli_alpha_master-20260310.18.5.416360-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,683 Found link https://files.pythonhosted.org/packages/db/db/3826ae1fb34ae188f13d43173bf552550916150c3128f7dbd37a1b789285/certora_cli_alpha_master-20260310.18.5.416360.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260310.18.5.416360 2026-03-13T16:02:59,685 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/43/45/9613f75ceafba526b730a3ba28a6b14ed5ba135d135d47fd56ba8734e712/certora_cli_alpha_master-20260310.20.35.953396-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,685 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4b/32/c3d0c7d7e68b4a33e33bffd34c56fa89a15097d1f5f6af3d6f4d822ec9de/certora_cli_alpha_master-20260310.20.35.953396-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,686 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a7/2a/3e0d590fb8f38d0e0667a333bf75a6a70fe904600273857bea3d1ea7f24f/certora_cli_alpha_master-20260310.20.35.953396-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,687 Found link https://files.pythonhosted.org/packages/3c/e3/b1a0ed7ef72bb0f84c4da5781b8d1a7bbce4f18c981a11fc85f777ca9e0e/certora_cli_alpha_master-20260310.20.35.953396.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260310.20.35.953396 2026-03-13T16:02:59,688 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4d/3d/fd22b12f052f0880503597af4ed577702c4949c1b115311483882f576511/certora_cli_alpha_master-20260312.3.22.570848-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,688 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f7/e0/c22147f4edac9c18bfef17acaab0120a566a91dce1fccf14ea9376e5713f/certora_cli_alpha_master-20260312.3.22.570848-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,689 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9f/55/ce27e54f1d8d95edc885556cc56b8f151d99737cb34b5d8168b5ef1ba6ae/certora_cli_alpha_master-20260312.3.22.570848-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,689 Found link https://files.pythonhosted.org/packages/be/c2/007784f6e6428c587be11300972c2dd1e732ca2ecff6e494212daea1e8f6/certora_cli_alpha_master-20260312.3.22.570848.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260312.3.22.570848 2026-03-13T16:02:59,690 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/36/df/d31a7da520ccaf9de99f49327b40d9359694fb8f7a435912ac4e1029e760/certora_cli_alpha_master-20260312.18.35.827866-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,691 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a9/6c/5339f4da8c8017dc252d3cf485159fd5dec2c0e8d440451505b78e4a27ac/certora_cli_alpha_master-20260312.18.35.827866-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,692 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/04/d7/35ba3c0a4cf92843e8cfd4b6f499974bed3475b6fb3b468c4e7e55336cea/certora_cli_alpha_master-20260312.18.35.827866-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,693 Found link https://files.pythonhosted.org/packages/cc/18/505060047606b5d91025d4c06cb6b54f120d77d9fc4a24497bd87c9e93cf/certora_cli_alpha_master-20260312.18.35.827866.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260312.18.35.827866 2026-03-13T16:02:59,693 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8c/63/97c20f192e8deb90e41561b2486a64018e3358155a77a909910f49c28c33/certora_cli_alpha_master-20260312.19.23.212073-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,694 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f6/33/dfa6d8d9d8bec3fc3de8e4cd163dd2a6c8a45649596be16cd1d8abacb6fe/certora_cli_alpha_master-20260312.19.23.212073-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,695 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/17/ef/fe3b8d41cab6ac8e886690c4e96a8e10d6d44ca0bfc4c7200f7bb3365a2c/certora_cli_alpha_master-20260312.19.23.212073-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,696 Found link https://files.pythonhosted.org/packages/71/bb/ff72970ccc635ea637fea56c13eaad31a9563177ccf8dbcc113c210b33a9/certora_cli_alpha_master-20260312.19.23.212073.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260312.19.23.212073 2026-03-13T16:02:59,696 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2e/ae/1a3e511b8554c6b7e5fbcb1fca21fcb79e9f8e7afca094d05f1d9b32251d/certora_cli_alpha_master-20260312.20.12.222110-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,697 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f0/c9/9b8d8153f289238ad3a65ee1743a37380378b60df4eea85976c2492c6322/certora_cli_alpha_master-20260312.20.12.222110-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,697 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/69/0e/8189ff56b23ded36f9508ff32fbeda0afe70c2d27f2f17ce50f7dece4081/certora_cli_alpha_master-20260312.20.12.222110-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,698 Found link https://files.pythonhosted.org/packages/1e/e5/13be7abe9d7787517884f802ef11729cc46a93278ce8b2aca86a3f998e1e/certora_cli_alpha_master-20260312.20.12.222110.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260312.20.12.222110 2026-03-13T16:02:59,699 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/64/9a/9ec4550ad86e588c15e024fe40824bc29018d6fbf8548843ead967485b45/certora_cli_alpha_master-20260312.22.24.962241-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,699 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2c/64/84c52ae085cd15249c392606e91c04fcaaf7558cc75179b63ea9d6d7d4d2/certora_cli_alpha_master-20260312.22.24.962241-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,700 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/64/f5/978da9af8d33630971996c38aa3b5335417badbedddacea30ae6801bdc7e/certora_cli_alpha_master-20260312.22.24.962241-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,701 Found link https://files.pythonhosted.org/packages/4c/3e/af7a59facba8ed11d49c6fb1e8a9bedbc732a85dbb2393647cc4870f2c49/certora_cli_alpha_master-20260312.22.24.962241.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260312.22.24.962241 2026-03-13T16:02:59,702 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-03-13T16:02:59,702 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-03-13T16:02:59,704 Found index url https://www.piwheels.org/simple 2026-03-13T16:02:59,869 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2026-03-13T16:02:59,877 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260312.20.12.222110-py3-none-any.whl#sha256=815530eac2f4959352cd8680670472ede54461040e1de38780544c4b71db5230 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,877 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260312.19.23.212073-py3-none-any.whl#sha256=661fbad494a87531f5e29d2ae1911d1ae810846bcd46a550d382bf09280299a8 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,878 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260312.18.35.827866-py3-none-any.whl#sha256=07b5bdf9317557caf16604b2c588c8aa9a14762969ede6316a406e41f0adc5f6 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,879 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260312.3.22.570848-py3-none-any.whl#sha256=3c98dcd6288a53a76083738ff0c9eca3782232d6416a92e4aacff0b2456517c3 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,879 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260310.20.35.953396-py3-none-any.whl#sha256=ca6f35d787731a3a724965c266ace3c6a15f6660b49dab1bc3716a57a820d4b8 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,880 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260310.18.5.416360-py3-none-any.whl#sha256=4dbc67593b3c2c20be695b34687e1ee2b1fe99204d5dd88969b051b851aa87cc (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,880 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260310.9.36.293620-py3-none-any.whl#sha256=06baa014938e6eaae65e2f762306cf2318838ce8567dad9846dae0c024eef974 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,881 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260309.21.56.98695-py3-none-any.whl#sha256=cac307087063b777ddae690291d6f09fe8d65d2a29cf41ed0d459d836b4fa803 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,881 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260306.23.4.779861-py3-none-any.whl#sha256=bbb5721c314f98b7be7308dca251061ca8bd6efbf7813c040ee85e680e1ade2c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,882 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260306.10.3.902804-py3-none-any.whl#sha256=62b825b87094eeeba9741eb084d0b5ba25a7b0ca662486747af9781c73ddcb44 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,883 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260306.1.14.852863-py3-none-any.whl#sha256=38044cd8674156ff1a5618fe7f3cdd883b8ca30d0fc061e8396891237782b45a (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,883 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260306.0.25.424864-py3-none-any.whl#sha256=741fde5546b4f385b856dce69e6e7700f99958565821eea633c4c5e1a425dbb7 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,884 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260304.17.31.426288-py3-none-any.whl#sha256=4de18c7ce0c5f34a5d79c5f1915fd0357e261122c0c4d81d1897097ae4c38fff (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,884 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260304.11.6.875707-py3-none-any.whl#sha256=2655b9fc5cf7390f26c7bf88a68f581cea93dde69f81c203b229804fca88111c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,885 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260304.10.19.497613-py3-none-any.whl#sha256=cfa3fbc636d4b41d3866fb326913c2534e4f44211182197dc23c85efc0c09d30 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,885 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260304.9.31.509394-py3-none-any.whl#sha256=c47bc877b8abc599616d54762f262954a362fecb4939cb1f6eafd19bb863adff (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,886 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260304.8.40.405033-py3-none-any.whl#sha256=da10cdce442944feee00ec945a58d8e2755a5b5ae443a7e6928f143f3fbb60b2 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,886 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260303.18.1.360942-py3-none-any.whl#sha256=5f7eceb3bef4ad77bac2efba571c86b0ab23ee5dbd243c6a0214752c0c99540b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,887 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260303.16.30.59732-py3-none-any.whl#sha256=fce323daf76530ca46db07b16f3478cb70230c9af135b0fedc2ba1f084739856 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,887 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260303.15.42.477822-py3-none-any.whl#sha256=57d4f95ff0dc3a1541780097a5a0c34444979e3b70ba52ce6078d2f09cbe615c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,888 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260302.22.32.104958-py3-none-any.whl#sha256=32257e010267ba4b9eb13a5702d7214ed449a66bbed819d3c61ef71fd3220d3d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,889 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260302.18.57.219401-py3-none-any.whl#sha256=ea04348f90d830ea21e2f22a5459395f5687a4ce38d4e1fe47407bebf585b0af (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,889 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260302.18.6.546398-py3-none-any.whl#sha256=cfdedfa76bd7aa6d1457a34f4d365922fb1f37eaddd578b90c00b8f4ad3510af (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,890 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260302.9.3.374163-py3-none-any.whl#sha256=dbda3fa8aadc6760f7cc6d27156834773302151e93428cc0a2da3de8fe8bfc15 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-13T16:02:59,891 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-03-13T16:02:59,891 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2026-03-13T16:02:59,913 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2026-03-13T16:02:59,931 Collecting certora-cli-alpha-master==20260312.22.24.962241 2026-03-13T16:02:59,933 Created temporary directory: /tmp/pip-unpack-p9u87b7e 2026-03-13T16:03:00,147 Downloading certora_cli_alpha_master-20260312.22.24.962241.tar.gz (43.2 MB) 2026-03-13T16:03:07,984 Added certora-cli-alpha-master==20260312.22.24.962241 from https://files.pythonhosted.org/packages/4c/3e/af7a59facba8ed11d49c6fb1e8a9bedbc732a85dbb2393647cc4870f2c49/certora_cli_alpha_master-20260312.22.24.962241.tar.gz to build tracker '/tmp/pip-build-tracker-alamw7rp' 2026-03-13T16:03:07,986 Running setup.py (path:/tmp/pip-wheel-8vmgncxv/certora-cli-alpha-master_6a1ceef8a49d49ed875a9dc01d998626/setup.py) egg_info for package certora-cli-alpha-master 2026-03-13T16:03:07,986 Created temporary directory: /tmp/pip-pip-egg-info-vt11mst_ 2026-03-13T16:03:07,987 Preparing metadata (setup.py): started 2026-03-13T16:03:07,988 Running command python setup.py egg_info 2026-03-13T16:03:08,865 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-03-13T16:03:08,865 !! 2026-03-13T16:03:08,866 ******************************************************************************** 2026-03-13T16:03:08,867 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-03-13T16:03:08,868 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-03-13T16:03:08,869 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-03-13T16:03:08,870 ******************************************************************************** 2026-03-13T16:03:08,871 !! 2026-03-13T16:03:08,872 self._finalize_license_expression() 2026-03-13T16:03:08,896 running egg_info 2026-03-13T16:03:08,924 creating /tmp/pip-pip-egg-info-vt11mst_/certora_cli_alpha_master.egg-info 2026-03-13T16:03:08,925 writing /tmp/pip-pip-egg-info-vt11mst_/certora_cli_alpha_master.egg-info/PKG-INFO 2026-03-13T16:03:08,928 writing dependency_links to /tmp/pip-pip-egg-info-vt11mst_/certora_cli_alpha_master.egg-info/dependency_links.txt 2026-03-13T16:03:08,930 writing entry points to /tmp/pip-pip-egg-info-vt11mst_/certora_cli_alpha_master.egg-info/entry_points.txt 2026-03-13T16:03:08,932 writing requirements to /tmp/pip-pip-egg-info-vt11mst_/certora_cli_alpha_master.egg-info/requires.txt 2026-03-13T16:03:08,933 writing top-level names to /tmp/pip-pip-egg-info-vt11mst_/certora_cli_alpha_master.egg-info/top_level.txt 2026-03-13T16:03:08,935 writing manifest file '/tmp/pip-pip-egg-info-vt11mst_/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-03-13T16:03:09,035 reading manifest file '/tmp/pip-pip-egg-info-vt11mst_/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-03-13T16:03:09,036 reading manifest template 'MANIFEST.in' 2026-03-13T16:03:09,041 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-03-13T16:03:09,135 adding license file 'LICENSE' 2026-03-13T16:03:09,140 writing manifest file '/tmp/pip-pip-egg-info-vt11mst_/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-03-13T16:03:09,247 Preparing metadata (setup.py): finished with status 'done' 2026-03-13T16:03:09,251 Source in /tmp/pip-wheel-8vmgncxv/certora-cli-alpha-master_6a1ceef8a49d49ed875a9dc01d998626 has version 20260312.22.24.962241, which satisfies requirement certora-cli-alpha-master==20260312.22.24.962241 from https://files.pythonhosted.org/packages/4c/3e/af7a59facba8ed11d49c6fb1e8a9bedbc732a85dbb2393647cc4870f2c49/certora_cli_alpha_master-20260312.22.24.962241.tar.gz 2026-03-13T16:03:09,252 Removed certora-cli-alpha-master==20260312.22.24.962241 from https://files.pythonhosted.org/packages/4c/3e/af7a59facba8ed11d49c6fb1e8a9bedbc732a85dbb2393647cc4870f2c49/certora_cli_alpha_master-20260312.22.24.962241.tar.gz from build tracker '/tmp/pip-build-tracker-alamw7rp' 2026-03-13T16:03:09,258 Created temporary directory: /tmp/pip-unpack-o8broga3 2026-03-13T16:03:09,258 Building wheels for collected packages: certora-cli-alpha-master 2026-03-13T16:03:09,263 Created temporary directory: /tmp/pip-wheel-jlv7nvsx 2026-03-13T16:03:09,263 Building wheel for certora-cli-alpha-master (setup.py): started 2026-03-13T16:03:09,264 Destination directory: /tmp/pip-wheel-jlv7nvsx 2026-03-13T16:03:09,265 Running command python setup.py bdist_wheel 2026-03-13T16:03:10,090 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-03-13T16:03:10,090 !! 2026-03-13T16:03:10,091 ******************************************************************************** 2026-03-13T16:03:10,092 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-03-13T16:03:10,093 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-03-13T16:03:10,094 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-03-13T16:03:10,094 ******************************************************************************** 2026-03-13T16:03:10,095 !! 2026-03-13T16:03:10,096 self._finalize_license_expression() 2026-03-13T16:03:10,096 running bdist_wheel 2026-03-13T16:03:10,223 running build 2026-03-13T16:03:10,223 running build_py 2026-03-13T16:03:10,255 creating build/lib/certora_bins 2026-03-13T16:03:10,257 copying certora_bins/__init__.py -> build/lib/certora_bins 2026-03-13T16:03:10,260 creating build/lib/certora_cli 2026-03-13T16:03:10,261 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2026-03-13T16:03:10,263 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2026-03-13T16:03:10,264 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2026-03-13T16:03:10,266 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2026-03-13T16:03:10,268 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2026-03-13T16:03:10,271 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2026-03-13T16:03:10,272 copying certora_cli/__init__.py -> build/lib/certora_cli 2026-03-13T16:03:10,274 copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli 2026-03-13T16:03:10,276 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2026-03-13T16:03:10,277 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2026-03-13T16:03:10,279 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2026-03-13T16:03:10,281 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2026-03-13T16:03:10,283 creating build/lib/certora_jars 2026-03-13T16:03:10,284 copying certora_jars/__init__.py -> build/lib/certora_jars 2026-03-13T16:03:10,287 creating build/lib/certora_cli/Mutate 2026-03-13T16:03:10,288 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2026-03-13T16:03:10,290 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2026-03-13T16:03:10,291 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2026-03-13T16:03:10,294 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2026-03-13T16:03:10,295 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2026-03-13T16:03:10,298 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2026-03-13T16:03:10,302 creating build/lib/certora_cli/EquivalenceCheck 2026-03-13T16:03:10,303 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2026-03-13T16:03:10,305 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2026-03-13T16:03:10,308 creating build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,309 copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,311 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,313 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,315 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,318 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,320 copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,322 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,324 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,327 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,329 copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,331 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,334 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,338 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,340 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,342 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,345 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,348 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,350 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,353 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,357 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,361 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,363 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,365 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,367 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,369 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,371 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,377 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,379 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,382 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,384 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,386 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,388 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2026-03-13T16:03:10,391 creating build/lib/certora_cli/Shared 2026-03-13T16:03:10,392 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2026-03-13T16:03:10,394 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2026-03-13T16:03:10,397 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2026-03-13T16:03:10,399 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2026-03-13T16:03:10,401 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2026-03-13T16:03:10,404 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2026-03-13T16:03:10,407 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2026-03-13T16:03:10,410 creating build/lib/certora_cli/CertoraProver/Compiler 2026-03-13T16:03:10,411 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-13T16:03:10,414 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-13T16:03:10,418 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-13T16:03:10,420 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-13T16:03:10,422 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-13T16:03:10,424 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-13T16:03:10,426 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-13T16:03:10,428 running egg_info 2026-03-13T16:03:10,455 writing certora_cli_alpha_master.egg-info/PKG-INFO 2026-03-13T16:03:10,458 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2026-03-13T16:03:10,460 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2026-03-13T16:03:10,462 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2026-03-13T16:03:10,463 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2026-03-13T16:03:10,500 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-03-13T16:03:10,506 reading manifest template 'MANIFEST.in' 2026-03-13T16:03:10,510 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-03-13T16:03:10,609 adding license file 'LICENSE' 2026-03-13T16:03:10,615 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-03-13T16:03:10,622 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2026-03-13T16:03:10,980 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2026-03-13T16:03:10,982 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2026-03-13T16:03:11,411 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2026-03-13T16:03:11,413 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-03-13T16:03:11,416 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-03-13T16:03:11,418 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2026-03-13T16:03:11,421 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-03-13T16:03:11,423 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2026-03-13T16:03:11,458 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2026-03-13T16:03:11,458 !! 2026-03-13T16:03:11,459 ******************************************************************************** 2026-03-13T16:03:11,460 Please avoid running ``setup.py`` directly. 2026-03-13T16:03:11,460 Instead, use pypa/build, pypa/installer or other 2026-03-13T16:03:11,460 standards-based tools. 2026-03-13T16:03:11,461 This deprecation is overdue, please update your project and remove deprecated 2026-03-13T16:03:11,462 calls to avoid build errors in the future. 2026-03-13T16:03:11,462 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2026-03-13T16:03:11,463 ******************************************************************************** 2026-03-13T16:03:11,464 !! 2026-03-13T16:03:11,464 self.initialize_options() 2026-03-13T16:03:11,489 installing to build/bdist.linux-armv7l/wheel 2026-03-13T16:03:11,490 running install 2026-03-13T16:03:11,514 running install_lib 2026-03-13T16:03:11,541 creating build/bdist.linux-armv7l/wheel 2026-03-13T16:03:11,544 creating build/bdist.linux-armv7l/wheel/certora_bins 2026-03-13T16:03:11,546 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2026-03-13T16:03:11,548 creating build/bdist.linux-armv7l/wheel/certora_cli 2026-03-13T16:03:11,550 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2026-03-13T16:03:11,552 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-03-13T16:03:11,554 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-03-13T16:03:11,556 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-03-13T16:03:11,559 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-03-13T16:03:11,562 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-03-13T16:03:11,564 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-03-13T16:03:11,569 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2026-03-13T16:03:11,571 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-13T16:03:11,573 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-13T16:03:11,575 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-13T16:03:11,577 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-13T16:03:11,579 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-13T16:03:11,581 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-13T16:03:11,583 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-13T16:03:11,585 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-13T16:03:11,587 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-13T16:03:11,589 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-13T16:03:11,592 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2026-03-13T16:03:11,593 copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,596 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,598 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,601 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,604 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,606 copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,608 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,611 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,613 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,615 copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,618 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,621 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,624 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,627 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,629 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,632 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,635 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,637 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,639 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,642 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,646 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2026-03-13T16:03:11,647 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-13T16:03:11,651 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-13T16:03:11,656 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-13T16:03:11,659 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-13T16:03:11,661 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-13T16:03:11,663 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-13T16:03:11,666 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-13T16:03:11,668 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,670 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,672 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,675 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,677 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,679 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,685 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,688 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,690 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,693 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,695 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,697 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-13T16:03:11,700 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-13T16:03:11,702 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-13T16:03:11,705 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-13T16:03:11,708 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-13T16:03:11,710 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-13T16:03:11,712 copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-13T16:03:11,714 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-13T16:03:11,716 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-13T16:03:11,719 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2026-03-13T16:03:11,720 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-13T16:03:11,723 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-13T16:03:11,727 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-13T16:03:11,729 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-13T16:03:11,730 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-13T16:03:11,733 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-13T16:03:11,736 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-13T16:03:11,738 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-13T16:03:11,740 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-13T16:03:11,743 creating build/bdist.linux-armv7l/wheel/certora_jars 2026-03-13T16:03:11,743 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-03-13T16:03:11,745 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-03-13T16:03:12,141 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-03-13T16:03:12,489 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-03-13T16:03:12,490 running install_egg_info 2026-03-13T16:03:12,528 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20260312.22.24.962241-py3.11.egg-info 2026-03-13T16:03:12,540 running install_scripts 2026-03-13T16:03:12,552 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20260312.22.24.962241.dist-info/WHEEL 2026-03-13T16:03:12,554 creating '/tmp/pip-wheel-jlv7nvsx/certora_cli_alpha_master-20260312.22.24.962241-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2026-03-13T16:03:12,556 adding 'certora_bins/__init__.py' 2026-03-13T16:03:12,558 adding 'certora_cli/__init__.py' 2026-03-13T16:03:12,560 adding 'certora_cli/certoraCVLFormatter.py' 2026-03-13T16:03:12,561 adding 'certora_cli/certoraConcord.py' 2026-03-13T16:03:12,562 adding 'certora_cli/certoraEVMProver.py' 2026-03-13T16:03:12,563 adding 'certora_cli/certoraEqCheck.py' 2026-03-13T16:03:12,565 adding 'certora_cli/certoraMutate.py' 2026-03-13T16:03:12,566 adding 'certora_cli/certoraRanger.py' 2026-03-13T16:03:12,568 adding 'certora_cli/certoraRun.py' 2026-03-13T16:03:12,569 adding 'certora_cli/certoraSolanaProver.py' 2026-03-13T16:03:12,571 adding 'certora_cli/certoraSorobanProver.py' 2026-03-13T16:03:12,572 adding 'certora_cli/certoraSuiProver.py' 2026-03-13T16:03:12,574 adding 'certora_cli/rustMutator.py' 2026-03-13T16:03:12,576 adding 'certora_cli/CertoraProver/__init__.py' 2026-03-13T16:03:12,578 adding 'certora_cli/CertoraProver/castingInstrumenter.py' 2026-03-13T16:03:12,579 adding 'certora_cli/CertoraProver/certoraApp.py' 2026-03-13T16:03:12,607 adding 'certora_cli/CertoraProver/certoraBuild.py' 2026-03-13T16:03:12,611 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2026-03-13T16:03:12,613 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2026-03-13T16:03:12,615 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2026-03-13T16:03:12,616 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2026-03-13T16:03:12,622 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2026-03-13T16:03:12,625 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2026-03-13T16:03:12,627 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2026-03-13T16:03:12,628 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2026-03-13T16:03:12,630 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2026-03-13T16:03:12,634 adding 'certora_cli/CertoraProver/certoraContext.py' 2026-03-13T16:03:12,640 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2026-03-13T16:03:12,641 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2026-03-13T16:03:12,647 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2026-03-13T16:03:12,649 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2026-03-13T16:03:12,650 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2026-03-13T16:03:12,652 adding 'certora_cli/CertoraProver/certoraJobList.py' 2026-03-13T16:03:12,654 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2026-03-13T16:03:12,656 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2026-03-13T16:03:12,657 adding 'certora_cli/CertoraProver/certoraOffsetConverter.py' 2026-03-13T16:03:12,658 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2026-03-13T16:03:12,660 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2026-03-13T16:03:12,662 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2026-03-13T16:03:12,665 adding 'certora_cli/CertoraProver/certoraType.py' 2026-03-13T16:03:12,667 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2026-03-13T16:03:12,668 adding 'certora_cli/CertoraProver/erc7201.py' 2026-03-13T16:03:12,670 adding 'certora_cli/CertoraProver/splitRules.py' 2026-03-13T16:03:12,672 adding 'certora_cli/CertoraProver/storageExtension.py' 2026-03-13T16:03:12,674 adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py' 2026-03-13T16:03:12,676 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2026-03-13T16:03:12,677 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2026-03-13T16:03:12,679 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2026-03-13T16:03:12,680 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2026-03-13T16:03:12,688 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2026-03-13T16:03:12,690 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2026-03-13T16:03:12,691 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2026-03-13T16:03:12,693 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2026-03-13T16:03:12,694 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2026-03-13T16:03:12,696 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2026-03-13T16:03:12,697 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2026-03-13T16:03:12,698 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2026-03-13T16:03:12,699 adding 'certora_cli/EquivalenceCheck/__init__.py' 2026-03-13T16:03:12,702 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2026-03-13T16:03:12,703 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2026-03-13T16:03:12,705 adding 'certora_cli/Mutate/__init__.py' 2026-03-13T16:03:12,715 adding 'certora_cli/Mutate/mutateApp.py' 2026-03-13T16:03:12,717 adding 'certora_cli/Mutate/mutateAttributes.py' 2026-03-13T16:03:12,719 adding 'certora_cli/Mutate/mutateConstants.py' 2026-03-13T16:03:12,720 adding 'certora_cli/Mutate/mutateUtil.py' 2026-03-13T16:03:12,722 adding 'certora_cli/Mutate/mutateValidate.py' 2026-03-13T16:03:12,724 adding 'certora_cli/Shared/ExpectedComparator.py' 2026-03-13T16:03:12,726 adding 'certora_cli/Shared/__init__.py' 2026-03-13T16:03:12,728 adding 'certora_cli/Shared/certoraAttrUtil.py' 2026-03-13T16:03:12,730 adding 'certora_cli/Shared/certoraLogging.py' 2026-03-13T16:03:12,738 adding 'certora_cli/Shared/certoraUtils.py' 2026-03-13T16:03:12,743 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2026-03-13T16:03:12,746 adding 'certora_cli/Shared/proverCommon.py' 2026-03-13T16:03:12,748 adding 'certora_cli_alpha_master-20260312.22.24.962241.dist-info/licenses/LICENSE' 2026-03-13T16:03:15,347 adding 'certora_jars/ASTExtraction.jar' 2026-03-13T16:03:15,491 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2026-03-13T16:03:18,086 adding 'certora_jars/Typechecker.jar' 2026-03-13T16:03:18,230 adding 'certora_jars/__init__.py' 2026-03-13T16:03:18,231 adding 'certora_cli_alpha_master-20260312.22.24.962241.dist-info/METADATA' 2026-03-13T16:03:18,232 adding 'certora_cli_alpha_master-20260312.22.24.962241.dist-info/WHEEL' 2026-03-13T16:03:18,234 adding 'certora_cli_alpha_master-20260312.22.24.962241.dist-info/entry_points.txt' 2026-03-13T16:03:18,234 adding 'certora_cli_alpha_master-20260312.22.24.962241.dist-info/top_level.txt' 2026-03-13T16:03:18,236 adding 'certora_cli_alpha_master-20260312.22.24.962241.dist-info/RECORD' 2026-03-13T16:03:18,683 removing build/bdist.linux-armv7l/wheel 2026-03-13T16:03:18,827 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2026-03-13T16:03:19,250 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20260312.22.24.962241-py3-none-any.whl size=43243598 sha256=6414b93f32fae1130fbc735a683005474c946ed71575a9908e4ec7db764b762c 2026-03-13T16:03:19,251 Stored in directory: /tmp/pip-ephem-wheel-cache-rw47_lo9/wheels/54/9d/fe/17142c95eb12fe6a0a6b6f72f167cdc21b9ce08c971f7b7bfa 2026-03-13T16:03:19,276 Successfully built certora-cli-alpha-master 2026-03-13T16:03:21,114 Removed build tracker: '/tmp/pip-build-tracker-alamw7rp'