2026-09-08T14:03:52,039 Created temporary directory: /tmp/pip-ephem-wheel-cache-nfrztdnd 2026-09-08T14:03:52,041 Created temporary directory: /tmp/pip-build-tracker-3u8eum_h 2026-09-08T14:03:52,042 Initialized build tracking at /tmp/pip-build-tracker-3u8eum_h 2026-09-08T14:03:52,042 Created build tracker: /tmp/pip-build-tracker-3u8eum_h 2026-09-08T14:03:52,043 Entered build tracker: /tmp/pip-build-tracker-3u8eum_h 2026-09-08T14:03:52,044 Created temporary directory: /tmp/pip-wheel-et9l54hd 2026-09-08T14:03:52,047 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-09-08T14:03:52,049 Created temporary directory: /tmp/pip-ephem-wheel-cache-gz5lkhrb 2026-09-08T14:03:52,073 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-09-08T14:03:52,077 2 location(s) to search for versions of certora-cli-alpha-master: 2026-09-08T14:03:52,077 * https://pypi.org/simple/certora-cli-alpha-master/ 2026-09-08T14:03:52,077 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-09-08T14:03:52,077 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2026-09-08T14:03:52,078 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2026-09-08T14:03:52,080 Found index url https://pypi.org/simple 2026-09-08T14:03:52,326 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2026-09-08T14:03:52,368 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/95/7c/cbc4193cb54147ec700878c62908e764d1a44499011aaf18ad4e32c94684/certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,369 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2d/b2/ffed5f0a6dd0bea599910aa3c1b4c80ddda7925279a335c77b4fff66fd30/certora_cli_alpha_master-20260715.6.8.146347-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,369 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cc/98/abb95aabd27bc48e5177e6728e4a08346e7662a2607fbb07026d7fdb14cf/certora_cli_alpha_master-20260715.6.8.146347-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,371 Found link https://files.pythonhosted.org/packages/1a/4e/eecc3fc4136977e849f50aac5cea73aa8f2696dd1eeea8a170b9dea2dd80/certora_cli_alpha_master-20260715.6.8.146347.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.6.8.146347 2026-09-08T14:03:52,371 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ee/ce/370691f153d969eac1203cc52c1826b780d48adeee2ef5c9c15b1e8a1177/certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,372 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6b/09/0f40d43671128a09007501ed11adce51aff23ee45ab2d36e4dea290735b0/certora_cli_alpha_master-20260715.6.46.85716-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,373 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/be/2f/3ddf62c230dde2698deb86266f086f7cb247f9557fcc0be287d51a152adf/certora_cli_alpha_master-20260715.6.46.85716-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,374 Found link https://files.pythonhosted.org/packages/ae/47/92ff1d04703a3fefe2a8c07f31af5a752a5f00e202e7a79249b20db34849/certora_cli_alpha_master-20260715.6.46.85716.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.6.46.85716 2026-09-08T14:03:52,375 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4f/6b/2569a8f1d82cbcd3038c545f25c800141369995d7995f551d7133b217568/certora_cli_alpha_master-20260715.7.22.20117-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,375 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3f/b4/2e74e85acaa011eef6259fe7644b482003f1e5be34fd4d4a694666c6d144/certora_cli_alpha_master-20260715.7.22.20117-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,376 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/79/bc/bab92aa4406caf5b774475f5dd02d30f9d04ec3be03c00122c7540f1813f/certora_cli_alpha_master-20260715.7.22.20117-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,377 Found link https://files.pythonhosted.org/packages/6c/64/0d21f6742adacc20e896f4980569e5fae72049296df8a1d69c40c4f137f5/certora_cli_alpha_master-20260715.7.22.20117.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.7.22.20117 2026-09-08T14:03:52,377 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f7/91/f1a624e94d2c8bc335f240c94cc60316449abed4a082e0dc026dfffb1c02/certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,378 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ba/3c/cc215a11d72ba4d2e2930f1cb54477fd9fda8847dc770350253d17cd6885/certora_cli_alpha_master-20260716.12.45.435886-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,379 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/57/83/2b159fff3ba9528936826c35ff5c2263bca5e62115e10b3b08449d2fca15/certora_cli_alpha_master-20260716.12.45.435886-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,380 Found link https://files.pythonhosted.org/packages/fe/f1/bd0ee3d0e883b44f7e8b9c06f6ccf14d360ceb609f587a6fba6b8ebb2c43/certora_cli_alpha_master-20260716.12.45.435886.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260716.12.45.435886 2026-09-08T14:03:52,380 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9c/37/aaf262dff00ea9dd996478497cb630d05f32168994c54594ad1ecdb30fb6/certora_cli_alpha_master-20260716.14.2.9049-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,381 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3e/01/2ff3d9c3b78d1b4b8fad28cfc851090ade9dc2731eed928510b99af2d563/certora_cli_alpha_master-20260716.14.2.9049-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,382 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/82/1e/af7142fb33494e3102f45cb6fff8991edb2872ee01b652ba4049e8265e5f/certora_cli_alpha_master-20260716.14.2.9049-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,383 Found link https://files.pythonhosted.org/packages/5e/0a/b2484aa492b0492bc45ed98094857e26555f7a1a5be5f715d130a313b065/certora_cli_alpha_master-20260716.14.2.9049.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260716.14.2.9049 2026-09-08T14:03:52,384 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/16/c8/2a26a3d4f2568f29577e36757296171e3fc585182b3335f929bf2066ffa8/certora_cli_alpha_master-20260716.17.27.262642-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,384 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9e/91/d1b33e9d2ed8dea3db27f6872081db57891f8eff82a601b4e4692bcd823f/certora_cli_alpha_master-20260716.17.27.262642-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,385 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3e/d0/2b5ecfd4c9492fe728578ccd09727236f18abdcb85dbdfa460c2e2fc0d21/certora_cli_alpha_master-20260716.17.27.262642-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,386 Found link https://files.pythonhosted.org/packages/ca/ad/077dabb866f62a6502c979eb9d1b008d9e2c51ae7e90206c3ba5126bab3c/certora_cli_alpha_master-20260716.17.27.262642.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260716.17.27.262642 2026-09-08T14:03:52,386 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c8/b2/3247bb6071cf9310ce04a6511ef8611fba688df70aa9b30bc070a138206e/certora_cli_alpha_master-20260722.7.0.82332-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,387 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4d/97/ab10bc0d9a5d3369fe158558e784709f00670b83b333ddcc7619ffc615ef/certora_cli_alpha_master-20260722.7.0.82332-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,388 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/07/36/2b93ed34023c456ab2634299f4fbdd14cdecc10a9d06c0593c09f57b230c/certora_cli_alpha_master-20260722.7.0.82332-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,388 Found link https://files.pythonhosted.org/packages/78/70/8b27fdc16da2c03ed27db2606e70eae88a5fa8e6560d8a43bbecadec2bf5/certora_cli_alpha_master-20260722.7.0.82332.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260722.7.0.82332 2026-09-08T14:03:52,389 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6a/09/4e939ee69cb46db031bb269a97b64063597ac9d34889d20d4a303462027b/certora_cli_alpha_master-20260729.17.57.786085-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,390 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/21/36/97f04bca887e2e13b065177ee5a2b8d6d47f1ed73de909b5e9038f3529ad/certora_cli_alpha_master-20260729.17.57.786085-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,390 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b9/f0/be9a77032b0a9df8fa6fbf48e5edb4ac13d5f3ff1ebcb9cacdad438d1b5c/certora_cli_alpha_master-20260729.17.57.786085-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,391 Found link https://files.pythonhosted.org/packages/a4/9c/96728191b076f26887ff27a27fc12912d0ecd8e25db13529af25477a9e74/certora_cli_alpha_master-20260729.17.57.786085.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260729.17.57.786085 2026-09-08T14:03:52,392 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9d/08/cbf1099db6f86e5504481c54e5c370a9fe0f873e5d0deca7c822a862c49d/certora_cli_alpha_master-20260730.18.17.393057-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,393 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b9/d7/71824819bac0b3b651e03c56bcdf3898e39c12eb31206a8db521e57a397e/certora_cli_alpha_master-20260730.18.17.393057-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,394 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f1/bd/577141cdd7308a7418266c811137a85d45aaf8830cd184d93c38315471b3/certora_cli_alpha_master-20260730.18.17.393057-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,394 Found link https://files.pythonhosted.org/packages/bb/80/10dcb85085ea0487e4226c06a6aedfc300275e7c1f3504ba1928fcc971f0/certora_cli_alpha_master-20260730.18.17.393057.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260730.18.17.393057 2026-09-08T14:03:52,395 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/65/3c/c5634adaac65fc984390185aa52d2223001807c16a5725bc151c1f9e3e44/certora_cli_alpha_master-20260804.10.28.546456-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,396 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/41/54/a6cae8a0236b53ed9b00635d766b137c67df01d75cc2f3fd248a90cb1518/certora_cli_alpha_master-20260804.10.28.546456-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,396 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0e/00/7a550451a35f3f03c7ffdf4ac32ccd6ce7838c1f7b124f1c6005f9453ffd/certora_cli_alpha_master-20260804.10.28.546456-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,397 Found link https://files.pythonhosted.org/packages/b1/f6/6b3ce89371be9e08cc25f2f1bd8d876b9171e1b9637661ed9af13cf41cca/certora_cli_alpha_master-20260804.10.28.546456.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260804.10.28.546456 2026-09-08T14:03:52,398 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/85/a5/fa72202baa0b952977a068d4f328becd58b599de4814ab3680eb0377df47/certora_cli_alpha_master-20260804.11.33.345392-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,398 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3b/42/c74051c04cbac7174c8ba3642d13f2c655365113b0bfbe1ae97c824928ba/certora_cli_alpha_master-20260804.11.33.345392-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,399 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/70/1d/53ee04325969eace9390f82ff76c3415e547b9fedc3fba85665629b85313/certora_cli_alpha_master-20260804.11.33.345392-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,400 Found link https://files.pythonhosted.org/packages/7f/bb/3baf344793a7cc94b0faa3d73a0de2d99b9751221ed260f6658f01b1c652/certora_cli_alpha_master-20260804.11.33.345392.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260804.11.33.345392 2026-09-08T14:03:52,401 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/14/d2/af13f991fe901d8906cb29adf1db5efcb1771a0b4e9baefeb4537e4d93af/certora_cli_alpha_master-20260805.1.2.652818-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,401 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b0/e9/3b16c1e4fb362dff2200e54bff67ebc17478ebc30f5b4f90972f2196bcc3/certora_cli_alpha_master-20260805.1.2.652818-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,402 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/59/24/efda386bde671bdbeb823ac09d2db3af4b518e8c032ef6f2d5db21aff1a5/certora_cli_alpha_master-20260805.1.2.652818-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,403 Found link https://files.pythonhosted.org/packages/6a/42/a085a913ede7324cb158050585cdf46e5af978adba289da84a8ad464d02a/certora_cli_alpha_master-20260805.1.2.652818.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260805.1.2.652818 2026-09-08T14:03:52,403 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/46/18/33257acaba7e7b95b4af0800c850a9bbc0b9af54277a5b3aa4da9da67683/certora_cli_alpha_master-20260806.11.36.29851-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,404 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8e/30/7fafe5ce2a739c2613cb21cd004e834aca6ea8c7fff4a90fbf242af01346/certora_cli_alpha_master-20260806.11.36.29851-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,404 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/46/5c/f1a38ba710a296def3f79623674d72c3593f1a26685593d3207a6cc864e4/certora_cli_alpha_master-20260806.11.36.29851-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,405 Found link https://files.pythonhosted.org/packages/e3/1a/b2777af803bab1bb935d797be3281401cc962326b7e954b88684df187827/certora_cli_alpha_master-20260806.11.36.29851.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260806.11.36.29851 2026-09-08T14:03:52,406 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c4/60/90ae1c929b0ef960a3aade872739d9f51f10daebeae09f1b7dab01336620/certora_cli_alpha_master-20260810.10.57.307572-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,407 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c4/6b/c83bbd22156eaa8fa9e9ec3c6c2b67a378aedca0915ace826e8a4cf70691/certora_cli_alpha_master-20260810.10.57.307572-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,407 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2c/d8/f9e477101a9734553622afdc6cb171bcb0ee756530982ca385fffeda5076/certora_cli_alpha_master-20260810.10.57.307572-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,408 Found link https://files.pythonhosted.org/packages/a8/35/8abb2884d5f5d6ae1e3971a93bb6d520c89ccba22dc46faf767385ab12e3/certora_cli_alpha_master-20260810.10.57.307572.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260810.10.57.307572 2026-09-08T14:03:52,409 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/25/c1/e4d051f4eb484b173ee83443d54592e2eecc6275d2c640abd247b9a3005e/certora_cli_alpha_master-20260812.14.52.259366-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,409 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/25/af/9a7e86d90c62ea3b83f5e850cf33ebbd03b3545cfc6f57b42eff58aa6f1a/certora_cli_alpha_master-20260812.14.52.259366-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,410 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/72/c5/468806aaf052ecc80c6962fc322a24d8cd30f142e7d6f08ab57e7f0cca0f/certora_cli_alpha_master-20260812.14.52.259366-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,411 Found link https://files.pythonhosted.org/packages/f4/03/911b0ab5a64ddaa920b3c9d486e578d365db2f587d090dac1062a2e5ea9f/certora_cli_alpha_master-20260812.14.52.259366.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260812.14.52.259366 2026-09-08T14:03:52,411 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b5/6a/e12b0a4a2c3409e9fb5f61c558012f655b679a759d0512f8d16c11009948/certora_cli_alpha_master-20260812.16.44.86540-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,412 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6e/93/56b8682c47c11b33901adf1359cd4148d3fac6abea61174c1033de599579/certora_cli_alpha_master-20260812.16.44.86540-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,412 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/46/29/3a76f9b8861eb78f42d142958a6ecfcc536aab72cd8a4a9521a977197c60/certora_cli_alpha_master-20260812.16.44.86540-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,413 Found link https://files.pythonhosted.org/packages/b0/13/8c31b49e1e78ade6ab49944f43047ef6eeb311a410f0a22975162a0a0dce/certora_cli_alpha_master-20260812.16.44.86540.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260812.16.44.86540 2026-09-08T14:03:52,414 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/34/09/ae961d85deeafee4d4d4114812e69febedf2408e54b06b34af2c7bc57c39/certora_cli_alpha_master-20260818.12.31.101880-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,415 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a7/80/e599ae58ea6790f15ee65ba0d868e29f711cc0da23999685e04694226b41/certora_cli_alpha_master-20260818.12.31.101880-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,416 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/dd/f3/dd0f6ee5df76dee217d25e9e3b682c0943d1a5077a4f0f8fd1653c20320e/certora_cli_alpha_master-20260818.12.31.101880-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,416 Found link https://files.pythonhosted.org/packages/4b/a5/bda1808a5835ef6f1a8db4437c4ce17c0dfed7613ca352eb3c563f3b781e/certora_cli_alpha_master-20260818.12.31.101880.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260818.12.31.101880 2026-09-08T14:03:52,417 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/91/91/40545631a427516f8ead82e259b0bec1f831e7370a8ec8cd8d8ed0d0d679/certora_cli_alpha_master-20260819.10.0.767923-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,418 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/32/d7/c20bf1cfe70b1e28280f3336013bd97d98de1a9d44e741de949cf97a3eae/certora_cli_alpha_master-20260819.10.0.767923-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,418 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fd/2c/359fb8e0200da316b4a7f528e6f9444db8d098ab3ac874ca4e22480960bf/certora_cli_alpha_master-20260819.10.0.767923-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,419 Found link https://files.pythonhosted.org/packages/2f/6f/9ebe55ff4885a5b15d5eb947a04666e5bbec9f50526f662306f7a123fd53/certora_cli_alpha_master-20260819.10.0.767923.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260819.10.0.767923 2026-09-08T14:03:52,420 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e2/b0/ed6154bdea247846392c9f1be3b2faa80dac2851245f53ac67f4de3de479/certora_cli_alpha_master-20260819.15.32.547513-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,421 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/88/14/78b3f07d7e997893fd56a76a0567f9467f289ccdd67a70a9db8d31bd23b4/certora_cli_alpha_master-20260819.15.32.547513-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,421 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ca/6f/5549188b819c851e4df14749a4edea8b3c8ed3c2c98f841864c7179f2c19/certora_cli_alpha_master-20260819.15.32.547513-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,422 Found link https://files.pythonhosted.org/packages/cd/97/244fc391bab76005c9bbac06b36fc57158acd2b3705f146f5919ed33045b/certora_cli_alpha_master-20260819.15.32.547513.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260819.15.32.547513 2026-09-08T14:03:52,423 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b9/c0/2f2b908629f7de92aecf3a5d1bce7e3f51b193dc76c7929b7f308a39ca39/certora_cli_alpha_master-20260819.16.10.394573-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,423 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2a/87/a0ec1415dd3eb365e2dbf91a82c01e7596b95e018cbba23fe49f4b25b088/certora_cli_alpha_master-20260819.16.10.394573-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,424 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/64/6d/b3279a806131abfefbf27fdc15c971888cbe6e9765cb6382677d86fd6163/certora_cli_alpha_master-20260819.16.10.394573-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,425 Found link https://files.pythonhosted.org/packages/7f/4e/06f9d5892dde2ed334e890c79fd5b794ed6102c6f926b74bc98320b12138/certora_cli_alpha_master-20260819.16.10.394573.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260819.16.10.394573 2026-09-08T14:03:52,426 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3a/2b/da34fe15896139a340b1b87945968cc8fa6d549a105628020249b6ca648a/certora_cli_alpha_master-20260820.9.30.263849-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,426 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/83/d5/d5bdd4bf7629c82b5181a6a271bc09680bb8a89faa82272887cb701f06df/certora_cli_alpha_master-20260820.9.30.263849-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,427 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/dc/7d/6a3b8e93c368f1b21f50a6bb290aecaf9c991adf261b98e1cc8f7c0e24a8/certora_cli_alpha_master-20260820.9.30.263849-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,428 Found link https://files.pythonhosted.org/packages/d1/46/385f02655994cc370578eca8b9580370ce08821207e9507733d08475b5d3/certora_cli_alpha_master-20260820.9.30.263849.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260820.9.30.263849 2026-09-08T14:03:52,428 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/35/45/30ed9f68462ba4b56c17f28f49023256621726b1f88faec208178a3393ee/certora_cli_alpha_master-20260820.18.24.48074-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,429 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/62/c6/09ca9df549c4855117657f3b56e3e78c28f85bd94c634b3502b9f83ad31a/certora_cli_alpha_master-20260820.18.24.48074-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,429 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/af/80/2f05cd838d71d0f09e8c6d46e2319b11801d84ca559016097201a7bdf883/certora_cli_alpha_master-20260820.18.24.48074-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,430 Found link https://files.pythonhosted.org/packages/dc/b2/e8af52983ead24ea6a3f0520f82fde2d28cf8782c8ce5c59b02329259579/certora_cli_alpha_master-20260820.18.24.48074.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260820.18.24.48074 2026-09-08T14:03:52,431 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/50/b4/a2bdb15afa9e361bdd78261e7b20912e1df8375dd7aaaba8906ce7b83e39/certora_cli_alpha_master-20260820.19.2.655052-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,432 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b5/63/9cfa9a728893be399373dc2cd22bb03d1b9fc73a926470aa066f9c9d4f1e/certora_cli_alpha_master-20260820.19.2.655052-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,433 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/67/bf/030d9b94be67342a47ec9736b62684ca0b8631c68cad7521af0de59247f6/certora_cli_alpha_master-20260820.19.2.655052-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,434 Found link https://files.pythonhosted.org/packages/0f/ab/fd10b325f677e02852e6bb373c4a6b7970d951674663baac23e0b150f109/certora_cli_alpha_master-20260820.19.2.655052.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260820.19.2.655052 2026-09-08T14:03:52,434 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/bb/ac/1db015bae8969e9d1ab771ed0db5d5d6090d869f9513c3130a4669587785/certora_cli_alpha_master-20260821.10.3.876041-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,435 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/70/89/099293d45a9e1ac6ca62e11cf9fa7fa0aaff99ca5af0b6f67d28c1052eda/certora_cli_alpha_master-20260821.10.3.876041-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,435 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ca/d1/ffd5b5fdc78206e5e5424e050d3bf5963bfc2639a8475221332bd12ee29f/certora_cli_alpha_master-20260821.10.3.876041-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,436 Found link https://files.pythonhosted.org/packages/3c/79/9984c0989dce466562a098df2754f5302c00f624ec8e23610a3e0b469d86/certora_cli_alpha_master-20260821.10.3.876041.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260821.10.3.876041 2026-09-08T14:03:52,437 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/39/73/08b069d2c95e348a03ba90bd0c4df89b1b98457c858855b130b847d6b6b5/certora_cli_alpha_master-20260824.19.53.912048-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,437 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b3/85/5dec829d4c6dc6a4902bfad75f7457e4e368ea5eb60b3e79238763214a2a/certora_cli_alpha_master-20260824.19.53.912048-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,438 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/bd/f4/a6f456831a05af4e64a1124eac06c31a1c33a27b03b4f78a14acdfb433f0/certora_cli_alpha_master-20260824.19.53.912048-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,439 Found link https://files.pythonhosted.org/packages/da/3a/ea08c7e5569cb5f09bf3fad9b3f00a8bbd871e8d47f8893502b59ac07122/certora_cli_alpha_master-20260824.19.53.912048.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260824.19.53.912048 2026-09-08T14:03:52,440 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/79/e1/04af92772bf84ff9785b31d3df1587ac644d81a6be09145f4b5d09466d6f/certora_cli_alpha_master-20260825.14.19.397949-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,440 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a9/c2/2e9afd87b0eaa49bf09d9b066c4901e121bd16595ff9ce010c8b0b47f843/certora_cli_alpha_master-20260825.14.19.397949-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,441 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b1/c2/c9d3170d913748aac6eff0dab695a5522f607edda8ff2c6d71f6b40c6f2a/certora_cli_alpha_master-20260825.14.19.397949-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,442 Found link https://files.pythonhosted.org/packages/42/b5/078083d18b56ae9b6731d8840bdba023cb7a0fc4a37c253a2d0c643f60a9/certora_cli_alpha_master-20260825.14.19.397949.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260825.14.19.397949 2026-09-08T14:03:52,443 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1c/f0/1bef11b0ff7ad547ef942d921ebbbfdfb8f75916d3df01fc2b33d1d5a13f/certora_cli_alpha_master-20260825.18.8.326207-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,443 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/54/1b/1198d37929e8c44e4ea9f31625365345a216a118726e65fd361ca8ec8d49/certora_cli_alpha_master-20260825.18.8.326207-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,444 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c9/7a/f54f6b2a08d6a0096459bd629c5055723b509ae2e3d1a1adee2016c80ff1/certora_cli_alpha_master-20260825.18.8.326207-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,445 Found link https://files.pythonhosted.org/packages/b9/d6/f73b74b6eebd204db587f0ce6cb5788a9701dc0922cafb30be33652abc27/certora_cli_alpha_master-20260825.18.8.326207.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260825.18.8.326207 2026-09-08T14:03:52,445 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ca/5f/e9417d94fd5685da6296fc6f149b35e67f404bc34d19b63f499ead8c9c83/certora_cli_alpha_master-20260825.18.44.797900-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,446 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/19/7d/d519cafb2d6fb6170c9b7174f7a8030eb6db713e66f46b2a79c8c00f6d55/certora_cli_alpha_master-20260825.18.44.797900-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,447 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/be/da/bc8f265e231027d2c579384ffdce33cd6ec3ca07afcb4f692d362d6a8197/certora_cli_alpha_master-20260825.18.44.797900-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,448 Found link https://files.pythonhosted.org/packages/c5/af/e016b0e1e1f1ec87c42fba74a1daf51e9baba31bf61ec1a0bdccf5d10f80/certora_cli_alpha_master-20260825.18.44.797900.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260825.18.44.797900 2026-09-08T14:03:52,448 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/28/aa/863fd66ba22e6bc1ae9202ec34b670e5ef54ece4fecc8a4642c3c757ce93/certora_cli_alpha_master-20260825.19.45.163152-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,449 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/bc/23/a59d9d5e734da88c44f7347147bd76ee96941ea098b438cc8fe13c4a41fb/certora_cli_alpha_master-20260825.19.45.163152-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,450 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6a/a0/95235b8f98ef07aaaf85f95c3f6afb7df831770bea1f7b6732aea63e0997/certora_cli_alpha_master-20260825.19.45.163152-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,451 Found link https://files.pythonhosted.org/packages/ac/87/4dc94294eb5a8f393dbff9231f9b9db1e7f6e9e148e0ae6b94686013c872/certora_cli_alpha_master-20260825.19.45.163152.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260825.19.45.163152 2026-09-08T14:03:52,451 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/81/87/32ee3c6723031d8627684f427bfe2756d103571cc2512b805651ca3a2489/certora_cli_alpha_master-20260825.23.3.534875-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,452 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/94/79/ba7635de3e030c7e4bbb0f238c79ed505e7d13fde9367b9c1d608aa784f2/certora_cli_alpha_master-20260825.23.3.534875-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,452 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e2/0e/1c81b7c4017f2f7d7c7b92e3403c9aca60bbca4199eb46541d9122018ada/certora_cli_alpha_master-20260825.23.3.534875-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,453 Found link https://files.pythonhosted.org/packages/94/69/00c55c5c5d5acfe6fbbfe9fae8514a12edd354dc3ca249ee623e05446a00/certora_cli_alpha_master-20260825.23.3.534875.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260825.23.3.534875 2026-09-08T14:03:52,454 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e8/b0/cbb57e22eeeba6ce3cdfbdbb55b3f267f6314c51530c39e07c8ad10adf3d/certora_cli_alpha_master-20260825.23.41.707159-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,455 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/71/87/3223104d6cd98de40168d9177626e9a214b81e7d18a8beaf039d985b0a4c/certora_cli_alpha_master-20260825.23.41.707159-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,455 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c5/df/70c0d1ab2bb453affe18876051077d34b3056c68cbc8398b72ac8336a96d/certora_cli_alpha_master-20260825.23.41.707159-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,456 Found link https://files.pythonhosted.org/packages/4b/fa/f58ed8efc91058b7893ead7da3d701d3e981f8df823dab70076ca8463c2e/certora_cli_alpha_master-20260825.23.41.707159.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260825.23.41.707159 2026-09-08T14:03:52,457 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/88/e3/44cab77bacf074d0e9dc8173186c11fea7cfcfc51b938ecf9f68dec30417/certora_cli_alpha_master-20260826.14.9.800012-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,458 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/06/24/4d398c4e891b37a9397fa8e16fed1ccb0920ebedeaf4979537a4f85e1f5b/certora_cli_alpha_master-20260826.14.9.800012-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,459 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5c/f3/e29fffebc16302780d5a9ef44355b5b42360da62e1713f5dc3217fbed065/certora_cli_alpha_master-20260826.14.9.800012-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,460 Found link https://files.pythonhosted.org/packages/b7/b3/ba331ab202ef71c76744561dc7138f8abe55351c0cbb391d4d7702f3f309/certora_cli_alpha_master-20260826.14.9.800012.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260826.14.9.800012 2026-09-08T14:03:52,460 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e0/51/354959041cc021820726c81a38b8a65e6ebf52b3720e3b3fbbca7ef68fc9/certora_cli_alpha_master-20260826.15.37.734619-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,461 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/45/14/5313c5289d7dc6a6a8cfd559dc8d9a7c5b8c99681ef5a23d5f44996e1e54/certora_cli_alpha_master-20260826.15.37.734619-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,461 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/08/60/0e1202046b9f806e6ed915982a5ccd6b8eb690e0e7ce3e70a7f4364e1bd6/certora_cli_alpha_master-20260826.15.37.734619-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,462 Found link https://files.pythonhosted.org/packages/fb/e3/672aad7e3b679502127e905ef4c367ed28a600e33676843223bdc3277b66/certora_cli_alpha_master-20260826.15.37.734619.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260826.15.37.734619 2026-09-08T14:03:52,463 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/26/11/6d82c98890194a3a7f38303b4d14269577816a347f8b09f9e2874297e8eb/certora_cli_alpha_master-20260826.21.56.378132-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,464 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3f/f1/c97dcc72b3d88312ed24fc789d74682970be533c9662a97d0935c0c9133c/certora_cli_alpha_master-20260826.21.56.378132-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,464 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d6/b5/0c9add8d37798f39abe8d0883d76245a36c6da55b1edbce68bd8973e8503/certora_cli_alpha_master-20260826.21.56.378132-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,465 Found link https://files.pythonhosted.org/packages/9f/75/678474652391eb906349daf7bb8b24f3f978d0d7f015dd85858c4ef073ea/certora_cli_alpha_master-20260826.21.56.378132.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260826.21.56.378132 2026-09-08T14:03:52,466 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/13/45/49f4d1e8365317e40fe863dff369c78814aa802518b2ed1e8b7dfa3c3545/certora_cli_alpha_master-20260827.17.3.366766-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,466 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b6/e5/dfe97f709321d4e6d989cccb17018a1b25ebf5af1e98870e174b0b7ff5c9/certora_cli_alpha_master-20260827.17.3.366766-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,467 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/52/64/9cdeabcdf7fc07d7636aed6e40326c80b7d991b0813d00eeda5cd4ce54c6/certora_cli_alpha_master-20260827.17.3.366766-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,468 Found link https://files.pythonhosted.org/packages/9f/75/62ca96fa70ce5bf2f61e017bb593845c9b1a3066861ef8eecc8a975f2afc/certora_cli_alpha_master-20260827.17.3.366766.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260827.17.3.366766 2026-09-08T14:03:52,469 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ec/de/9a1ed9b368a6daf5799e1485f9493832973db1b46ef24aae99705cb170e3/certora_cli_alpha_master-20260827.17.39.226927-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,470 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/11/8d/81e6abce03394a63a8cae3f752e33a5a76c1c5f6e48df30f50f543cd405e/certora_cli_alpha_master-20260827.17.39.226927-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,470 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e4/ac/3737b8c5061071963a9eca790635afdd777725d0d1fb8bc7b3d98ae2a9ee/certora_cli_alpha_master-20260827.17.39.226927-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,471 Found link https://files.pythonhosted.org/packages/93/f9/88f65b7debec332e0b0dabd2cda797befa9d31b7754de49900123f41e9ad/certora_cli_alpha_master-20260827.17.39.226927.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260827.17.39.226927 2026-09-08T14:03:52,472 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/87/f5/f02f4d87efa3bb1eff50f5bfb3ef3e05fbd2d9d42877d1c3920dcb9df08a/certora_cli_alpha_master-20260827.21.2.178752-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,472 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a9/a4/b676eee5f2cc5ee04f7db0bb0613d8ace9e7a41a4dba311fef6647430877/certora_cli_alpha_master-20260827.21.2.178752-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,473 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/86/52/64a6bca5720e1439723528676a056c169063742f728531d9dca4e95b2193/certora_cli_alpha_master-20260827.21.2.178752-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,474 Found link https://files.pythonhosted.org/packages/6e/c8/e95b340ad4218bfac45856f7af54961ae02d198b6b37c16ce795c3a9902c/certora_cli_alpha_master-20260827.21.2.178752.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260827.21.2.178752 2026-09-08T14:03:52,475 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2a/5b/d7b29ae7b3e062647d5a72df111685e3a4de2e978ae90793f794d9802ebf/certora_cli_alpha_master-20260828.17.2.608196-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,475 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b8/94/f1ef831fafda121952049339fcc72f05f7064c0ef87baa891029e717be21/certora_cli_alpha_master-20260828.17.2.608196-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,476 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5c/fc/4048a706da72de67233e76546afd6fb5db6c43999abc46d3d7ede8eeea11/certora_cli_alpha_master-20260828.17.2.608196-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,477 Found link https://files.pythonhosted.org/packages/c2/68/522cd9adc6fdabebc169a07ad97929c52ec29a644582767c27d9dc8f2a1e/certora_cli_alpha_master-20260828.17.2.608196.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260828.17.2.608196 2026-09-08T14:03:52,478 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b2/bb/644d753164d3ee4ce605a3777dcf73e937d7c7aed3fe65663b6240a32344/certora_cli_alpha_master-20260828.17.39.749963-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,478 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9d/04/2a264adefb2d365308df4f079f2eb25c501925380400361b9b14a52bf84d/certora_cli_alpha_master-20260828.17.39.749963-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,479 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/19/70/b5a94406519bb9f75c2c07332b9b2a017252ea0c4c8d8c718d21ad021df8/certora_cli_alpha_master-20260828.17.39.749963-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,480 Found link https://files.pythonhosted.org/packages/56/21/f03ba037d18227f9fce053cb78db5d0f454ec8c3bc1a076c012c664935a6/certora_cli_alpha_master-20260828.17.39.749963.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260828.17.39.749963 2026-09-08T14:03:52,481 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e3/c8/96103b1d8b5e6a524729802282c4521ca0c9fe18dab3b2ac410945eb6f0a/certora_cli_alpha_master-20260828.18.15.546362-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,481 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b6/9d/ab4585f0f583fbed052ed5815ebc3ca0b04c30a85e94e54788cfded03e98/certora_cli_alpha_master-20260828.18.15.546362-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,482 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4e/23/ac5319916db2f5beada5f79bf53625a1dd1f24eb7a9f78e03f255c8e2ae9/certora_cli_alpha_master-20260828.18.15.546362-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,483 Found link https://files.pythonhosted.org/packages/3e/db/cb8076e88f4d47df8037ae695291eed21b622d1c9267971846203ad4f77e/certora_cli_alpha_master-20260828.18.15.546362.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260828.18.15.546362 2026-09-08T14:03:52,484 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f0/c0/f4b5bd4eedb7f2cdce575519053745f1ae73016f9dc2d915da87750c431d/certora_cli_alpha_master-20260830.17.5.88502-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,484 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/63/69/80e9a604ec6de46fa2394d028beb8cb8b51631857dea98597427c87bb86b/certora_cli_alpha_master-20260830.17.5.88502-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,485 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/63/c8/1392f69e02fe7bab7cfa0f5926e8a595845bcb29d4a4380c0fe59de18ff8/certora_cli_alpha_master-20260830.17.5.88502-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,486 Found link https://files.pythonhosted.org/packages/20/69/ae605ab8bba5536cbe9e5cfaefa091eac91aec00ea9f6b4c528efbaa97c2/certora_cli_alpha_master-20260830.17.5.88502.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260830.17.5.88502 2026-09-08T14:03:52,487 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4b/fd/1079ae2bdc89021b197acc2e89c678f8a3078c249d244b49e944f8f82c8d/certora_cli_alpha_master-20260901.10.15.59272-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,487 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/17/cf/935d2759e970650196bf02a66e44a545c36589888ac2948360e202a70167/certora_cli_alpha_master-20260901.10.15.59272-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,488 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e0/86/63155d6f2a3918538ebc250f44c7fbc34d4b8a6a568701ba232a46fb94d8/certora_cli_alpha_master-20260901.10.15.59272-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,489 Found link https://files.pythonhosted.org/packages/6b/c4/782083b3d195a0fc0eb416feacdd3815ccf676e56d148061aa2a58d27a9f/certora_cli_alpha_master-20260901.10.15.59272.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260901.10.15.59272 2026-09-08T14:03:52,489 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/93/7e/815daf49f6323ba7e69016154346f49d6b03fd8606e2d7dced29d365a486/certora_cli_alpha_master-20260901.15.1.582772-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,490 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/45/b0/575f16cea45ce7b92925377ce4319387f1130e19a7baddcd45227fae302c/certora_cli_alpha_master-20260901.15.1.582772-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,491 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9d/73/5742b5073ff6b8d1e193f8fc5d6d18a13e2e6bffb192601e4d68b43645e7/certora_cli_alpha_master-20260901.15.1.582772-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,492 Found link https://files.pythonhosted.org/packages/2d/59/3a82b3bea2a545b74457f4ffdc6c4a8db207e010330a5376794173b15ab4/certora_cli_alpha_master-20260901.15.1.582772.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260901.15.1.582772 2026-09-08T14:03:52,492 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d4/77/3ef7a39611a393dffa055a9d2a0b0895494aaf9be5b3b903d163c1d01922/certora_cli_alpha_master-20260901.18.6.132263-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,493 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/59/12/b67a94151b7cb16d9b6b2b12724438148e87e1a8fd0128aaed648c23452a/certora_cli_alpha_master-20260901.18.6.132263-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,494 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/25/6d/54f5ca20586a66dbf05f26a936f73053c66f26d535165a1413f7fc22a21f/certora_cli_alpha_master-20260901.18.6.132263-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,495 Found link https://files.pythonhosted.org/packages/07/46/0b51d95bc5305d93869f407d95b17c3da8d58ec0186e2e5d416e49cc30b5/certora_cli_alpha_master-20260901.18.6.132263.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260901.18.6.132263 2026-09-08T14:03:52,496 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/02/a0/ac2c56858bfb71f54101972dc1d93534cfb2f02fe1baf9d02b1bf33b3d7d/certora_cli_alpha_master-20260901.18.46.937780-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,496 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6e/83/45c68af427fef42864860cb8d64965c8f9c1d4c90df3775c51ba777250a9/certora_cli_alpha_master-20260901.18.46.937780-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,497 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a6/57/a2db03305b25d551362f6055d203a9f8e800d9b9cf00d33084ca43e2c679/certora_cli_alpha_master-20260901.18.46.937780-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,497 Found link https://files.pythonhosted.org/packages/e3/e3/f1f1a1e385c68b5dad4924889a60f943909dd3c91f5725c409eb95c646b3/certora_cli_alpha_master-20260901.18.46.937780.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260901.18.46.937780 2026-09-08T14:03:52,498 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/86/54/8474528a69e0f22023e7ece403acf9d98b34e1558ab6d993a196c4e98fc8/certora_cli_alpha_master-20260902.1.20.245698-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,499 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d3/73/b7161259e16297be2a908d74121ca6a4815ce1f51a78ee7fcb62e5a0bf13/certora_cli_alpha_master-20260902.1.20.245698-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,499 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/17/f4/407a1d8c4a8459b4b894fbf5b89d3eabf60beeaf5d5ede950d835738ec96/certora_cli_alpha_master-20260902.1.20.245698-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,500 Found link https://files.pythonhosted.org/packages/1c/3a/08f1f732fd5c15999c00ca26f7279fb7351a9f6c5126e8084836c8680bfb/certora_cli_alpha_master-20260902.1.20.245698.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260902.1.20.245698 2026-09-08T14:03:52,501 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e0/eb/dd772c592c67c40ace460d282eca1e7e9f65a894cdd445ba9239e1ba9f28/certora_cli_alpha_master-20260902.9.31.124479-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,501 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3f/2a/5817ed6cba4ee6ae336ac2fbc2cfee57254ce4ef80b826cc6421acd7ccca/certora_cli_alpha_master-20260902.9.31.124479-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,502 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/23/40/88250dad160a24c3ec6af22a7e8260e88d30614f1fb1d6ddb39e6bd3f09a/certora_cli_alpha_master-20260902.9.31.124479-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,503 Found link https://files.pythonhosted.org/packages/82/0f/28a0fdd27b826f5f3be54d64db21033ca9e5aafcd50ef409bc9bb7ef6195/certora_cli_alpha_master-20260902.9.31.124479.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260902.9.31.124479 2026-09-08T14:03:52,504 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d9/16/4165c2bcaa85f8f30ee860c8b060518350ad07cd10a05059f5b84100a6ee/certora_cli_alpha_master-20260902.14.51.607355-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,504 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6f/98/c4c41f2c4e3db19d69fed0a8dff42e02002675469c2f45b741dcc008d319/certora_cli_alpha_master-20260902.14.51.607355-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,505 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3f/4a/2238771443bc613ed3afa5ef6f91b7f55c99c05e28769cd65968e2696720/certora_cli_alpha_master-20260902.14.51.607355-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,506 Found link https://files.pythonhosted.org/packages/ee/01/29ab525ec1c0e11da78892e8b72d6d2984a5d8f4d526edd56a3048c02080/certora_cli_alpha_master-20260902.14.51.607355.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260902.14.51.607355 2026-09-08T14:03:52,506 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/19/70/272d844eb2e4c36781a4190dffb2e42a597cc6648dd0a4ffd5244cd4d418/certora_cli_alpha_master-20260902.19.58.697150-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,507 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fb/24/ab11e8148b290c395a63b5c7ec37dd8f8d4b4868a5168faa597c97c7780a/certora_cli_alpha_master-20260902.19.58.697150-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,507 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/78/78/d24d48074053d8b7cc8dded2e5aef0450cdecfa92b2c481b055763279555/certora_cli_alpha_master-20260902.19.58.697150-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,508 Found link https://files.pythonhosted.org/packages/4f/b6/410e4a50e41b29af3556f3a67e8dbf847e8ec81a60d8537b7fd5d9ccae0a/certora_cli_alpha_master-20260902.19.58.697150.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260902.19.58.697150 2026-09-08T14:03:52,509 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3f/ab/a490e760f0df06b913c241e40ccc5c3c28d6611cbea214f6c32b384a9c60/certora_cli_alpha_master-20260902.21.18.845451-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,510 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/63/c2/27f8d6aae75de924a38d39557199272a1db5e6b4acda4d0e29b690e99412/certora_cli_alpha_master-20260902.21.18.845451-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,510 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/75/e0/f894e2c0c36183f606ce954627e816da34a8991b73f11c04b1cc487d791a/certora_cli_alpha_master-20260902.21.18.845451-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,511 Found link https://files.pythonhosted.org/packages/bc/a9/4fdb39b36ab4edd4da09a9951cfb70aa33d879a25a510875b5119949ecc3/certora_cli_alpha_master-20260902.21.18.845451.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260902.21.18.845451 2026-09-08T14:03:52,512 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5b/17/427c55373d7e97496a921cc590115ebbf75beb93789e187c7be99e46e468/certora_cli_alpha_master-20260902.22.11.348515-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,512 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d0/66/42f98defbdbb15993f4877c33b61287725f2cdf4820f589b34fbb7ed52db/certora_cli_alpha_master-20260902.22.11.348515-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,513 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/82/84/fe86b93b01b34605db3a315806f63fdd0223595e4a81a7b70c1fe24db84e/certora_cli_alpha_master-20260902.22.11.348515-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,513 Found link https://files.pythonhosted.org/packages/73/f3/ba6d9cc37ef82181cbd95b145a04757247e52aaee554a9c6ea5ea636c047/certora_cli_alpha_master-20260902.22.11.348515.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260902.22.11.348515 2026-09-08T14:03:52,514 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/85/f4/319a4a56dfea9aaa1592c379cadd6a5696507e938f6287bc335b48112278/certora_cli_alpha_master-20260903.19.2.312793-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,515 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/de/20/c50c7636f68e0488c16319110099913d174cf568e7f0d24df84488c79803/certora_cli_alpha_master-20260903.19.2.312793-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,515 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/41/a6/7bb41a911d38810e1ef007e487191479b85117327342c30bc1cdd6ffc5fc/certora_cli_alpha_master-20260903.19.2.312793-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,516 Found link https://files.pythonhosted.org/packages/c2/56/55b3bcc34109b5162e8523ea3efd240e33a6c2b731cebc533b4cb694985b/certora_cli_alpha_master-20260903.19.2.312793.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260903.19.2.312793 2026-09-08T14:03:52,517 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5d/89/7c8f99ff9586ce936b8d657b2db1610eb40525d3b68d40b45afdd1d5c048/certora_cli_alpha_master-20260903.20.52.309793-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,518 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/19/7c/571917bd8c436c67feadc0eac3d6b47a1ea0b9e0546411b1492da5f2b818/certora_cli_alpha_master-20260903.20.52.309793-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,518 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fa/e4/f4c3eac4022cca347cd511c96a46a552b5a5c7f57ab33f9fc6a3c0bc6c12/certora_cli_alpha_master-20260903.20.52.309793-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,519 Found link https://files.pythonhosted.org/packages/e3/68/fd050e6f29876a20e3ecb474f957172629723dee6ae969c6d2bf1de9c8f9/certora_cli_alpha_master-20260903.20.52.309793.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260903.20.52.309793 2026-09-08T14:03:52,520 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0e/a2/a3db72d421bbee0ac4c511533dbe6e3569377ee989c49d6c71642f8146fa/certora_cli_alpha_master-20260904.8.34.440526-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,520 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/be/fc/6d889982aaeb54945d254c2efd457700927c8025885af0434a3b19860e57/certora_cli_alpha_master-20260904.8.34.440526-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,521 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/14/13/e291ddab425b40cf6d01ef8e2a4d1863b85e5bc06adf970bc75b5110e99b/certora_cli_alpha_master-20260904.8.34.440526-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,522 Found link https://files.pythonhosted.org/packages/77/54/fa310d9e0433bbb24b40e15247de4ef6ec655fee1b643a91ff6e54207bbd/certora_cli_alpha_master-20260904.8.34.440526.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260904.8.34.440526 2026-09-08T14:03:52,523 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fe/06/35d9699b3022f00a62f8bfac2711b2f5a69ee2003ce8606a6054fdb461f8/certora_cli_alpha_master-20260904.17.37.569374-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,523 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cf/f5/08aa19164a515c0d554b82682c0770a9c075500663b4107d9d2bc90d2902/certora_cli_alpha_master-20260904.17.37.569374-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,524 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/99/33/d6cc6ee51170b39389879411aa9c52f45cc8b32459e72e53f2f3b984f987/certora_cli_alpha_master-20260904.17.37.569374-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,525 Found link https://files.pythonhosted.org/packages/8b/70/31bfe717a4d29e692baa4c71a760e5f0a92f11f37aedc875cd447771547d/certora_cli_alpha_master-20260904.17.37.569374.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260904.17.37.569374 2026-09-08T14:03:52,526 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/42/a1/bb0bdc417078cb0ac543e8de21807e749b3a659048cae2c0b374f41db0c9/certora_cli_alpha_master-20260906.21.4.337824-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,526 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9b/57/eed4a962157f0358cbf43f13c65093b5c7e0687b1f2b940ba5ca38864cd4/certora_cli_alpha_master-20260906.21.4.337824-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,527 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e3/ac/e94d0e7c539e1ad13403433504afaabe06e3b23c95f180627760c2d78445/certora_cli_alpha_master-20260906.21.4.337824-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,528 Found link https://files.pythonhosted.org/packages/af/3c/b7b5078cf2c6d5139028357963c3756dd6fe74724998214553c48ec97f22/certora_cli_alpha_master-20260906.21.4.337824.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260906.21.4.337824 2026-09-08T14:03:52,529 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/05/96/74cbbd3b2cd571474e38528f495e87fadd29d8e11fe296a96daee6d07dc8/certora_cli_alpha_master-20260908.12.47.10250-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,529 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/bc/06/089bbd70b7773421772e2018860f2aba6358c399d0a475e0e2d9865987a7/certora_cli_alpha_master-20260908.12.47.10250-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,530 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/be/8e/e0963839e12f1d10ac7da5a6a7b442ab8120f8f66dfa685c973e95e6dedf/certora_cli_alpha_master-20260908.12.47.10250-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,531 Found link https://files.pythonhosted.org/packages/db/c3/1a8cb8125747d23ce88514ee390df6b0141f91fe4ccfb2f49462de67fe1d/certora_cli_alpha_master-20260908.12.47.10250.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260908.12.47.10250 2026-09-08T14:03:52,532 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-09-08T14:03:52,532 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-09-08T14:03:52,534 Found index url https://www.piwheels.org/simple 2026-09-08T14:03:52,765 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2026-09-08T14:03:52,782 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260906.21.4.337824-py3-none-any.whl#sha256=de6e41107a268c6b1070d8a7804190f13ae244f40b12d38d58fa716e350c6abe (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,782 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260904.17.37.569374-py3-none-any.whl#sha256=0d9d0ce188d54ac7bbc3e938afbdcbdd690f8591aba1be2b71485e56fbd749ad (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,783 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260904.8.34.440526-py3-none-any.whl#sha256=c6a6093d25337908fedd3d4ec273a90df3c36d9fcfa078223f2da98b0c2529bf (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,784 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260903.20.52.309793-py3-none-any.whl#sha256=31cf89f4124eb131ed03f8d340ffbf543d1d92038344c91969814c9aea9f082b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,785 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260903.19.2.312793-py3-none-any.whl#sha256=f9180fdbd8d5095deb7e47c3deff741722cec569d974d5d913ef8bbc38b95c48 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,785 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260902.22.11.348515-py3-none-any.whl#sha256=468c7382a9d1c49d83e00db9cc8a98be1628e8e7a67a92c722dbca4d85e36ac2 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,786 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260902.21.18.845451-py3-none-any.whl#sha256=6d5ae8f6792689023c771030dc50eb3d300f21dfe51e8c5d7d21d31924b141ce (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,786 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260902.19.58.697150-py3-none-any.whl#sha256=9c6b674767e688460c5842ce759847922af849400a8c8538875ca87a8c286ab6 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,787 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260902.14.51.607355-py3-none-any.whl#sha256=dd9235fc1e21014cded20258855d0b6c48d990b8b8779f7bff1bf2782bb7ad4a (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,787 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260902.9.31.124479-py3-none-any.whl#sha256=d41a884b9fe721e179cf09baa11c9e82040462a48415ba0b6f1ba946904959b1 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,788 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260902.1.20.245698-py3-none-any.whl#sha256=9554fca5cb33ae3770ff82c980425f3167a8e87fa01a01bfa68259e4078648a7 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,788 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260901.18.46.937780-py3-none-any.whl#sha256=88ec67992486f81c196a259f3734cc569dda71184acc36f91608ba73d0cd18aa (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,789 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260901.18.6.132263-py3-none-any.whl#sha256=4b02e08841e3ff6f8fa20d2ff5ddf5cfe75452289470774700cb53dbc87d3b0c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,790 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260901.15.1.582772-py3-none-any.whl#sha256=26975aec7366275f9c6c8beb4968d8264e174d7fdc451e9d8a68fdfc32a10a37 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,790 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260901.10.15.59272-py3-none-any.whl#sha256=0e0278af805d67d4816967747b5307aff809b8ecfc3584d11c20a4adddbd61f2 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,791 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260830.17.5.88502-py3-none-any.whl#sha256=7b332d720a886a372a3d282632af85a9cfb85160cd44a89e1f6ffe62ca780918 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,791 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260828.18.15.546362-py3-none-any.whl#sha256=e5c0e60cf1fde0cedc2588ab3044a8822a350d16b17308152b7dd75c08a56ffe (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,792 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260828.17.39.749963-py3-none-any.whl#sha256=5446a5a199bfb0eacdc0a798c3f1ae7061995304eb135b89e47eb19f25ea59ee (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,792 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260828.17.2.608196-py3-none-any.whl#sha256=1c3f9208c8bbf21d0dcd9441d7a6de0163fc3ef0325881576474cf1cd529498d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,793 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260827.21.2.178752-py3-none-any.whl#sha256=b9221e0e94a46df887c5700948d73464006de9771adbd18c8cb3e756277e4fec (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,793 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260827.17.39.226927-py3-none-any.whl#sha256=b87d1a8120b80d8355423e980d3705d7ca576dcb80d8fb52d759a426e25f5d82 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,794 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260827.17.3.366766-py3-none-any.whl#sha256=b8709f64d055f06aeca8c63db61862d2a115faf40ee041a79699998bdafcf669 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,794 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260826.21.56.378132-py3-none-any.whl#sha256=4e5a85c3aba8887d753696cc823fe80a3b6921cdab7c544a970d5ca80a3bce5c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,795 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260826.15.37.734619-py3-none-any.whl#sha256=ec4d3a72275ef88e652aa08439db7ee14531c0c79c85e26092f3f0cc19c8a0fa (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,796 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260826.14.9.800012-py3-none-any.whl#sha256=c6ef25e9ff579cca558ef1d86d09ed61ed30b88a82697941c377ef8343759fc0 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,796 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260825.23.41.707159-py3-none-any.whl#sha256=1c8e1b7aa4e96b2d5ff5a1edc58201e8588a9ca0f1b92fc11dddddb22b3cf27b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,797 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260825.23.3.534875-py3-none-any.whl#sha256=2ccfb16bb719379e0f0cde3cc47deffa4e703c4031e96e996412ed1942d70185 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,797 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260825.19.45.163152-py3-none-any.whl#sha256=c26013faf387bb7639a08a925b53cdab0ffe0bcfcd63f189eb63e6976eaaddf9 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,798 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260825.18.44.797900-py3-none-any.whl#sha256=19dc2b70dd9ef351f16676cdb220b6f7e826064c8e3c2108afdb13cf89387050 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,798 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260825.18.8.326207-py3-none-any.whl#sha256=15d455feddf4ae5827b0e96307c248e78765f39df7548a60734dcbef59e00fcd (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,799 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260825.14.19.397949-py3-none-any.whl#sha256=944bb3ab7cb51906277bcedd872b47ae20c554443f2bd6ffe05bca7887130c58 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,799 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260824.19.53.912048-py3-none-any.whl#sha256=1d5b55cbe8655a57f940f7a45bf8c528c2e274a4e7479cc301738bcdccdef604 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,800 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260821.10.3.876041-py3-none-any.whl#sha256=befa7653c6f82678724f9a41cce7aa27e032ba756c0ae86ef3b5edb0cc15d791 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,800 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260820.19.2.655052-py3-none-any.whl#sha256=37c75df1a1c6f454cdeaa5ba15a95b172ff3259ec665a905f70119c5e245275d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,801 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260820.18.24.48074-py3-none-any.whl#sha256=f54994001b3bcde3e8667f16619e54c0d2906458aed1de3d35ea7a634d6d33ed (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,802 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260820.9.30.263849-py3-none-any.whl#sha256=12cc915833c947c138531c5797b6fa6b0481efc2bbe25b8a0aca7f89bfdb1d76 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,802 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260819.16.10.394573-py3-none-any.whl#sha256=5725a7d79a34fcc5f20c964ca48019782a93d89815e9d19cf889ed5d235b5d9b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,803 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260819.15.32.547513-py3-none-any.whl#sha256=8d0276ec426a5b65dd840d5d94b1c16bfb33b73ee6f9b7f99ac7f1dee2d3d8be (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,803 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260819.10.0.767923-py3-none-any.whl#sha256=33789c165474d6b6467c0a869db21fae294df7ea2d8340b17b31d3c28b9df18f (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,804 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260818.12.31.101880-py3-none-any.whl#sha256=dbe18366867d5bcf3d73a0e2b0dd19e39254c58821b7d6e8ad938e3a84891e87 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,804 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260812.16.44.86540-py3-none-any.whl#sha256=9949c18a6f5434bc43b923c34aa84269b5f5df3b22db107800160ca76917722b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,805 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260812.14.52.259366-py3-none-any.whl#sha256=78ed6fe30df1aedc81b26dd4664993426c1c7e35eaaac0032a11faa0dbd2bd93 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,805 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260810.10.57.307572-py3-none-any.whl#sha256=fcab60147ea0e9320c96034038ba6f528a3969f75d2ed697990acc89b7d1cae4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,806 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260806.11.36.29851-py3-none-any.whl#sha256=3925bea34933a7f71631191225fcf888de134ffc31843d079e0189d4e870a9f0 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,807 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260805.1.2.652818-py3-none-any.whl#sha256=30d37e37ee82218c3b2203e9217c6add448b664b07ab70dccb6b884bf83b6fb1 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,807 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260804.11.33.345392-py3-none-any.whl#sha256=7545464533fb683fbc9e2e4ac2a3552f310dc55f42102849e7b4b37495f5e238 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,808 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260804.10.28.546456-py3-none-any.whl#sha256=2d70e499fef0b54b437462eb701dfd42efc52909e0031c1fe292fa1b59a9f985 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,808 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260730.18.17.393057-py3-none-any.whl#sha256=5689d3524aaf070cfece14b78bac61b868e37982b9083947e5bf25ae31a5705d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,809 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260729.17.57.786085-py3-none-any.whl#sha256=c627956b371fdd6dc5c7e43e56a413bf535724a10d823a2af2f549a6794ba229 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,810 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260722.7.0.82332-py3-none-any.whl#sha256=2ffddd7ffd68fed47fe96afde7bba33ad2ff351e01f37802ec981f8795d39c92 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,810 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260716.17.27.262642-py3-none-any.whl#sha256=a8512ab5706237cbdf2d53f45dc776514f94d9f8bacb554f2b7ec474b774c9d4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,810 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260716.14.2.9049-py3-none-any.whl#sha256=6e9d33b816af5aefbb98a2302bad238461892e4838ba35fc8cbdc93426ab7f19 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,811 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl#sha256=ed116f6164127976e6252b4a8adc43b239cf63432761dc47dcddb775d7adebdb (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,811 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.7.22.20117-py3-none-any.whl#sha256=8125cf8d0056a9a09a1aa1d151e5a00ca3bf9076b8d7eb621306c97de9c67f6b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,812 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl#sha256=c820011dee5c36644cac85c0ce94d2f3a0a95a1c9d8091a5ab97c03b383f6582 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,813 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl#sha256=bec01ba44ec8d882244f5377872fb0033c69618fdb36a35781a681f08f99c8ca (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-09-08T14:03:52,813 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-09-08T14:03:52,814 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2026-09-08T14:03:52,840 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2026-09-08T14:03:52,858 Collecting certora-cli-alpha-master==20260908.12.47.10250 2026-09-08T14:03:52,860 Created temporary directory: /tmp/pip-unpack-jucvp7c8 2026-09-08T14:03:53,023 Downloading certora_cli_alpha_master-20260908.12.47.10250.tar.gz (43.4 MB) 2026-09-08T14:03:57,770 Added certora-cli-alpha-master==20260908.12.47.10250 from https://files.pythonhosted.org/packages/db/c3/1a8cb8125747d23ce88514ee390df6b0141f91fe4ccfb2f49462de67fe1d/certora_cli_alpha_master-20260908.12.47.10250.tar.gz to build tracker '/tmp/pip-build-tracker-3u8eum_h' 2026-09-08T14:03:57,771 Running setup.py (path:/tmp/pip-wheel-et9l54hd/certora-cli-alpha-master_a2b099c1099547b38d60de251dcb0dc8/setup.py) egg_info for package certora-cli-alpha-master 2026-09-08T14:03:57,772 Created temporary directory: /tmp/pip-pip-egg-info-ahuobsrd 2026-09-08T14:03:57,773 Preparing metadata (setup.py): started 2026-09-08T14:03:57,774 Running command python setup.py egg_info 2026-09-08T14:03:58,663 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:332: InformationOnly: Normalizing '20260908.12.47.010250' to '20260908.12.47.10250' 2026-09-08T14:03:58,664 self.metadata.version = self._normalize_version(self.metadata.version) 2026-09-08T14:03:58,666 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-09-08T14:03:58,666 !! 2026-09-08T14:03:58,667 ******************************************************************************** 2026-09-08T14:03:58,668 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-09-08T14:03:58,669 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-09-08T14:03:58,670 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-09-08T14:03:58,670 ******************************************************************************** 2026-09-08T14:03:58,671 !! 2026-09-08T14:03:58,672 self._finalize_license_expression() 2026-09-08T14:03:58,696 running egg_info 2026-09-08T14:03:58,725 creating /tmp/pip-pip-egg-info-ahuobsrd/certora_cli_alpha_master.egg-info 2026-09-08T14:03:58,726 writing /tmp/pip-pip-egg-info-ahuobsrd/certora_cli_alpha_master.egg-info/PKG-INFO 2026-09-08T14:03:58,730 writing dependency_links to /tmp/pip-pip-egg-info-ahuobsrd/certora_cli_alpha_master.egg-info/dependency_links.txt 2026-09-08T14:03:58,732 writing entry points to /tmp/pip-pip-egg-info-ahuobsrd/certora_cli_alpha_master.egg-info/entry_points.txt 2026-09-08T14:03:58,733 writing requirements to /tmp/pip-pip-egg-info-ahuobsrd/certora_cli_alpha_master.egg-info/requires.txt 2026-09-08T14:03:58,734 writing top-level names to /tmp/pip-pip-egg-info-ahuobsrd/certora_cli_alpha_master.egg-info/top_level.txt 2026-09-08T14:03:58,736 writing manifest file '/tmp/pip-pip-egg-info-ahuobsrd/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-09-08T14:03:58,828 reading manifest file '/tmp/pip-pip-egg-info-ahuobsrd/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-09-08T14:03:58,830 reading manifest template 'MANIFEST.in' 2026-09-08T14:03:58,834 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-09-08T14:03:58,929 adding license file 'LICENSE' 2026-09-08T14:03:58,934 writing manifest file '/tmp/pip-pip-egg-info-ahuobsrd/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-09-08T14:03:59,044 Preparing metadata (setup.py): finished with status 'done' 2026-09-08T14:03:59,048 Source in /tmp/pip-wheel-et9l54hd/certora-cli-alpha-master_a2b099c1099547b38d60de251dcb0dc8 has version 20260908.12.47.10250, which satisfies requirement certora-cli-alpha-master==20260908.12.47.10250 from https://files.pythonhosted.org/packages/db/c3/1a8cb8125747d23ce88514ee390df6b0141f91fe4ccfb2f49462de67fe1d/certora_cli_alpha_master-20260908.12.47.10250.tar.gz 2026-09-08T14:03:59,049 Removed certora-cli-alpha-master==20260908.12.47.10250 from https://files.pythonhosted.org/packages/db/c3/1a8cb8125747d23ce88514ee390df6b0141f91fe4ccfb2f49462de67fe1d/certora_cli_alpha_master-20260908.12.47.10250.tar.gz from build tracker '/tmp/pip-build-tracker-3u8eum_h' 2026-09-08T14:03:59,055 Created temporary directory: /tmp/pip-unpack-b7qn60bl 2026-09-08T14:03:59,056 Building wheels for collected packages: certora-cli-alpha-master 2026-09-08T14:03:59,060 Created temporary directory: /tmp/pip-wheel-f0xgks8l 2026-09-08T14:03:59,061 Building wheel for certora-cli-alpha-master (setup.py): started 2026-09-08T14:03:59,062 Destination directory: /tmp/pip-wheel-f0xgks8l 2026-09-08T14:03:59,063 Running command python setup.py bdist_wheel 2026-09-08T14:03:59,920 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:332: InformationOnly: Normalizing '20260908.12.47.010250' to '20260908.12.47.10250' 2026-09-08T14:03:59,920 self.metadata.version = self._normalize_version(self.metadata.version) 2026-09-08T14:03:59,922 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-09-08T14:03:59,923 !! 2026-09-08T14:03:59,924 ******************************************************************************** 2026-09-08T14:03:59,924 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-09-08T14:03:59,926 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-09-08T14:03:59,927 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-09-08T14:03:59,927 ******************************************************************************** 2026-09-08T14:03:59,928 !! 2026-09-08T14:03:59,929 self._finalize_license_expression() 2026-09-08T14:03:59,929 running bdist_wheel 2026-09-08T14:04:00,062 running build 2026-09-08T14:04:00,063 running build_py 2026-09-08T14:04:00,091 creating build/lib/certora_cli 2026-09-08T14:04:00,094 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2026-09-08T14:04:00,096 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2026-09-08T14:04:00,098 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2026-09-08T14:04:00,101 copying certora_cli/__init__.py -> build/lib/certora_cli 2026-09-08T14:04:00,102 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2026-09-08T14:04:00,104 copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli 2026-09-08T14:04:00,106 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2026-09-08T14:04:00,108 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2026-09-08T14:04:00,110 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2026-09-08T14:04:00,112 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2026-09-08T14:04:00,114 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2026-09-08T14:04:00,116 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2026-09-08T14:04:00,118 creating build/lib/certora_jars 2026-09-08T14:04:00,119 copying certora_jars/__init__.py -> build/lib/certora_jars 2026-09-08T14:04:00,121 creating build/lib/certora_bins 2026-09-08T14:04:00,122 copying certora_bins/__init__.py -> build/lib/certora_bins 2026-09-08T14:04:00,124 creating build/lib/certora_cli/EquivalenceCheck 2026-09-08T14:04:00,125 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2026-09-08T14:04:00,128 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2026-09-08T14:04:00,130 creating build/lib/certora_cli/Mutate 2026-09-08T14:04:00,131 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2026-09-08T14:04:00,133 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2026-09-08T14:04:00,136 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2026-09-08T14:04:00,138 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2026-09-08T14:04:00,140 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2026-09-08T14:04:00,142 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2026-09-08T14:04:00,147 creating build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,148 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,152 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,153 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,155 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,158 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,159 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,162 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,164 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,167 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,169 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,172 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,174 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,176 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,179 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,181 copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,183 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,186 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,189 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,191 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,193 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,196 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,202 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,205 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,206 copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,209 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,212 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,214 copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,216 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,218 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,220 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,223 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,225 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2026-09-08T14:04:00,228 creating build/lib/certora_cli/Shared 2026-09-08T14:04:00,229 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2026-09-08T14:04:00,232 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2026-09-08T14:04:00,234 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2026-09-08T14:04:00,238 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2026-09-08T14:04:00,240 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2026-09-08T14:04:00,242 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2026-09-08T14:04:00,244 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2026-09-08T14:04:00,248 creating build/lib/certora_cli/CertoraProver/Compiler 2026-09-08T14:04:00,249 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-09-08T14:04:00,252 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-09-08T14:04:00,254 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-09-08T14:04:00,257 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-09-08T14:04:00,260 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-09-08T14:04:00,261 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-09-08T14:04:00,263 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-09-08T14:04:00,265 running egg_info 2026-09-08T14:04:00,293 writing certora_cli_alpha_master.egg-info/PKG-INFO 2026-09-08T14:04:00,296 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2026-09-08T14:04:00,298 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2026-09-08T14:04:00,300 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2026-09-08T14:04:00,301 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2026-09-08T14:04:00,340 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-09-08T14:04:00,346 reading manifest template 'MANIFEST.in' 2026-09-08T14:04:00,351 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-09-08T14:04:00,450 adding license file 'LICENSE' 2026-09-08T14:04:00,456 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-09-08T14:04:00,463 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2026-09-08T14:04:00,794 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2026-09-08T14:04:00,796 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2026-09-08T14:04:01,139 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2026-09-08T14:04:01,141 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-09-08T14:04:01,143 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-09-08T14:04:01,146 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2026-09-08T14:04:01,148 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-09-08T14:04:01,150 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2026-09-08T14:04:01,184 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2026-09-08T14:04:01,185 !! 2026-09-08T14:04:01,186 ******************************************************************************** 2026-09-08T14:04:01,187 Please avoid running ``setup.py`` directly. 2026-09-08T14:04:01,187 Instead, use pypa/build, pypa/installer or other 2026-09-08T14:04:01,188 standards-based tools. 2026-09-08T14:04:01,189 This deprecation is overdue, please update your project and remove deprecated 2026-09-08T14:04:01,190 calls to avoid build errors in the future. 2026-09-08T14:04:01,191 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2026-09-08T14:04:01,191 ******************************************************************************** 2026-09-08T14:04:01,192 !! 2026-09-08T14:04:01,192 self.initialize_options() 2026-09-08T14:04:01,213 installing to build/bdist.linux-armv7l/wheel 2026-09-08T14:04:01,214 running install 2026-09-08T14:04:01,237 running install_lib 2026-09-08T14:04:01,265 creating build/bdist.linux-armv7l/wheel 2026-09-08T14:04:01,267 creating build/bdist.linux-armv7l/wheel/certora_cli 2026-09-08T14:04:01,268 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-09-08T14:04:01,270 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2026-09-08T14:04:01,271 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-09-08T14:04:01,274 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-09-08T14:04:01,276 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-09-08T14:04:01,278 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-09-08T14:04:01,280 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-09-08T14:04:01,281 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-09-08T14:04:01,283 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-09-08T14:04:01,284 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-09-08T14:04:01,286 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-09-08T14:04:01,288 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-09-08T14:04:01,291 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-09-08T14:04:01,292 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-09-08T14:04:01,294 copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-09-08T14:04:01,296 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-09-08T14:04:01,298 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-09-08T14:04:01,299 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-09-08T14:04:01,302 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2026-09-08T14:04:01,303 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-09-08T14:04:01,305 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-09-08T14:04:01,307 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-09-08T14:04:01,309 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-09-08T14:04:01,311 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-09-08T14:04:01,314 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-09-08T14:04:01,318 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2026-09-08T14:04:01,320 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,323 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,325 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,327 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,329 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,331 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,334 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,336 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,338 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,341 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,343 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,346 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2026-09-08T14:04:01,347 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-09-08T14:04:01,350 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-09-08T14:04:01,352 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-09-08T14:04:01,355 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-09-08T14:04:01,358 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-09-08T14:04:01,359 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-09-08T14:04:01,361 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-09-08T14:04:01,363 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,365 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,368 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,370 copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,372 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,375 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,377 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,380 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,382 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,385 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,390 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,392 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,394 copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,396 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,398 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,400 copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,402 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,405 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,406 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,409 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,411 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-09-08T14:04:01,413 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-09-08T14:04:01,416 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2026-09-08T14:04:01,417 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-09-08T14:04:01,420 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-09-08T14:04:01,422 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-09-08T14:04:01,425 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-09-08T14:04:01,426 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-09-08T14:04:01,429 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-09-08T14:04:01,431 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-09-08T14:04:01,434 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-09-08T14:04:01,436 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-09-08T14:04:01,439 creating build/bdist.linux-armv7l/wheel/certora_jars 2026-09-08T14:04:01,440 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-09-08T14:04:01,835 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-09-08T14:04:01,836 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-09-08T14:04:02,201 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-09-08T14:04:02,203 creating build/bdist.linux-armv7l/wheel/certora_bins 2026-09-08T14:04:02,204 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2026-09-08T14:04:02,206 running install_egg_info 2026-09-08T14:04:02,240 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20260908.12.47.10250-py3.11.egg-info 2026-09-08T14:04:02,251 running install_scripts 2026-09-08T14:04:02,263 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20260908.12.47.10250.dist-info/WHEEL 2026-09-08T14:04:02,265 creating '/tmp/pip-wheel-f0xgks8l/certora_cli_alpha_master-20260908.12.47.10250-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2026-09-08T14:04:02,267 adding 'certora_bins/__init__.py' 2026-09-08T14:04:02,269 adding 'certora_cli/__init__.py' 2026-09-08T14:04:02,270 adding 'certora_cli/certoraCVLFormatter.py' 2026-09-08T14:04:02,272 adding 'certora_cli/certoraConcord.py' 2026-09-08T14:04:02,273 adding 'certora_cli/certoraEVMProver.py' 2026-09-08T14:04:02,274 adding 'certora_cli/certoraEqCheck.py' 2026-09-08T14:04:02,276 adding 'certora_cli/certoraMutate.py' 2026-09-08T14:04:02,277 adding 'certora_cli/certoraRanger.py' 2026-09-08T14:04:02,279 adding 'certora_cli/certoraRun.py' 2026-09-08T14:04:02,280 adding 'certora_cli/certoraSolanaProver.py' 2026-09-08T14:04:02,282 adding 'certora_cli/certoraSorobanProver.py' 2026-09-08T14:04:02,284 adding 'certora_cli/certoraSuiProver.py' 2026-09-08T14:04:02,286 adding 'certora_cli/rustMutator.py' 2026-09-08T14:04:02,288 adding 'certora_cli/CertoraProver/__init__.py' 2026-09-08T14:04:02,290 adding 'certora_cli/CertoraProver/castingInstrumenter.py' 2026-09-08T14:04:02,292 adding 'certora_cli/CertoraProver/certoraApp.py' 2026-09-08T14:04:02,320 adding 'certora_cli/CertoraProver/certoraBuild.py' 2026-09-08T14:04:02,324 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2026-09-08T14:04:02,326 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2026-09-08T14:04:02,328 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2026-09-08T14:04:02,330 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2026-09-08T14:04:02,336 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2026-09-08T14:04:02,338 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2026-09-08T14:04:02,341 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2026-09-08T14:04:02,342 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2026-09-08T14:04:02,344 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2026-09-08T14:04:02,348 adding 'certora_cli/CertoraProver/certoraContext.py' 2026-09-08T14:04:02,354 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2026-09-08T14:04:02,356 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2026-09-08T14:04:02,362 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2026-09-08T14:04:02,364 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2026-09-08T14:04:02,365 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2026-09-08T14:04:02,367 adding 'certora_cli/CertoraProver/certoraJobList.py' 2026-09-08T14:04:02,369 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2026-09-08T14:04:02,370 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2026-09-08T14:04:02,372 adding 'certora_cli/CertoraProver/certoraOffsetConverter.py' 2026-09-08T14:04:02,373 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2026-09-08T14:04:02,375 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2026-09-08T14:04:02,378 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2026-09-08T14:04:02,381 adding 'certora_cli/CertoraProver/certoraType.py' 2026-09-08T14:04:02,383 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2026-09-08T14:04:02,384 adding 'certora_cli/CertoraProver/erc7201.py' 2026-09-08T14:04:02,386 adding 'certora_cli/CertoraProver/splitRules.py' 2026-09-08T14:04:02,389 adding 'certora_cli/CertoraProver/storageExtension.py' 2026-09-08T14:04:02,390 adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py' 2026-09-08T14:04:02,392 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2026-09-08T14:04:02,394 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2026-09-08T14:04:02,396 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2026-09-08T14:04:02,397 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2026-09-08T14:04:02,405 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2026-09-08T14:04:02,407 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2026-09-08T14:04:02,408 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2026-09-08T14:04:02,410 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2026-09-08T14:04:02,411 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2026-09-08T14:04:02,412 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2026-09-08T14:04:02,414 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2026-09-08T14:04:02,415 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2026-09-08T14:04:02,416 adding 'certora_cli/EquivalenceCheck/__init__.py' 2026-09-08T14:04:02,419 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2026-09-08T14:04:02,420 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2026-09-08T14:04:02,422 adding 'certora_cli/Mutate/__init__.py' 2026-09-08T14:04:02,432 adding 'certora_cli/Mutate/mutateApp.py' 2026-09-08T14:04:02,434 adding 'certora_cli/Mutate/mutateAttributes.py' 2026-09-08T14:04:02,436 adding 'certora_cli/Mutate/mutateConstants.py' 2026-09-08T14:04:02,437 adding 'certora_cli/Mutate/mutateUtil.py' 2026-09-08T14:04:02,439 adding 'certora_cli/Mutate/mutateValidate.py' 2026-09-08T14:04:02,442 adding 'certora_cli/Shared/ExpectedComparator.py' 2026-09-08T14:04:02,443 adding 'certora_cli/Shared/__init__.py' 2026-09-08T14:04:02,445 adding 'certora_cli/Shared/certoraAttrUtil.py' 2026-09-08T14:04:02,447 adding 'certora_cli/Shared/certoraLogging.py' 2026-09-08T14:04:02,455 adding 'certora_cli/Shared/certoraUtils.py' 2026-09-08T14:04:02,461 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2026-09-08T14:04:02,463 adding 'certora_cli/Shared/proverCommon.py' 2026-09-08T14:04:02,466 adding 'certora_cli_alpha_master-20260908.12.47.10250.dist-info/licenses/LICENSE' 2026-09-08T14:04:05,073 adding 'certora_jars/ASTExtraction.jar' 2026-09-08T14:04:05,218 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2026-09-08T14:04:07,829 adding 'certora_jars/Typechecker.jar' 2026-09-08T14:04:07,974 adding 'certora_jars/__init__.py' 2026-09-08T14:04:07,975 adding 'certora_cli_alpha_master-20260908.12.47.10250.dist-info/METADATA' 2026-09-08T14:04:07,976 adding 'certora_cli_alpha_master-20260908.12.47.10250.dist-info/WHEEL' 2026-09-08T14:04:07,977 adding 'certora_cli_alpha_master-20260908.12.47.10250.dist-info/entry_points.txt' 2026-09-08T14:04:07,978 adding 'certora_cli_alpha_master-20260908.12.47.10250.dist-info/top_level.txt' 2026-09-08T14:04:07,980 adding 'certora_cli_alpha_master-20260908.12.47.10250.dist-info/RECORD' 2026-09-08T14:04:08,458 removing build/bdist.linux-armv7l/wheel 2026-09-08T14:04:08,608 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2026-09-08T14:04:09,036 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20260908.12.47.10250-py3-none-any.whl size=43456225 sha256=f55c66c75cf9ca31c0b2964a9c92ae2fb2d3cb762921a73537d5d976091982fc 2026-09-08T14:04:09,038 Stored in directory: /tmp/pip-ephem-wheel-cache-gz5lkhrb/wheels/c9/88/1f/bfef5959b7caa27c172037838d1a385373d5ac4ea61423edfc 2026-09-08T14:04:09,063 Successfully built certora-cli-alpha-master 2026-09-08T14:04:10,036 Removed build tracker: '/tmp/pip-build-tracker-3u8eum_h'