2026-03-04T16:46:03,110 Created temporary directory: /tmp/pip-ephem-wheel-cache-iz2exd59 2026-03-04T16:46:03,112 Created temporary directory: /tmp/pip-build-tracker-xx8sa7ky 2026-03-04T16:46:03,112 Initialized build tracking at /tmp/pip-build-tracker-xx8sa7ky 2026-03-04T16:46:03,113 Created build tracker: /tmp/pip-build-tracker-xx8sa7ky 2026-03-04T16:46:03,113 Entered build tracker: /tmp/pip-build-tracker-xx8sa7ky 2026-03-04T16:46:03,114 Created temporary directory: /tmp/pip-wheel-8df56zmu 2026-03-04T16:46:03,118 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-04T16:46:03,120 Created temporary directory: /tmp/pip-ephem-wheel-cache-xv4tqkio 2026-03-04T16:46:03,142 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-03-04T16:46:03,146 2 location(s) to search for versions of certora-cli-alpha-master: 2026-03-04T16:46:03,146 * https://pypi.org/simple/certora-cli-alpha-master/ 2026-03-04T16:46:03,146 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-03-04T16:46:03,147 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2026-03-04T16:46:03,147 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2026-03-04T16:46:03,149 Found index url https://pypi.org/simple 2026-03-04T16:46:03,303 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2026-03-04T16:46:03,335 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/37/d9/2b0d353578c053816f03e4711896ef2717c6768b2ea335f0288a19511497/certora_cli_alpha_master-20260216.22.23.266703-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,336 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fc/24/f69dc348cc3788f2dbef70d0b5186363e5334d6842c730381ae1f3ca2a5e/certora_cli_alpha_master-20260216.22.23.266703-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,337 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/df/00/254db38b68ceae42fd61a5520d4d7f5694551d50afe017c158f27bcccc70/certora_cli_alpha_master-20260216.22.23.266703-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,338 Found link https://files.pythonhosted.org/packages/c4/ad/30c290d492db3f36d98798350b89aa74a8b094b9ab00cd9321214b85a6c1/certora_cli_alpha_master-20260216.22.23.266703.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260216.22.23.266703 2026-03-04T16:46:03,339 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4b/d7/809f11029e931be6ad434472b2673012f1446ab6ffce08afe3fdaad45498/certora_cli_alpha_master-20260217.12.30.485277-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,340 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2e/86/814c06397a67680ed906a7178744dc82b0c6095a77c18182591e6c54a527/certora_cli_alpha_master-20260217.12.30.485277-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,340 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a3/bf/e0148603d32abf55c13d108c397c0cf04d67824b348546b8e3c9026aac66/certora_cli_alpha_master-20260217.12.30.485277-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,341 Found link https://files.pythonhosted.org/packages/16/8c/fbbe9f10e5bd88ff2246020da9f3a80f67f0a0be1f7c6320639e89df8504/certora_cli_alpha_master-20260217.12.30.485277.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260217.12.30.485277 2026-03-04T16:46:03,342 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/71/c2/383a486f015708c9570f533b6781fd9e3f6cce39607675f8fc555f36bbf2/certora_cli_alpha_master-20260217.19.12.586863-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,343 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fa/ce/95e3b52e9adb419c57c041e52b90c02088c184e906d0d3e5717220b83c9a/certora_cli_alpha_master-20260217.19.12.586863-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,343 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/16/69/e3756485658d1497f84c4a701ae5ec1b30ddb3c7cd5743f09504d753d855/certora_cli_alpha_master-20260217.19.12.586863-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,344 Found link https://files.pythonhosted.org/packages/76/8e/8a3e43f8ae987bbb726259857501d5f9d51a195f8a2620b869b56cfc25df/certora_cli_alpha_master-20260217.19.12.586863.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260217.19.12.586863 2026-03-04T16:46:03,345 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/67/14/a0a43577ae8d934f4a022a5f1f8541eb5814d725201507f1e078fc6ab6e1/certora_cli_alpha_master-20260217.21.33.549449-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,345 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/28/1a/c67519a3d5196d4311e28dd99fe8e0a10c03cb5d5ca2f37aec1d7a5e8b3d/certora_cli_alpha_master-20260217.21.33.549449-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,346 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e8/43/ada804655538a9aa3c5ed56aec2b8fa94c556c7e6101da9d36bdf20aac28/certora_cli_alpha_master-20260217.21.33.549449-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,347 Found link https://files.pythonhosted.org/packages/a1/78/9c3679df03f7cceada126b17040fff964dd8bcae9af894cc7e1cbf7e90c3/certora_cli_alpha_master-20260217.21.33.549449.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260217.21.33.549449 2026-03-04T16:46:03,348 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1d/f4/c7a91037b2582b208d584977b853adcd4eb5994ac99106de1be720a8a0ea/certora_cli_alpha_master-20260217.22.22.286744-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,349 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/02/04/9485d2333d24f0a7a2d31afdd605e4ec9711ea88f040ee3a437b946162c6/certora_cli_alpha_master-20260217.22.22.286744-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,349 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2c/3f/981fc44ae21dc53c4755b78fe3c2075d41eeaba59d20018e9c3ee0535ff8/certora_cli_alpha_master-20260217.22.22.286744-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,350 Found link https://files.pythonhosted.org/packages/93/8d/094faec92584e19333fb1e06d5387c787a0e753372750bde8b1260b25f96/certora_cli_alpha_master-20260217.22.22.286744.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260217.22.22.286744 2026-03-04T16:46:03,352 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/39/2e/65207dd73660fdde31a5c862b61ce75b99f3749c969c7f053a33819f2476/certora_cli_alpha_master-20260218.2.40.641998-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,352 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ab/81/b2ff59cfc28d919d2f8f6ea6dca80cbcf69129282141f8b20dc8c1b39cc1/certora_cli_alpha_master-20260218.2.40.641998-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,353 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/36/54/704967679ae09fd58ed6b5c95bb199d1e4301c1293870849477ffb76c34a/certora_cli_alpha_master-20260218.2.40.641998-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,353 Found link https://files.pythonhosted.org/packages/ef/be/aac8a79b77cb5c73adc61d3d3b610ec6fe1676ddfb4437d1923c66275195/certora_cli_alpha_master-20260218.2.40.641998.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.2.40.641998 2026-03-04T16:46:03,354 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/62/f1/4c4582c3a5e2a2810f0ca8ab12b114fecbca0e21c53feec6681b05c1ebdb/certora_cli_alpha_master-20260218.3.27.118260-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,355 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2e/a8/d9dc38a31ab4dea084aee847c1ce04c4c049ccf4976c3ebcfc0c56758af8/certora_cli_alpha_master-20260218.3.27.118260-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,355 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e8/f0/0039638ef6ddcfbd63ba9c87d82939cb6b96278a56cd10e6ee1635a721e4/certora_cli_alpha_master-20260218.3.27.118260-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,356 Found link https://files.pythonhosted.org/packages/5e/6b/c214e122748639a43b36f54b4efdc0c04f22e54261b47fcf32eaafdc8a74/certora_cli_alpha_master-20260218.3.27.118260.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.3.27.118260 2026-03-04T16:46:03,357 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6f/fa/68b1c1a31b7e124c8592e7ca814de138ab2e276497e8d0335e6c2e860c78/certora_cli_alpha_master-20260218.4.19.33182-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,358 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/09/01/6850ab5eae3d789940de961f22271d30e400ba1da9b9ca3b12e67149ec47/certora_cli_alpha_master-20260218.4.19.33182-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,358 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/69/61/a9065ee814691152db705b5364ffe1043f7906133d63f71bb734d22b4185/certora_cli_alpha_master-20260218.4.19.33182-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,359 Found link https://files.pythonhosted.org/packages/c0/e4/79e172a9239925cb1315dd56d3a774080ac80b27073f6dd92745d88b8f07/certora_cli_alpha_master-20260218.4.19.33182.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.4.19.33182 2026-03-04T16:46:03,361 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/82/bc/0b549fdfb7fb417147bb3f042152a37d5b495c517aeaf98d17cec2b8ca1a/certora_cli_alpha_master-20260218.8.3.680755-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,361 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8c/5f/b01beb65f653437ee40476d34f930147678da1109e7489b0fa684de701b4/certora_cli_alpha_master-20260218.8.3.680755-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,362 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/59/b1/11f3f326cd18570570d907debfd32e018bf81271894b3ffa2c551c9b697b/certora_cli_alpha_master-20260218.8.3.680755-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,363 Found link https://files.pythonhosted.org/packages/75/9c/c3c18257089a5a5238279a2e2af606b7b1b97b2dd875419b2e16eeb89df2/certora_cli_alpha_master-20260218.8.3.680755.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.8.3.680755 2026-03-04T16:46:03,363 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ef/dc/cce1eed1483b77dfcbac77172be6d7f7401fc6fc1eee7f062c9ee38c5d46/certora_cli_alpha_master-20260218.12.26.169582-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,364 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d7/fe/25994d42c3186f48c29dcc401936b3ee7115cf3a3ad9293fb9944db34a68/certora_cli_alpha_master-20260218.12.26.169582-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,364 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ce/62/6615f292d702be94aac2fba225ebb12958475ec6ca62594eb514950dfc06/certora_cli_alpha_master-20260218.12.26.169582-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,365 Found link https://files.pythonhosted.org/packages/68/f2/9dcc901c7382262804b606689fbe681af16f843a52d226c7c25793d26630/certora_cli_alpha_master-20260218.12.26.169582.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.12.26.169582 2026-03-04T16:46:03,366 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fe/71/4be9d422a1769fa105dfe7fd6e8605fc3a81b6177bb03dfd4d05cac20d68/certora_cli_alpha_master-20260218.22.36.198108-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,367 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c0/f0/2e5fccd048786ccd21ff03de091d6ff285985bf46f8775a9ce9e6c28999f/certora_cli_alpha_master-20260218.22.36.198108-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,367 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/97/af/948a53467c406b4314f788e6fae7c1469a163e55789d23c7baf550220951/certora_cli_alpha_master-20260218.22.36.198108-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,368 Found link https://files.pythonhosted.org/packages/e6/9e/8122e9634cf205a42e7c39e12c03ad9292b88db57e9e3e8138f9ddfe6139/certora_cli_alpha_master-20260218.22.36.198108.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.22.36.198108 2026-03-04T16:46:03,369 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ce/bb/52c7ae78c59d0cbdc1961af6a4f973b3441d0c4d99df31e144c14cec9c23/certora_cli_alpha_master-20260218.23.32.796727-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,370 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/68/5d/c209e08891ce35518f4fdcb56ec71925994f75a0ab26a993477a48c9465d/certora_cli_alpha_master-20260218.23.32.796727-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,370 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f3/eb/068c1d311b54e995b9b38c01234c0f303aa56214c93cad08684ba5290833/certora_cli_alpha_master-20260218.23.32.796727-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,371 Found link https://files.pythonhosted.org/packages/a6/0b/77b3d5048d34dd174fb840df6ea668c9eb30403e4f9bc62e81e2008fc450/certora_cli_alpha_master-20260218.23.32.796727.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.23.32.796727 2026-03-04T16:46:03,372 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8e/6d/9dcf54222f4264e9557cc7c15c17e30769d998dc1874991fea617366b311/certora_cli_alpha_master-20260219.2.6.690553-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,372 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4c/f0/9d4925652eb72190b9d7dd46d55eed99076a9a040ad57466133ab31db399/certora_cli_alpha_master-20260219.2.6.690553-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,373 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/86/18/35ba511c04a1ac20f7891523f3521aee2e1587e19d1b4b0a396b6c3e1d2e/certora_cli_alpha_master-20260219.2.6.690553-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,374 Found link https://files.pythonhosted.org/packages/c3/1b/42ee4cb58784e30a4f363aa5fbc9b5112015f9a19854c36709dd69e5f88d/certora_cli_alpha_master-20260219.2.6.690553.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260219.2.6.690553 2026-03-04T16:46:03,375 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e2/d9/525e82cbfa2e378b215081e63f1a802df763b3b48ab865136b0ef74fda40/certora_cli_alpha_master-20260219.16.12.1521-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,375 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f3/d2/ae8e8f0d46332fd80ee49a0e73f14f4d0f146d8248b7178c8dffd1fb1eef/certora_cli_alpha_master-20260219.16.12.1521-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,376 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0f/9c/4999dd09c6f8b21a679fb9ef1ec90cd122b82719dbab73096b62999c886c/certora_cli_alpha_master-20260219.16.12.1521-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,377 Found link https://files.pythonhosted.org/packages/5b/d8/54d8e859f3cff2b345099ec8420372d773e3efaf33c5a30f6d88396b6287/certora_cli_alpha_master-20260219.16.12.1521.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260219.16.12.1521 2026-03-04T16:46:03,378 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0e/95/2a3dd858db26ec9e053ea5d62539516882043958a7dbfe7467bde11ba678/certora_cli_alpha_master-20260220.17.32.693288-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,379 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1b/23/340541d01825324a5167c371e9c4afb42fd84f222439e09f3a4238c89ad1/certora_cli_alpha_master-20260220.17.32.693288-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,379 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c7/22/5d1832bbb017e7c4fca385922c1cd773b164988d2878a3567714cfbf5b5d/certora_cli_alpha_master-20260220.17.32.693288-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,380 Found link https://files.pythonhosted.org/packages/06/a9/d468fd7ac0efb3c1be303d07a037983c2faa7c33857cc40c27a422b66d96/certora_cli_alpha_master-20260220.17.32.693288.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260220.17.32.693288 2026-03-04T16:46:03,380 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/09/b3/7a1b1c535a5682045b20fd03d7022693b08e1c40f29355e30da43efeb5b2/certora_cli_alpha_master-20260222.1.48.454304-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,381 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5c/7b/a0c677fca7059299b276940cfe71fa5f9fcab1070553d54a6ea2596e0c5c/certora_cli_alpha_master-20260222.1.48.454304-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,382 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ea/b7/1ba606e179b6dc7ea2c41ba5f96af33f441e627dbae6786b1f4bb477b275/certora_cli_alpha_master-20260222.1.48.454304-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,383 Found link https://files.pythonhosted.org/packages/65/11/0d74b6c007913c66132fddfa45ce9849401f5cc37be23bc7320d8f28b745/certora_cli_alpha_master-20260222.1.48.454304.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260222.1.48.454304 2026-03-04T16:46:03,384 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3e/50/3fbbb30e78ed7332c62d4a527f3e1cc9465a75f082556e40dbf134d4f972/certora_cli_alpha_master-20260222.11.54.650718-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,384 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d0/68/f8304e2fe2d5a1d607a135182380210165dfaaeb087a0d32aa0c39110d80/certora_cli_alpha_master-20260222.11.54.650718-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,385 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d3/58/9b6a72b90cbd9bc89ec319743f4f2606fb7dea9c70d017f4f51dd8f32c70/certora_cli_alpha_master-20260222.11.54.650718-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,386 Found link https://files.pythonhosted.org/packages/86/45/6fc8f83e915cb4209974b18b902d956433fd3678052cafe3c9a3a7d9e208/certora_cli_alpha_master-20260222.11.54.650718.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260222.11.54.650718 2026-03-04T16:46:03,387 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d4/65/16b944ab1cefbf79ea5183615f395b1ae4ba54fb6279eded02191b49d47e/certora_cli_alpha_master-20260222.16.56.150552-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,387 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/73/56/cffaf0ecf98e2f2533e9a0c68443c3b8b370d4aaa9663a0b5530aa342a74/certora_cli_alpha_master-20260222.16.56.150552-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,388 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6c/a1/bb2a85f3390010b3d96b0c66b40d5fc3fc69d67735317404b8fd7b9cbec8/certora_cli_alpha_master-20260222.16.56.150552-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,388 Found link https://files.pythonhosted.org/packages/0b/2a/37751a3eec78f74d2b1bfb2ccb0ade3d5a639fd92aba5a74535d159ebdee/certora_cli_alpha_master-20260222.16.56.150552.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260222.16.56.150552 2026-03-04T16:46:03,389 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/86/62/bf51d598685e760fd332eb6af8f1cf4dbef64abb5cf6c8fdbb08728985fa/certora_cli_alpha_master-20260223.9.56.59221-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,390 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/10/0e/f26d313b2b7ec6ae0f6d9409deaf3b8f0a2e2816d99be21e8f6e83f3f2af/certora_cli_alpha_master-20260223.9.56.59221-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,390 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b9/1d/483e40d983d337bf53303e414a7a8afcd2ab38b763b48dbfed031c13076c/certora_cli_alpha_master-20260223.9.56.59221-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,391 Found link https://files.pythonhosted.org/packages/34/c8/0e2e8db68db51b6f79615ea8f21d613f9f02b7d5e7356077b7d2a69eef92/certora_cli_alpha_master-20260223.9.56.59221.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260223.9.56.59221 2026-03-04T16:46:03,392 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/91/c2/77b633e9962f98eb089ed6d504a4e37c9d193e15953001398f8c6bf6bb2c/certora_cli_alpha_master-20260224.6.40.950931-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,393 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8f/6d/330505360f6202c2ef247cc42314c4f468ca271ae5938753541b70b6289a/certora_cli_alpha_master-20260224.6.40.950931-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,393 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9b/23/f4b08608fd8ae7df4fb57b0e6934e4d4ae059a7291b7185a3c29cf1ba2fb/certora_cli_alpha_master-20260224.6.40.950931-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,395 Found link https://files.pythonhosted.org/packages/4c/a2/3fabb7aed1dea8bf8ce661c2563c470ecf344034914fb3f67026fc0638e3/certora_cli_alpha_master-20260224.6.40.950931.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260224.6.40.950931 2026-03-04T16:46:03,395 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/83/e9/a39815b4f90f063db21bc78b4c00f185057c888155b647deccc820e2851f/certora_cli_alpha_master-20260224.9.58.97049-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,396 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f4/b0/37a741432cf9938565e706c54ac502a9c90903eea91999c9852c8cdc1ce3/certora_cli_alpha_master-20260224.9.58.97049-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,397 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fe/c5/a86ea7cea05092ece80960c42311f682c2b7eecc6ac3554025795b5a405a/certora_cli_alpha_master-20260224.9.58.97049-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,397 Found link https://files.pythonhosted.org/packages/28/a5/c65809895e1bdc71913f58cbeb2d1b4e45a4385a9e905524443d1a6acfc3/certora_cli_alpha_master-20260224.9.58.97049.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260224.9.58.97049 2026-03-04T16:46:03,398 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/55/05/92ed9d5b5a1143d965eb1731d31c4c7153b3d00cd75bd9968002405024b5/certora_cli_alpha_master-20260224.13.0.76906-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,399 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/aa/a6/3cd6eb54577a1d01081662b3420eb10d060fb58273bb8c2d93eea1f882d8/certora_cli_alpha_master-20260224.13.0.76906-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,400 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/41/b1/d9708db3d9ed6be3d8591d2199373678bd60b9a1c373e2cf993cc84d2c33/certora_cli_alpha_master-20260224.13.0.76906-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,400 Found link https://files.pythonhosted.org/packages/03/c8/a28b9bc3de5b826dc4ef2ab9bd862a20d61a3cda3aa99dd52117dd8c1b89/certora_cli_alpha_master-20260224.13.0.76906.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260224.13.0.76906 2026-03-04T16:46:03,401 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/45/82/cd91de62cbec956315d79385654783ceac583475dd9c83f4c5eb248f31fd/certora_cli_alpha_master-20260224.16.49.232500-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,402 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/98/49/5c16939d28ce421050f5fe60472b688f86d374c82ba9fa6513ce23f6c5c4/certora_cli_alpha_master-20260224.16.49.232500-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,403 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b7/95/7cacabe860866e738ac596ff8d9c6274d4c2c660d52436aac7c19faa0e65/certora_cli_alpha_master-20260224.16.49.232500-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,404 Found link https://files.pythonhosted.org/packages/30/d9/b5cce73eef4baea462fecbe610e3bcb016b3a624ad3da5d3fe01178e7248/certora_cli_alpha_master-20260224.16.49.232500.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260224.16.49.232500 2026-03-04T16:46:03,405 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f1/56/6a6eec57be77f2ec54ab345106f90aac1bf3d48b7dbd2a36e520002cb2ba/certora_cli_alpha_master-20260224.18.13.383756-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,406 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8b/11/94b8930d48ff4c614c21a2d2cfbe18dd129f8a97cae42b58fa65343e455a/certora_cli_alpha_master-20260224.18.13.383756-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,406 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ad/61/7ecc5483dcfac08a88bce9435973cc7fe5a040187c9a1aa46d5242e064fe/certora_cli_alpha_master-20260224.18.13.383756-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,407 Found link https://files.pythonhosted.org/packages/b2/ee/e52d87110ecf0f1babf5f6228565405e9c1498be91c39970511906ae6556/certora_cli_alpha_master-20260224.18.13.383756.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260224.18.13.383756 2026-03-04T16:46:03,408 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/95/7f/58ae6dcb609eafe4dbded630c8695c05d8047ab6da13f424c56a17778bab/certora_cli_alpha_master-20260224.18.58.798310-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,409 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fb/39/a2ca9d6a7aee6a72da26afaac2405601b13616a4c135b69d6ebff960cee4/certora_cli_alpha_master-20260224.18.58.798310-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,409 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/75/01/1623df743eb3f95a722e77f151c538fc6285e7a7c94b954c4061c810476f/certora_cli_alpha_master-20260224.18.58.798310-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,410 Found link https://files.pythonhosted.org/packages/72/62/c22666780a3a1bdd1ccbeeeef2d672267e454eeb8dbfc6c0408090b32240/certora_cli_alpha_master-20260224.18.58.798310.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260224.18.58.798310 2026-03-04T16:46:03,411 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ed/e9/6f6699f360ddb8fe21a34085ea5339fc59c1fd28ff887d55cf6d92cc469e/certora_cli_alpha_master-20260225.18.16.858654-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,412 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3e/34/5c7d0fbfcf9ee67f85d827e787bbae745c567a3548ff1c304330c7cdf178/certora_cli_alpha_master-20260225.18.16.858654-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,412 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c9/73/7dd54e0c595935f4b78602168163a1fb5a57f50f8b742075f5963574f20a/certora_cli_alpha_master-20260225.18.16.858654-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,414 Found link https://files.pythonhosted.org/packages/a1/21/6380b5eaedf511200741bc0972536ef4be4d15b25b73cf62cfe6a72987df/certora_cli_alpha_master-20260225.18.16.858654.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260225.18.16.858654 2026-03-04T16:46:03,414 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9d/8e/b2a4262bb425249661cc9eafb16f973a745d08c75d45603833aaeb1c4b42/certora_cli_alpha_master-20260225.21.15.133668-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,415 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/85/4d/041cf359e4c4aae8a2f915f8cd96f0a98ab6f04c4706c1d7ad19850f486f/certora_cli_alpha_master-20260225.21.15.133668-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,415 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b6/8e/adcfa6c41c3c28a5d3904c615fad2b6d2c47e8e38ab995476fe33734c0c8/certora_cli_alpha_master-20260225.21.15.133668-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,416 Found link https://files.pythonhosted.org/packages/d2/43/0cc157f16ca87f48a30ebe1e1930a578011f2cd033e526c111da0c14e2cd/certora_cli_alpha_master-20260225.21.15.133668.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260225.21.15.133668 2026-03-04T16:46:03,417 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c3/21/806f36ab813adb71b336b4a7833a055fc17ca736b815542e64e82a296035/certora_cli_alpha_master-20260225.22.4.345952-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,417 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f6/ec/976df112c03f38f5c0d9a89160c1d617113cb224790bce3e8850f2083e35/certora_cli_alpha_master-20260225.22.4.345952-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,418 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/52/81/6ceed4238be4379e0b61267cb1497341eb8a696f68ea969a3c67d31f30d1/certora_cli_alpha_master-20260225.22.4.345952-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,419 Found link https://files.pythonhosted.org/packages/5f/3e/004454d70efc17839c7dfde77b20c2bfa3817578fe591c3c9c8396a647f0/certora_cli_alpha_master-20260225.22.4.345952.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260225.22.4.345952 2026-03-04T16:46:03,420 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1b/49/c3814ee3f58f722596d59cdf47612ca33f7902e88ed847821afaac782432/certora_cli_alpha_master-20260226.18.42.997328-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,420 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b5/4b/76325a1f6c74814e9c7416a3de05ab6810db646897be9fde7c5d0e4b4d68/certora_cli_alpha_master-20260226.18.42.997328-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,421 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/27/ac/f06d5a59a40e6ca565398d3c77c8fead8f92fc56a4d3a79389f89ae061ee/certora_cli_alpha_master-20260226.18.42.997328-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,422 Found link https://files.pythonhosted.org/packages/17/09/2216962807026ac9c7f2565139f8cf700096ffcc46fe0848a03d5f038efc/certora_cli_alpha_master-20260226.18.42.997328.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260226.18.42.997328 2026-03-04T16:46:03,422 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a3/06/a62ab699f98e69af4e2688cb31c7840f95ebfb0973c951242cfee4206122/certora_cli_alpha_master-20260227.0.1.156780-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,423 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/48/34/f75debf5a2356e4e232a8eb50c2606116ca17fcd66a40d63308237837589/certora_cli_alpha_master-20260227.0.1.156780-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,423 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f5/82/f0d90845aa1962805b62576fd1f940dcd77ee683840726c142a58a4a672d/certora_cli_alpha_master-20260227.0.1.156780-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,424 Found link https://files.pythonhosted.org/packages/46/df/8e215dae928435696e21efa3eef194ac691830c6c10fecc52db7dcfcaf21/certora_cli_alpha_master-20260227.0.1.156780.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260227.0.1.156780 2026-03-04T16:46:03,425 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f2/5e/e8c56fa0aa59419046ba81e74d8b04192bbe38b88b6fec381b464b300183/certora_cli_alpha_master-20260227.3.42.741042-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,426 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ac/9f/4813f3eb0f21eeb531ebee972acf3ffe59891e2230525c26256696578afd/certora_cli_alpha_master-20260227.3.42.741042-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,426 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f0/bb/238ce43c8f1d9633908f327fd209697a242496d93e578211a92550229766/certora_cli_alpha_master-20260227.3.42.741042-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,427 Found link https://files.pythonhosted.org/packages/e9/af/1d0f890fe459e97b0e66add9fc94770d7a3a52ee34d56d2c325678aa4d75/certora_cli_alpha_master-20260227.3.42.741042.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260227.3.42.741042 2026-03-04T16:46:03,428 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2f/7e/631204913efc56a934a2ec4337f8bafda09693a7cdf0e177be37d58212fa/certora_cli_alpha_master-20260227.6.3.131841-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,429 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5c/33/2f3145bd4b766d6117037bb06b2cbcdf68916f2bbf1e94d05cedb52f4f13/certora_cli_alpha_master-20260227.6.3.131841-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,429 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1f/2f/5e9126cb6a574856b1af660937782be2998698dda0cc2981e1b448feb69b/certora_cli_alpha_master-20260227.6.3.131841-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,430 Found link https://files.pythonhosted.org/packages/8e/65/58f34b35cf049a2601d985364437019b5f0e43fc6be76096e23bfd82732d/certora_cli_alpha_master-20260227.6.3.131841.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260227.6.3.131841 2026-03-04T16:46:03,431 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2a/28/2b74965bbc3d1214c39d47290f1e3a485e058fc2adbe5290096b9c43f8a7/certora_cli_alpha_master-20260227.21.5.227710-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,432 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/44/6c/7a863e60f78ee793031be73b90d7d803c0662b71639c747881e9cad66bd0/certora_cli_alpha_master-20260227.21.5.227710-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,432 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/10/3a/d09046df7df0309b09bbcd2e90fffeb76a69b07ba9f8400fa31ff01df5d5/certora_cli_alpha_master-20260227.21.5.227710-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,433 Found link https://files.pythonhosted.org/packages/60/7d/fa233d11d90bc0b07a94b31fc14dac7eeb69d149589b75549e67708087bf/certora_cli_alpha_master-20260227.21.5.227710.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260227.21.5.227710 2026-03-04T16:46:03,434 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8c/1d/3b0a72a25a6b9f675f839c906db28ee2c5840f43d6f048ab2446974c3566/certora_cli_alpha_master-20260227.22.8.958998-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,434 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b6/18/334e1ef29167526d0ce0d98af656894757a1c7c164b7c857ae51f17e1b6e/certora_cli_alpha_master-20260227.22.8.958998-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,435 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/26/aa/2d70f387d0bbaa896fdef5c78242c819353e7b57741a7abbb4fdff26e1db/certora_cli_alpha_master-20260227.22.8.958998-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,436 Found link https://files.pythonhosted.org/packages/5a/63/2e573f0f5217f119609353104b8cea4e9e67938bee051c96d2b8b8f1d3c3/certora_cli_alpha_master-20260227.22.8.958998.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260227.22.8.958998 2026-03-04T16:46:03,436 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-04T16:46:03,437 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-04T16:46:03,438 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-04T16:46:03,439 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-04T16:46:03,439 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-04T16:46:03,440 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-04T16:46:03,440 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-04T16:46:03,441 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-04T16:46:03,442 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-04T16:46:03,443 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-04T16:46:03,443 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-04T16:46:03,444 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-04T16:46:03,445 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-04T16:46:03,446 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-04T16:46:03,446 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-04T16:46:03,448 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-04T16:46:03,448 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-04T16:46:03,449 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-04T16:46:03,449 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-04T16:46:03,450 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-04T16:46:03,451 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-04T16:46:03,451 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-04T16:46:03,452 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-04T16:46:03,453 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-04T16:46:03,454 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-04T16:46:03,454 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-04T16:46:03,455 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-04T16:46:03,456 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-04T16:46:03,457 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-04T16:46:03,458 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-04T16:46:03,458 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-04T16:46:03,459 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-04T16:46:03,460 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-04T16:46:03,460 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-04T16:46:03,461 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-04T16:46:03,462 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-04T16:46:03,463 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-04T16:46:03,463 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-04T16:46:03,464 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-04T16:46:03,465 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-04T16:46:03,466 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-04T16:46:03,466 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-04T16:46:03,467 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-04T16:46:03,468 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-04T16:46:03,469 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-03-04T16:46:03,470 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-03-04T16:46:03,471 Found index url https://www.piwheels.org/simple 2026-03-04T16:46:03,631 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2026-03-04T16:46:03,642 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-04T16:46:03,643 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-04T16:46:03,644 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-04T16:46:03,644 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260227.22.8.958998-py3-none-any.whl#sha256=8c0d01237f9204b6744b083cf2aa8b8f17e0e8fd44e3fedf16d5f3980597ec30 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,645 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260227.21.5.227710-py3-none-any.whl#sha256=160859efde0ef3c8a5e87c0b26595e4eeae327feb5dc60394be927c5090636dd (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,646 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260227.6.3.131841-py3-none-any.whl#sha256=2a5f53877525058cd4815f070d0927566fea66fb1eb0daaea8380ae57214364c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,646 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260227.3.42.741042-py3-none-any.whl#sha256=c0b05c38e2785b00d3b8d66ca40edfd64e95b6cc0d7f93c8a1b34f50d86f768e (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,646 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260227.0.1.156780-py3-none-any.whl#sha256=16875e460166c2344a6209c8f5c15b9c2885de6aa744f48493d5eece6840c423 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,647 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260226.18.42.997328-py3-none-any.whl#sha256=cbbb1cbf21f1e9d01c9c133b6485f5f58252e56d41c778b38a73c75b47c785ad (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,647 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260225.22.4.345952-py3-none-any.whl#sha256=c91cec570fbf86e069a6d5ce392a60e896fa34d4e1bbd72528cafdf33ab54e8b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,648 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260225.21.15.133668-py3-none-any.whl#sha256=c7f01a84d65a83fd1d2aa7262442d5d08c35d7b184b89da59936b37423a234d8 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,649 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260225.18.16.858654-py3-none-any.whl#sha256=b7c64b09a50bb74a76da7c53144433d853adbc2186cd3eb85d3626c1ad421de6 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,649 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260224.18.58.798310-py3-none-any.whl#sha256=baf740a96aaf2e2880b9dcdd9d63318dfa8419d88f66e5560dbc125e3b0eed59 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,650 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260224.18.13.383756-py3-none-any.whl#sha256=5b599ccdfe12e73423b92be6e9cde5927d012a6516c0e4210a05ed9d9df1bbd2 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,651 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260224.16.49.232500-py3-none-any.whl#sha256=c1b6582e084b3e610bd67a6e258b1237a6a5e4069060cc8dc1b298eeb55ad904 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,651 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260224.13.0.76906-py3-none-any.whl#sha256=b895d775b6b29ffc359e998d23a28276ae6cf76496523990937b69bde5723f8d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,652 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260224.9.58.97049-py3-none-any.whl#sha256=23c73a0824e86f8b59f8fef1793a764eddcafdcb85b58923ec3b75d9da363982 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,652 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260224.6.40.950931-py3-none-any.whl#sha256=52e4b078e9ef0d7953e1e83c9175c4abbadb905a24bf75686af00de88c8b33aa (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,653 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260223.9.56.59221-py3-none-any.whl#sha256=bda871faa213ee389c4ab72542d7beebff00619c06845a0dbf11eb1e846e9469 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,653 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260222.16.56.150552-py3-none-any.whl#sha256=493d2c739cbc815beb2f4e3d70b337f16312116fda86a918b474b1511397851d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,654 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260222.11.54.650718-py3-none-any.whl#sha256=4c3c7d0cf682e5a35c057951f38bd0a33a977907dfe9248e420f2e2efccda6f9 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,654 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260222.1.48.454304-py3-none-any.whl#sha256=5c772a3adb1dbfea0760340be075522ee1816f5ec96a6c5d3dab53efab89a46c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,655 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260220.17.32.693288-py3-none-any.whl#sha256=b6f12bfdb05bd8921acf4ef440d2adbbf374c4bbb45a8f09e4cbae17dbffec5b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,656 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260219.16.12.1521-py3-none-any.whl#sha256=fd829901878c9479aaa6ca3e049f10adf9301539533309d7e1c61cd13d3d97fe (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,656 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260219.2.6.690553-py3-none-any.whl#sha256=78de400e564ceb940811035294c4ff167bed818a53d8747a3fc75830a45272ce (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,657 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.23.32.796727-py3-none-any.whl#sha256=6134a9acf21bf22531da4e8d66becdc12fe485771b7eeaf2a6d26a9b9fc7e453 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,657 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.22.36.198108-py3-none-any.whl#sha256=4049dc1d4155f6a80a0114f017c4dd60f0a1a9ca8fea768073a6a1b0e7402552 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,658 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.12.26.169582-py3-none-any.whl#sha256=f20f95a34cc6e5679291ac70af0de91fa0efcd846933900d6ddd3cd5a1023f10 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,658 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.8.3.680755-py3-none-any.whl#sha256=10dd3d85b3c3ced50f1fababfc73e172e6bb650210810db06f426f5733f9d05b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,659 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.4.19.33182-py3-none-any.whl#sha256=c2c7a51bddd1515dc1b9b1594a97e8a4bf20800ad7231128042337e5aa739633 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,659 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.3.27.118260-py3-none-any.whl#sha256=c735063a86e370ebb0befdf08ba5e4db478fdd2c2f17ef569f4bdc8218900171 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,660 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.2.40.641998-py3-none-any.whl#sha256=76ac74f49276345f68f1eecf3a881fbea7e2334771a0f7191a65b1cbe69db9a0 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,660 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260217.22.22.286744-py3-none-any.whl#sha256=2328af51cd29d7209a1daa8d311695888b989281883aeeb8bcc3675e3a9100ca (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,661 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260217.21.33.549449-py3-none-any.whl#sha256=650b0020afdd02608bb2b5e78b7298ca0c97bef7a8a866c90d2ba11ba5606c8e (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,662 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260217.19.12.586863-py3-none-any.whl#sha256=83af52a1cabc292daf532041066727117b2579aa23449ac546418997708d5ac4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,662 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260217.12.30.485277-py3-none-any.whl#sha256=2290f83f811f12067337f9f19891ac57a65a95c6f01661d6365f612bed98b298 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,663 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260216.22.23.266703-py3-none-any.whl#sha256=ac82c1a99dce21521c2c3356527bc5a2db7da32b2370e6df8674f6eded4c1eff (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-03-04T16:46:03,663 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-03-04T16:46:03,664 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2026-03-04T16:46:03,688 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2026-03-04T16:46:03,706 Collecting certora-cli-alpha-master==20260302.22.32.104958 2026-03-04T16:46:03,709 Created temporary directory: /tmp/pip-unpack-tyq99qgt 2026-03-04T16:46:03,841 Downloading certora_cli_alpha_master-20260302.22.32.104958.tar.gz (42.9 MB) 2026-03-04T16:46:09,016 Added certora-cli-alpha-master==20260302.22.32.104958 from https://files.pythonhosted.org/packages/ae/80/c6846bc3800f6c49ecb84edf5ce004f8ce0cb28d4d1f826480dcfe6e3a18/certora_cli_alpha_master-20260302.22.32.104958.tar.gz to build tracker '/tmp/pip-build-tracker-xx8sa7ky' 2026-03-04T16:46:09,018 Running setup.py (path:/tmp/pip-wheel-8df56zmu/certora-cli-alpha-master_0707a30c37d3478b9c8e6a1184da09f7/setup.py) egg_info for package certora-cli-alpha-master 2026-03-04T16:46:09,019 Created temporary directory: /tmp/pip-pip-egg-info-bfz8q5xh 2026-03-04T16:46:09,019 Preparing metadata (setup.py): started 2026-03-04T16:46:09,020 Running command python setup.py egg_info 2026-03-04T16:46:09,897 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-03-04T16:46:09,898 !! 2026-03-04T16:46:09,899 ******************************************************************************** 2026-03-04T16:46:09,899 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-03-04T16:46:09,900 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-03-04T16:46:09,901 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-03-04T16:46:09,902 ******************************************************************************** 2026-03-04T16:46:09,903 !! 2026-03-04T16:46:09,904 self._finalize_license_expression() 2026-03-04T16:46:09,927 running egg_info 2026-03-04T16:46:09,954 creating /tmp/pip-pip-egg-info-bfz8q5xh/certora_cli_alpha_master.egg-info 2026-03-04T16:46:09,955 writing /tmp/pip-pip-egg-info-bfz8q5xh/certora_cli_alpha_master.egg-info/PKG-INFO 2026-03-04T16:46:09,959 writing dependency_links to /tmp/pip-pip-egg-info-bfz8q5xh/certora_cli_alpha_master.egg-info/dependency_links.txt 2026-03-04T16:46:09,961 writing entry points to /tmp/pip-pip-egg-info-bfz8q5xh/certora_cli_alpha_master.egg-info/entry_points.txt 2026-03-04T16:46:09,962 writing requirements to /tmp/pip-pip-egg-info-bfz8q5xh/certora_cli_alpha_master.egg-info/requires.txt 2026-03-04T16:46:09,963 writing top-level names to /tmp/pip-pip-egg-info-bfz8q5xh/certora_cli_alpha_master.egg-info/top_level.txt 2026-03-04T16:46:09,965 writing manifest file '/tmp/pip-pip-egg-info-bfz8q5xh/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-03-04T16:46:10,063 reading manifest file '/tmp/pip-pip-egg-info-bfz8q5xh/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-03-04T16:46:10,065 reading manifest template 'MANIFEST.in' 2026-03-04T16:46:10,070 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-03-04T16:46:10,165 adding license file 'LICENSE' 2026-03-04T16:46:10,170 writing manifest file '/tmp/pip-pip-egg-info-bfz8q5xh/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-03-04T16:46:10,276 Preparing metadata (setup.py): finished with status 'done' 2026-03-04T16:46:10,280 Source in /tmp/pip-wheel-8df56zmu/certora-cli-alpha-master_0707a30c37d3478b9c8e6a1184da09f7 has version 20260302.22.32.104958, which satisfies requirement certora-cli-alpha-master==20260302.22.32.104958 from https://files.pythonhosted.org/packages/ae/80/c6846bc3800f6c49ecb84edf5ce004f8ce0cb28d4d1f826480dcfe6e3a18/certora_cli_alpha_master-20260302.22.32.104958.tar.gz 2026-03-04T16:46:10,281 Removed certora-cli-alpha-master==20260302.22.32.104958 from https://files.pythonhosted.org/packages/ae/80/c6846bc3800f6c49ecb84edf5ce004f8ce0cb28d4d1f826480dcfe6e3a18/certora_cli_alpha_master-20260302.22.32.104958.tar.gz from build tracker '/tmp/pip-build-tracker-xx8sa7ky' 2026-03-04T16:46:10,287 Created temporary directory: /tmp/pip-unpack-8wnc0w_a 2026-03-04T16:46:10,288 Building wheels for collected packages: certora-cli-alpha-master 2026-03-04T16:46:10,292 Created temporary directory: /tmp/pip-wheel-nxeaw8se 2026-03-04T16:46:10,293 Building wheel for certora-cli-alpha-master (setup.py): started 2026-03-04T16:46:10,294 Destination directory: /tmp/pip-wheel-nxeaw8se 2026-03-04T16:46:10,294 Running command python setup.py bdist_wheel 2026-03-04T16:46:11,129 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-03-04T16:46:11,129 !! 2026-03-04T16:46:11,130 ******************************************************************************** 2026-03-04T16:46:11,131 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-03-04T16:46:11,132 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-03-04T16:46:11,133 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-03-04T16:46:11,133 ******************************************************************************** 2026-03-04T16:46:11,134 !! 2026-03-04T16:46:11,135 self._finalize_license_expression() 2026-03-04T16:46:11,135 running bdist_wheel 2026-03-04T16:46:11,269 running build 2026-03-04T16:46:11,270 running build_py 2026-03-04T16:46:11,303 creating build/lib/certora_bins 2026-03-04T16:46:11,305 copying certora_bins/__init__.py -> build/lib/certora_bins 2026-03-04T16:46:11,307 creating build/lib/certora_jars 2026-03-04T16:46:11,308 copying certora_jars/__init__.py -> build/lib/certora_jars 2026-03-04T16:46:11,311 creating build/lib/certora_cli 2026-03-04T16:46:11,312 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2026-03-04T16:46:11,314 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2026-03-04T16:46:11,316 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2026-03-04T16:46:11,318 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2026-03-04T16:46:11,320 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2026-03-04T16:46:11,322 copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli 2026-03-04T16:46:11,324 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2026-03-04T16:46:11,327 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2026-03-04T16:46:11,329 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2026-03-04T16:46:11,331 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2026-03-04T16:46:11,333 copying certora_cli/__init__.py -> build/lib/certora_cli 2026-03-04T16:46:11,334 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2026-03-04T16:46:11,337 creating build/lib/certora_cli/Mutate 2026-03-04T16:46:11,338 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2026-03-04T16:46:11,340 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2026-03-04T16:46:11,342 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2026-03-04T16:46:11,344 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2026-03-04T16:46:11,350 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2026-03-04T16:46:11,353 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2026-03-04T16:46:11,355 creating build/lib/certora_cli/EquivalenceCheck 2026-03-04T16:46:11,357 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2026-03-04T16:46:11,360 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2026-03-04T16:46:11,362 creating build/lib/certora_cli/Shared 2026-03-04T16:46:11,363 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2026-03-04T16:46:11,366 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2026-03-04T16:46:11,368 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2026-03-04T16:46:11,370 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2026-03-04T16:46:11,373 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2026-03-04T16:46:11,376 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2026-03-04T16:46:11,377 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2026-03-04T16:46:11,381 creating build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,382 copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,385 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,387 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,389 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,391 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,393 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,395 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,397 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,400 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,402 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,405 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,407 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,409 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,411 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,414 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,416 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,418 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,420 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,426 copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,430 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,433 copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,435 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,438 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,441 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,443 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,445 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,448 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,451 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,454 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,461 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,464 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,466 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2026-03-04T16:46:11,469 creating build/lib/certora_cli/CertoraProver/Compiler 2026-03-04T16:46:11,470 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-04T16:46:11,472 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-04T16:46:11,475 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-04T16:46:11,476 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-04T16:46:11,479 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-04T16:46:11,481 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-04T16:46:11,485 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-03-04T16:46:11,486 running egg_info 2026-03-04T16:46:11,514 writing certora_cli_alpha_master.egg-info/PKG-INFO 2026-03-04T16:46:11,517 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2026-03-04T16:46:11,519 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2026-03-04T16:46:11,520 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2026-03-04T16:46:11,522 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2026-03-04T16:46:11,560 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-03-04T16:46:11,566 reading manifest template 'MANIFEST.in' 2026-03-04T16:46:11,571 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-03-04T16:46:11,890 adding license file 'LICENSE' 2026-03-04T16:46:11,896 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-03-04T16:46:11,903 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2026-03-04T16:46:13,059 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2026-03-04T16:46:13,061 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2026-03-04T16:46:13,409 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2026-03-04T16:46:13,411 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-03-04T16:46:13,413 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-03-04T16:46:13,416 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2026-03-04T16:46:13,418 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-03-04T16:46:13,420 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2026-03-04T16:46:13,453 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2026-03-04T16:46:13,454 !! 2026-03-04T16:46:13,455 ******************************************************************************** 2026-03-04T16:46:13,456 Please avoid running ``setup.py`` directly. 2026-03-04T16:46:13,456 Instead, use pypa/build, pypa/installer or other 2026-03-04T16:46:13,456 standards-based tools. 2026-03-04T16:46:13,457 This deprecation is overdue, please update your project and remove deprecated 2026-03-04T16:46:13,458 calls to avoid build errors in the future. 2026-03-04T16:46:13,459 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2026-03-04T16:46:13,459 ******************************************************************************** 2026-03-04T16:46:13,460 !! 2026-03-04T16:46:13,460 self.initialize_options() 2026-03-04T16:46:13,481 installing to build/bdist.linux-armv7l/wheel 2026-03-04T16:46:13,482 running install 2026-03-04T16:46:13,504 running install_lib 2026-03-04T16:46:13,532 creating build/bdist.linux-armv7l/wheel 2026-03-04T16:46:13,534 creating build/bdist.linux-armv7l/wheel/certora_bins 2026-03-04T16:46:13,535 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2026-03-04T16:46:13,537 creating build/bdist.linux-armv7l/wheel/certora_jars 2026-03-04T16:46:13,538 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-03-04T16:46:13,815 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-03-04T16:46:14,223 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-03-04T16:46:14,640 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-03-04T16:46:14,642 creating build/bdist.linux-armv7l/wheel/certora_cli 2026-03-04T16:46:14,643 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-04T16:46:14,645 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-04T16:46:14,647 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-04T16:46:14,648 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-04T16:46:14,651 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-04T16:46:14,653 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2026-03-04T16:46:14,654 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-03-04T16:46:14,656 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-03-04T16:46:14,658 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-03-04T16:46:14,660 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-03-04T16:46:14,663 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-03-04T16:46:14,666 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-03-04T16:46:14,668 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2026-03-04T16:46:14,669 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-04T16:46:14,671 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-04T16:46:14,673 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-04T16:46:14,675 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-04T16:46:14,677 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-04T16:46:14,680 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-04T16:46:14,682 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-04T16:46:14,683 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-03-04T16:46:14,685 copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-04T16:46:14,687 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-04T16:46:14,689 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-04T16:46:14,691 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-04T16:46:14,694 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2026-03-04T16:46:14,695 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-04T16:46:14,698 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-04T16:46:14,700 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-04T16:46:14,702 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-04T16:46:14,705 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-04T16:46:14,709 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-04T16:46:14,710 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-03-04T16:46:14,713 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-04T16:46:14,716 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2026-03-04T16:46:14,717 copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,719 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,721 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,723 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,726 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,727 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,729 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,731 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,734 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2026-03-04T16:46:14,735 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-04T16:46:14,738 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-04T16:46:14,740 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-04T16:46:14,742 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-04T16:46:14,744 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-04T16:46:14,746 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-04T16:46:14,749 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-03-04T16:46:14,751 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,753 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,755 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,757 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,759 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,762 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,764 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,766 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,768 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,769 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,773 copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,775 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,778 copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,780 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,783 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,785 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,787 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,790 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,792 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,794 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,797 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,803 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,806 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,808 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-03-04T16:46:14,809 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-04T16:46:14,811 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-03-04T16:46:14,812 running install_egg_info 2026-03-04T16:46:14,848 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20260302.22.32.104958-py3.11.egg-info 2026-03-04T16:46:14,860 running install_scripts 2026-03-04T16:46:14,872 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20260302.22.32.104958.dist-info/WHEEL 2026-03-04T16:46:14,875 creating '/tmp/pip-wheel-nxeaw8se/certora_cli_alpha_master-20260302.22.32.104958-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2026-03-04T16:46:14,877 adding 'certora_bins/__init__.py' 2026-03-04T16:46:14,879 adding 'certora_cli/__init__.py' 2026-03-04T16:46:14,880 adding 'certora_cli/certoraCVLFormatter.py' 2026-03-04T16:46:14,882 adding 'certora_cli/certoraConcord.py' 2026-03-04T16:46:14,883 adding 'certora_cli/certoraEVMProver.py' 2026-03-04T16:46:14,884 adding 'certora_cli/certoraEqCheck.py' 2026-03-04T16:46:14,886 adding 'certora_cli/certoraMutate.py' 2026-03-04T16:46:14,887 adding 'certora_cli/certoraRanger.py' 2026-03-04T16:46:14,889 adding 'certora_cli/certoraRun.py' 2026-03-04T16:46:14,890 adding 'certora_cli/certoraSolanaProver.py' 2026-03-04T16:46:14,892 adding 'certora_cli/certoraSorobanProver.py' 2026-03-04T16:46:14,893 adding 'certora_cli/certoraSuiProver.py' 2026-03-04T16:46:14,895 adding 'certora_cli/rustMutator.py' 2026-03-04T16:46:14,898 adding 'certora_cli/CertoraProver/__init__.py' 2026-03-04T16:46:14,900 adding 'certora_cli/CertoraProver/castingInstrumenter.py' 2026-03-04T16:46:14,901 adding 'certora_cli/CertoraProver/certoraApp.py' 2026-03-04T16:46:14,929 adding 'certora_cli/CertoraProver/certoraBuild.py' 2026-03-04T16:46:14,932 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2026-03-04T16:46:14,934 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2026-03-04T16:46:14,936 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2026-03-04T16:46:14,938 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2026-03-04T16:46:14,944 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2026-03-04T16:46:14,947 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2026-03-04T16:46:14,949 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2026-03-04T16:46:14,951 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2026-03-04T16:46:14,952 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2026-03-04T16:46:14,957 adding 'certora_cli/CertoraProver/certoraContext.py' 2026-03-04T16:46:14,962 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2026-03-04T16:46:14,964 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2026-03-04T16:46:14,970 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2026-03-04T16:46:14,972 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2026-03-04T16:46:14,974 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2026-03-04T16:46:14,976 adding 'certora_cli/CertoraProver/certoraJobList.py' 2026-03-04T16:46:14,978 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2026-03-04T16:46:14,979 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2026-03-04T16:46:14,980 adding 'certora_cli/CertoraProver/certoraOffsetConverter.py' 2026-03-04T16:46:14,982 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2026-03-04T16:46:14,983 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2026-03-04T16:46:14,986 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2026-03-04T16:46:14,989 adding 'certora_cli/CertoraProver/certoraType.py' 2026-03-04T16:46:14,991 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2026-03-04T16:46:14,992 adding 'certora_cli/CertoraProver/erc7201.py' 2026-03-04T16:46:14,994 adding 'certora_cli/CertoraProver/splitRules.py' 2026-03-04T16:46:14,996 adding 'certora_cli/CertoraProver/storageExtension.py' 2026-03-04T16:46:14,998 adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py' 2026-03-04T16:46:15,000 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2026-03-04T16:46:15,002 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2026-03-04T16:46:15,003 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2026-03-04T16:46:15,005 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2026-03-04T16:46:15,013 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2026-03-04T16:46:15,015 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2026-03-04T16:46:15,016 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2026-03-04T16:46:15,018 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2026-03-04T16:46:15,019 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2026-03-04T16:46:15,020 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2026-03-04T16:46:15,021 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2026-03-04T16:46:15,022 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2026-03-04T16:46:15,023 adding 'certora_cli/EquivalenceCheck/__init__.py' 2026-03-04T16:46:15,026 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2026-03-04T16:46:15,028 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2026-03-04T16:46:15,029 adding 'certora_cli/Mutate/__init__.py' 2026-03-04T16:46:15,040 adding 'certora_cli/Mutate/mutateApp.py' 2026-03-04T16:46:15,042 adding 'certora_cli/Mutate/mutateAttributes.py' 2026-03-04T16:46:15,043 adding 'certora_cli/Mutate/mutateConstants.py' 2026-03-04T16:46:15,045 adding 'certora_cli/Mutate/mutateUtil.py' 2026-03-04T16:46:15,046 adding 'certora_cli/Mutate/mutateValidate.py' 2026-03-04T16:46:15,050 adding 'certora_cli/Shared/ExpectedComparator.py' 2026-03-04T16:46:15,051 adding 'certora_cli/Shared/__init__.py' 2026-03-04T16:46:15,053 adding 'certora_cli/Shared/certoraAttrUtil.py' 2026-03-04T16:46:15,055 adding 'certora_cli/Shared/certoraLogging.py' 2026-03-04T16:46:15,063 adding 'certora_cli/Shared/certoraUtils.py' 2026-03-04T16:46:15,068 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2026-03-04T16:46:15,071 adding 'certora_cli/Shared/proverCommon.py' 2026-03-04T16:46:15,073 adding 'certora_cli_alpha_master-20260302.22.32.104958.dist-info/licenses/LICENSE' 2026-03-04T16:46:17,653 adding 'certora_jars/ASTExtraction.jar' 2026-03-04T16:46:17,797 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2026-03-04T16:46:20,371 adding 'certora_jars/Typechecker.jar' 2026-03-04T16:46:20,514 adding 'certora_jars/__init__.py' 2026-03-04T16:46:20,516 adding 'certora_cli_alpha_master-20260302.22.32.104958.dist-info/METADATA' 2026-03-04T16:46:20,517 adding 'certora_cli_alpha_master-20260302.22.32.104958.dist-info/WHEEL' 2026-03-04T16:46:20,518 adding 'certora_cli_alpha_master-20260302.22.32.104958.dist-info/entry_points.txt' 2026-03-04T16:46:20,519 adding 'certora_cli_alpha_master-20260302.22.32.104958.dist-info/top_level.txt' 2026-03-04T16:46:20,520 adding 'certora_cli_alpha_master-20260302.22.32.104958.dist-info/RECORD' 2026-03-04T16:46:20,971 removing build/bdist.linux-armv7l/wheel 2026-03-04T16:46:21,117 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2026-03-04T16:46:21,544 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20260302.22.32.104958-py3-none-any.whl size=42985516 sha256=32257e010267ba4b9eb13a5702d7214ed449a66bbed819d3c61ef71fd3220d3d 2026-03-04T16:46:21,546 Stored in directory: /tmp/pip-ephem-wheel-cache-xv4tqkio/wheels/4c/a1/31/9365d19bc9bcbfa91004a96382ec02afd39793a1ef04b57d46 2026-03-04T16:46:21,575 Successfully built certora-cli-alpha-master 2026-03-04T16:46:22,561 Removed build tracker: '/tmp/pip-build-tracker-xx8sa7ky'