2026-03-04T21:23:19,672 Created temporary directory: /tmp/pip-ephem-wheel-cache-x3luemaf
2026-03-04T21:23:19,674 Created temporary directory: /tmp/pip-build-tracker-sxt2_n_2
2026-03-04T21:23:19,674 Initialized build tracking at /tmp/pip-build-tracker-sxt2_n_2
2026-03-04T21:23:19,675 Created build tracker: /tmp/pip-build-tracker-sxt2_n_2
2026-03-04T21:23:19,675 Entered build tracker: /tmp/pip-build-tracker-sxt2_n_2
2026-03-04T21:23:19,676 Created temporary directory: /tmp/pip-wheel-dolb6mcq
2026-03-04T21:23:19,680 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2026-03-04T21:23:19,682 Created temporary directory: /tmp/pip-ephem-wheel-cache-tna3r9ev
2026-03-04T21:23:19,705 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-04T21:23:19,709 2 location(s) to search for versions of certora-cli-alpha-master:
2026-03-04T21:23:19,709 * https://pypi.org/simple/certora-cli-alpha-master/
2026-03-04T21:23:19,709 * https://www.piwheels.org/simple/certora-cli-alpha-master/
2026-03-04T21:23:19,710 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/
2026-03-04T21:23:19,710 Getting page https://pypi.org/simple/certora-cli-alpha-master/
2026-03-04T21:23:19,712 Found index url https://pypi.org/simple
2026-03-04T21:23:19,863 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json
2026-03-04T21:23:19,897   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/37/d9/2b0d353578c053816f03e4711896ef2717c6768b2ea335f0288a19511497/certora_cli_alpha_master-20260216.22.23.266703-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,897   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fc/24/f69dc348cc3788f2dbef70d0b5186363e5334d6842c730381ae1f3ca2a5e/certora_cli_alpha_master-20260216.22.23.266703-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,898   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/df/00/254db38b68ceae42fd61a5520d4d7f5694551d50afe017c158f27bcccc70/certora_cli_alpha_master-20260216.22.23.266703-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,899   Found link https://files.pythonhosted.org/packages/c4/ad/30c290d492db3f36d98798350b89aa74a8b094b9ab00cd9321214b85a6c1/certora_cli_alpha_master-20260216.22.23.266703.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260216.22.23.266703
2026-03-04T21:23:19,900   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4b/d7/809f11029e931be6ad434472b2673012f1446ab6ffce08afe3fdaad45498/certora_cli_alpha_master-20260217.12.30.485277-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,901   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2e/86/814c06397a67680ed906a7178744dc82b0c6095a77c18182591e6c54a527/certora_cli_alpha_master-20260217.12.30.485277-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,901   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a3/bf/e0148603d32abf55c13d108c397c0cf04d67824b348546b8e3c9026aac66/certora_cli_alpha_master-20260217.12.30.485277-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,902   Found link https://files.pythonhosted.org/packages/16/8c/fbbe9f10e5bd88ff2246020da9f3a80f67f0a0be1f7c6320639e89df8504/certora_cli_alpha_master-20260217.12.30.485277.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260217.12.30.485277
2026-03-04T21:23:19,903   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/71/c2/383a486f015708c9570f533b6781fd9e3f6cce39607675f8fc555f36bbf2/certora_cli_alpha_master-20260217.19.12.586863-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,904   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fa/ce/95e3b52e9adb419c57c041e52b90c02088c184e906d0d3e5717220b83c9a/certora_cli_alpha_master-20260217.19.12.586863-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,904   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/16/69/e3756485658d1497f84c4a701ae5ec1b30ddb3c7cd5743f09504d753d855/certora_cli_alpha_master-20260217.19.12.586863-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,905   Found link https://files.pythonhosted.org/packages/76/8e/8a3e43f8ae987bbb726259857501d5f9d51a195f8a2620b869b56cfc25df/certora_cli_alpha_master-20260217.19.12.586863.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260217.19.12.586863
2026-03-04T21:23:19,906   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/67/14/a0a43577ae8d934f4a022a5f1f8541eb5814d725201507f1e078fc6ab6e1/certora_cli_alpha_master-20260217.21.33.549449-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,906   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/28/1a/c67519a3d5196d4311e28dd99fe8e0a10c03cb5d5ca2f37aec1d7a5e8b3d/certora_cli_alpha_master-20260217.21.33.549449-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,907   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e8/43/ada804655538a9aa3c5ed56aec2b8fa94c556c7e6101da9d36bdf20aac28/certora_cli_alpha_master-20260217.21.33.549449-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,908   Found link https://files.pythonhosted.org/packages/a1/78/9c3679df03f7cceada126b17040fff964dd8bcae9af894cc7e1cbf7e90c3/certora_cli_alpha_master-20260217.21.33.549449.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260217.21.33.549449
2026-03-04T21:23:19,909   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1d/f4/c7a91037b2582b208d584977b853adcd4eb5994ac99106de1be720a8a0ea/certora_cli_alpha_master-20260217.22.22.286744-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,909   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/02/04/9485d2333d24f0a7a2d31afdd605e4ec9711ea88f040ee3a437b946162c6/certora_cli_alpha_master-20260217.22.22.286744-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,910   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2c/3f/981fc44ae21dc53c4755b78fe3c2075d41eeaba59d20018e9c3ee0535ff8/certora_cli_alpha_master-20260217.22.22.286744-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,911   Found link https://files.pythonhosted.org/packages/93/8d/094faec92584e19333fb1e06d5387c787a0e753372750bde8b1260b25f96/certora_cli_alpha_master-20260217.22.22.286744.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260217.22.22.286744
2026-03-04T21:23:19,912   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/39/2e/65207dd73660fdde31a5c862b61ce75b99f3749c969c7f053a33819f2476/certora_cli_alpha_master-20260218.2.40.641998-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,912   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ab/81/b2ff59cfc28d919d2f8f6ea6dca80cbcf69129282141f8b20dc8c1b39cc1/certora_cli_alpha_master-20260218.2.40.641998-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,913   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/36/54/704967679ae09fd58ed6b5c95bb199d1e4301c1293870849477ffb76c34a/certora_cli_alpha_master-20260218.2.40.641998-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,914   Found link https://files.pythonhosted.org/packages/ef/be/aac8a79b77cb5c73adc61d3d3b610ec6fe1676ddfb4437d1923c66275195/certora_cli_alpha_master-20260218.2.40.641998.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.2.40.641998
2026-03-04T21:23:19,914   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/62/f1/4c4582c3a5e2a2810f0ca8ab12b114fecbca0e21c53feec6681b05c1ebdb/certora_cli_alpha_master-20260218.3.27.118260-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,915   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2e/a8/d9dc38a31ab4dea084aee847c1ce04c4c049ccf4976c3ebcfc0c56758af8/certora_cli_alpha_master-20260218.3.27.118260-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,916   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e8/f0/0039638ef6ddcfbd63ba9c87d82939cb6b96278a56cd10e6ee1635a721e4/certora_cli_alpha_master-20260218.3.27.118260-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,917   Found link https://files.pythonhosted.org/packages/5e/6b/c214e122748639a43b36f54b4efdc0c04f22e54261b47fcf32eaafdc8a74/certora_cli_alpha_master-20260218.3.27.118260.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.3.27.118260
2026-03-04T21:23:19,917   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6f/fa/68b1c1a31b7e124c8592e7ca814de138ab2e276497e8d0335e6c2e860c78/certora_cli_alpha_master-20260218.4.19.33182-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,918   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/09/01/6850ab5eae3d789940de961f22271d30e400ba1da9b9ca3b12e67149ec47/certora_cli_alpha_master-20260218.4.19.33182-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,919   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/69/61/a9065ee814691152db705b5364ffe1043f7906133d63f71bb734d22b4185/certora_cli_alpha_master-20260218.4.19.33182-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,920   Found link https://files.pythonhosted.org/packages/c0/e4/79e172a9239925cb1315dd56d3a774080ac80b27073f6dd92745d88b8f07/certora_cli_alpha_master-20260218.4.19.33182.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.4.19.33182
2026-03-04T21:23:19,921   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/82/bc/0b549fdfb7fb417147bb3f042152a37d5b495c517aeaf98d17cec2b8ca1a/certora_cli_alpha_master-20260218.8.3.680755-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,921   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8c/5f/b01beb65f653437ee40476d34f930147678da1109e7489b0fa684de701b4/certora_cli_alpha_master-20260218.8.3.680755-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,922   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/59/b1/11f3f326cd18570570d907debfd32e018bf81271894b3ffa2c551c9b697b/certora_cli_alpha_master-20260218.8.3.680755-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,922   Found link https://files.pythonhosted.org/packages/75/9c/c3c18257089a5a5238279a2e2af606b7b1b97b2dd875419b2e16eeb89df2/certora_cli_alpha_master-20260218.8.3.680755.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.8.3.680755
2026-03-04T21:23:19,923   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ef/dc/cce1eed1483b77dfcbac77172be6d7f7401fc6fc1eee7f062c9ee38c5d46/certora_cli_alpha_master-20260218.12.26.169582-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,924   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d7/fe/25994d42c3186f48c29dcc401936b3ee7115cf3a3ad9293fb9944db34a68/certora_cli_alpha_master-20260218.12.26.169582-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,924   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ce/62/6615f292d702be94aac2fba225ebb12958475ec6ca62594eb514950dfc06/certora_cli_alpha_master-20260218.12.26.169582-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,925   Found link https://files.pythonhosted.org/packages/68/f2/9dcc901c7382262804b606689fbe681af16f843a52d226c7c25793d26630/certora_cli_alpha_master-20260218.12.26.169582.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.12.26.169582
2026-03-04T21:23:19,926   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fe/71/4be9d422a1769fa105dfe7fd6e8605fc3a81b6177bb03dfd4d05cac20d68/certora_cli_alpha_master-20260218.22.36.198108-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,927   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c0/f0/2e5fccd048786ccd21ff03de091d6ff285985bf46f8775a9ce9e6c28999f/certora_cli_alpha_master-20260218.22.36.198108-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,928   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/97/af/948a53467c406b4314f788e6fae7c1469a163e55789d23c7baf550220951/certora_cli_alpha_master-20260218.22.36.198108-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,928   Found link https://files.pythonhosted.org/packages/e6/9e/8122e9634cf205a42e7c39e12c03ad9292b88db57e9e3e8138f9ddfe6139/certora_cli_alpha_master-20260218.22.36.198108.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.22.36.198108
2026-03-04T21:23:19,929   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ce/bb/52c7ae78c59d0cbdc1961af6a4f973b3441d0c4d99df31e144c14cec9c23/certora_cli_alpha_master-20260218.23.32.796727-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,930   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/68/5d/c209e08891ce35518f4fdcb56ec71925994f75a0ab26a993477a48c9465d/certora_cli_alpha_master-20260218.23.32.796727-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,931   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f3/eb/068c1d311b54e995b9b38c01234c0f303aa56214c93cad08684ba5290833/certora_cli_alpha_master-20260218.23.32.796727-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,931   Found link https://files.pythonhosted.org/packages/a6/0b/77b3d5048d34dd174fb840df6ea668c9eb30403e4f9bc62e81e2008fc450/certora_cli_alpha_master-20260218.23.32.796727.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260218.23.32.796727
2026-03-04T21:23:19,932   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8e/6d/9dcf54222f4264e9557cc7c15c17e30769d998dc1874991fea617366b311/certora_cli_alpha_master-20260219.2.6.690553-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,933   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4c/f0/9d4925652eb72190b9d7dd46d55eed99076a9a040ad57466133ab31db399/certora_cli_alpha_master-20260219.2.6.690553-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,933   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/86/18/35ba511c04a1ac20f7891523f3521aee2e1587e19d1b4b0a396b6c3e1d2e/certora_cli_alpha_master-20260219.2.6.690553-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,934   Found link https://files.pythonhosted.org/packages/c3/1b/42ee4cb58784e30a4f363aa5fbc9b5112015f9a19854c36709dd69e5f88d/certora_cli_alpha_master-20260219.2.6.690553.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260219.2.6.690553
2026-03-04T21:23:19,935   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e2/d9/525e82cbfa2e378b215081e63f1a802df763b3b48ab865136b0ef74fda40/certora_cli_alpha_master-20260219.16.12.1521-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,936   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f3/d2/ae8e8f0d46332fd80ee49a0e73f14f4d0f146d8248b7178c8dffd1fb1eef/certora_cli_alpha_master-20260219.16.12.1521-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,936   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0f/9c/4999dd09c6f8b21a679fb9ef1ec90cd122b82719dbab73096b62999c886c/certora_cli_alpha_master-20260219.16.12.1521-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,937   Found link https://files.pythonhosted.org/packages/5b/d8/54d8e859f3cff2b345099ec8420372d773e3efaf33c5a30f6d88396b6287/certora_cli_alpha_master-20260219.16.12.1521.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260219.16.12.1521
2026-03-04T21:23:19,938   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0e/95/2a3dd858db26ec9e053ea5d62539516882043958a7dbfe7467bde11ba678/certora_cli_alpha_master-20260220.17.32.693288-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,939   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1b/23/340541d01825324a5167c371e9c4afb42fd84f222439e09f3a4238c89ad1/certora_cli_alpha_master-20260220.17.32.693288-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,939   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c7/22/5d1832bbb017e7c4fca385922c1cd773b164988d2878a3567714cfbf5b5d/certora_cli_alpha_master-20260220.17.32.693288-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,940   Found link https://files.pythonhosted.org/packages/06/a9/d468fd7ac0efb3c1be303d07a037983c2faa7c33857cc40c27a422b66d96/certora_cli_alpha_master-20260220.17.32.693288.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260220.17.32.693288
2026-03-04T21:23:19,941   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/09/b3/7a1b1c535a5682045b20fd03d7022693b08e1c40f29355e30da43efeb5b2/certora_cli_alpha_master-20260222.1.48.454304-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,941   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5c/7b/a0c677fca7059299b276940cfe71fa5f9fcab1070553d54a6ea2596e0c5c/certora_cli_alpha_master-20260222.1.48.454304-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,942   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ea/b7/1ba606e179b6dc7ea2c41ba5f96af33f441e627dbae6786b1f4bb477b275/certora_cli_alpha_master-20260222.1.48.454304-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,943   Found link https://files.pythonhosted.org/packages/65/11/0d74b6c007913c66132fddfa45ce9849401f5cc37be23bc7320d8f28b745/certora_cli_alpha_master-20260222.1.48.454304.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260222.1.48.454304
2026-03-04T21:23:19,943   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3e/50/3fbbb30e78ed7332c62d4a527f3e1cc9465a75f082556e40dbf134d4f972/certora_cli_alpha_master-20260222.11.54.650718-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,944   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d0/68/f8304e2fe2d5a1d607a135182380210165dfaaeb087a0d32aa0c39110d80/certora_cli_alpha_master-20260222.11.54.650718-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,945   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d3/58/9b6a72b90cbd9bc89ec319743f4f2606fb7dea9c70d017f4f51dd8f32c70/certora_cli_alpha_master-20260222.11.54.650718-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,946   Found link https://files.pythonhosted.org/packages/86/45/6fc8f83e915cb4209974b18b902d956433fd3678052cafe3c9a3a7d9e208/certora_cli_alpha_master-20260222.11.54.650718.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260222.11.54.650718
2026-03-04T21:23:19,946   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d4/65/16b944ab1cefbf79ea5183615f395b1ae4ba54fb6279eded02191b49d47e/certora_cli_alpha_master-20260222.16.56.150552-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,947   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/73/56/cffaf0ecf98e2f2533e9a0c68443c3b8b370d4aaa9663a0b5530aa342a74/certora_cli_alpha_master-20260222.16.56.150552-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,947   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6c/a1/bb2a85f3390010b3d96b0c66b40d5fc3fc69d67735317404b8fd7b9cbec8/certora_cli_alpha_master-20260222.16.56.150552-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,948   Found link https://files.pythonhosted.org/packages/0b/2a/37751a3eec78f74d2b1bfb2ccb0ade3d5a639fd92aba5a74535d159ebdee/certora_cli_alpha_master-20260222.16.56.150552.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260222.16.56.150552
2026-03-04T21:23:19,949   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/86/62/bf51d598685e760fd332eb6af8f1cf4dbef64abb5cf6c8fdbb08728985fa/certora_cli_alpha_master-20260223.9.56.59221-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,949   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/10/0e/f26d313b2b7ec6ae0f6d9409deaf3b8f0a2e2816d99be21e8f6e83f3f2af/certora_cli_alpha_master-20260223.9.56.59221-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,950   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b9/1d/483e40d983d337bf53303e414a7a8afcd2ab38b763b48dbfed031c13076c/certora_cli_alpha_master-20260223.9.56.59221-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,951   Found link https://files.pythonhosted.org/packages/34/c8/0e2e8db68db51b6f79615ea8f21d613f9f02b7d5e7356077b7d2a69eef92/certora_cli_alpha_master-20260223.9.56.59221.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260223.9.56.59221
2026-03-04T21:23:19,951   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/91/c2/77b633e9962f98eb089ed6d504a4e37c9d193e15953001398f8c6bf6bb2c/certora_cli_alpha_master-20260224.6.40.950931-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,952   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8f/6d/330505360f6202c2ef247cc42314c4f468ca271ae5938753541b70b6289a/certora_cli_alpha_master-20260224.6.40.950931-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,952   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9b/23/f4b08608fd8ae7df4fb57b0e6934e4d4ae059a7291b7185a3c29cf1ba2fb/certora_cli_alpha_master-20260224.6.40.950931-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,953   Found link https://files.pythonhosted.org/packages/4c/a2/3fabb7aed1dea8bf8ce661c2563c470ecf344034914fb3f67026fc0638e3/certora_cli_alpha_master-20260224.6.40.950931.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260224.6.40.950931
2026-03-04T21:23:19,954   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/83/e9/a39815b4f90f063db21bc78b4c00f185057c888155b647deccc820e2851f/certora_cli_alpha_master-20260224.9.58.97049-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,955   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f4/b0/37a741432cf9938565e706c54ac502a9c90903eea91999c9852c8cdc1ce3/certora_cli_alpha_master-20260224.9.58.97049-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,955   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fe/c5/a86ea7cea05092ece80960c42311f682c2b7eecc6ac3554025795b5a405a/certora_cli_alpha_master-20260224.9.58.97049-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,956   Found link https://files.pythonhosted.org/packages/28/a5/c65809895e1bdc71913f58cbeb2d1b4e45a4385a9e905524443d1a6acfc3/certora_cli_alpha_master-20260224.9.58.97049.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260224.9.58.97049
2026-03-04T21:23:19,957   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/55/05/92ed9d5b5a1143d965eb1731d31c4c7153b3d00cd75bd9968002405024b5/certora_cli_alpha_master-20260224.13.0.76906-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,957   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/aa/a6/3cd6eb54577a1d01081662b3420eb10d060fb58273bb8c2d93eea1f882d8/certora_cli_alpha_master-20260224.13.0.76906-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,958   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/41/b1/d9708db3d9ed6be3d8591d2199373678bd60b9a1c373e2cf993cc84d2c33/certora_cli_alpha_master-20260224.13.0.76906-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,959   Found link https://files.pythonhosted.org/packages/03/c8/a28b9bc3de5b826dc4ef2ab9bd862a20d61a3cda3aa99dd52117dd8c1b89/certora_cli_alpha_master-20260224.13.0.76906.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260224.13.0.76906
2026-03-04T21:23:19,959   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/45/82/cd91de62cbec956315d79385654783ceac583475dd9c83f4c5eb248f31fd/certora_cli_alpha_master-20260224.16.49.232500-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,960   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/98/49/5c16939d28ce421050f5fe60472b688f86d374c82ba9fa6513ce23f6c5c4/certora_cli_alpha_master-20260224.16.49.232500-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,960   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b7/95/7cacabe860866e738ac596ff8d9c6274d4c2c660d52436aac7c19faa0e65/certora_cli_alpha_master-20260224.16.49.232500-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,961   Found link https://files.pythonhosted.org/packages/30/d9/b5cce73eef4baea462fecbe610e3bcb016b3a624ad3da5d3fe01178e7248/certora_cli_alpha_master-20260224.16.49.232500.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260224.16.49.232500
2026-03-04T21:23:19,962   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f1/56/6a6eec57be77f2ec54ab345106f90aac1bf3d48b7dbd2a36e520002cb2ba/certora_cli_alpha_master-20260224.18.13.383756-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,962   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8b/11/94b8930d48ff4c614c21a2d2cfbe18dd129f8a97cae42b58fa65343e455a/certora_cli_alpha_master-20260224.18.13.383756-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,963   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ad/61/7ecc5483dcfac08a88bce9435973cc7fe5a040187c9a1aa46d5242e064fe/certora_cli_alpha_master-20260224.18.13.383756-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,964   Found link https://files.pythonhosted.org/packages/b2/ee/e52d87110ecf0f1babf5f6228565405e9c1498be91c39970511906ae6556/certora_cli_alpha_master-20260224.18.13.383756.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260224.18.13.383756
2026-03-04T21:23:19,964   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/95/7f/58ae6dcb609eafe4dbded630c8695c05d8047ab6da13f424c56a17778bab/certora_cli_alpha_master-20260224.18.58.798310-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,965   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fb/39/a2ca9d6a7aee6a72da26afaac2405601b13616a4c135b69d6ebff960cee4/certora_cli_alpha_master-20260224.18.58.798310-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,966   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/75/01/1623df743eb3f95a722e77f151c538fc6285e7a7c94b954c4061c810476f/certora_cli_alpha_master-20260224.18.58.798310-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,966   Found link https://files.pythonhosted.org/packages/72/62/c22666780a3a1bdd1ccbeeeef2d672267e454eeb8dbfc6c0408090b32240/certora_cli_alpha_master-20260224.18.58.798310.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260224.18.58.798310
2026-03-04T21:23:19,967   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ed/e9/6f6699f360ddb8fe21a34085ea5339fc59c1fd28ff887d55cf6d92cc469e/certora_cli_alpha_master-20260225.18.16.858654-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,968   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3e/34/5c7d0fbfcf9ee67f85d827e787bbae745c567a3548ff1c304330c7cdf178/certora_cli_alpha_master-20260225.18.16.858654-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,968   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c9/73/7dd54e0c595935f4b78602168163a1fb5a57f50f8b742075f5963574f20a/certora_cli_alpha_master-20260225.18.16.858654-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,969   Found link https://files.pythonhosted.org/packages/a1/21/6380b5eaedf511200741bc0972536ef4be4d15b25b73cf62cfe6a72987df/certora_cli_alpha_master-20260225.18.16.858654.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260225.18.16.858654
2026-03-04T21:23:19,970   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9d/8e/b2a4262bb425249661cc9eafb16f973a745d08c75d45603833aaeb1c4b42/certora_cli_alpha_master-20260225.21.15.133668-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,970   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/85/4d/041cf359e4c4aae8a2f915f8cd96f0a98ab6f04c4706c1d7ad19850f486f/certora_cli_alpha_master-20260225.21.15.133668-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,971   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b6/8e/adcfa6c41c3c28a5d3904c615fad2b6d2c47e8e38ab995476fe33734c0c8/certora_cli_alpha_master-20260225.21.15.133668-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,972   Found link https://files.pythonhosted.org/packages/d2/43/0cc157f16ca87f48a30ebe1e1930a578011f2cd033e526c111da0c14e2cd/certora_cli_alpha_master-20260225.21.15.133668.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260225.21.15.133668
2026-03-04T21:23:19,972   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c3/21/806f36ab813adb71b336b4a7833a055fc17ca736b815542e64e82a296035/certora_cli_alpha_master-20260225.22.4.345952-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,973   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f6/ec/976df112c03f38f5c0d9a89160c1d617113cb224790bce3e8850f2083e35/certora_cli_alpha_master-20260225.22.4.345952-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,974   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/52/81/6ceed4238be4379e0b61267cb1497341eb8a696f68ea969a3c67d31f30d1/certora_cli_alpha_master-20260225.22.4.345952-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,975   Found link https://files.pythonhosted.org/packages/5f/3e/004454d70efc17839c7dfde77b20c2bfa3817578fe591c3c9c8396a647f0/certora_cli_alpha_master-20260225.22.4.345952.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260225.22.4.345952
2026-03-04T21:23:19,975   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1b/49/c3814ee3f58f722596d59cdf47612ca33f7902e88ed847821afaac782432/certora_cli_alpha_master-20260226.18.42.997328-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,976   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b5/4b/76325a1f6c74814e9c7416a3de05ab6810db646897be9fde7c5d0e4b4d68/certora_cli_alpha_master-20260226.18.42.997328-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,977   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/27/ac/f06d5a59a40e6ca565398d3c77c8fead8f92fc56a4d3a79389f89ae061ee/certora_cli_alpha_master-20260226.18.42.997328-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,978   Found link https://files.pythonhosted.org/packages/17/09/2216962807026ac9c7f2565139f8cf700096ffcc46fe0848a03d5f038efc/certora_cli_alpha_master-20260226.18.42.997328.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260226.18.42.997328
2026-03-04T21:23:19,978   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a3/06/a62ab699f98e69af4e2688cb31c7840f95ebfb0973c951242cfee4206122/certora_cli_alpha_master-20260227.0.1.156780-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,979   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/48/34/f75debf5a2356e4e232a8eb50c2606116ca17fcd66a40d63308237837589/certora_cli_alpha_master-20260227.0.1.156780-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,979   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f5/82/f0d90845aa1962805b62576fd1f940dcd77ee683840726c142a58a4a672d/certora_cli_alpha_master-20260227.0.1.156780-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,980   Found link https://files.pythonhosted.org/packages/46/df/8e215dae928435696e21efa3eef194ac691830c6c10fecc52db7dcfcaf21/certora_cli_alpha_master-20260227.0.1.156780.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260227.0.1.156780
2026-03-04T21:23:19,981   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f2/5e/e8c56fa0aa59419046ba81e74d8b04192bbe38b88b6fec381b464b300183/certora_cli_alpha_master-20260227.3.42.741042-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,982   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ac/9f/4813f3eb0f21eeb531ebee972acf3ffe59891e2230525c26256696578afd/certora_cli_alpha_master-20260227.3.42.741042-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,982   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f0/bb/238ce43c8f1d9633908f327fd209697a242496d93e578211a92550229766/certora_cli_alpha_master-20260227.3.42.741042-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,983   Found link https://files.pythonhosted.org/packages/e9/af/1d0f890fe459e97b0e66add9fc94770d7a3a52ee34d56d2c325678aa4d75/certora_cli_alpha_master-20260227.3.42.741042.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260227.3.42.741042
2026-03-04T21:23:19,984   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2f/7e/631204913efc56a934a2ec4337f8bafda09693a7cdf0e177be37d58212fa/certora_cli_alpha_master-20260227.6.3.131841-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,984   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/5c/33/2f3145bd4b766d6117037bb06b2cbcdf68916f2bbf1e94d05cedb52f4f13/certora_cli_alpha_master-20260227.6.3.131841-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,985   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/1f/2f/5e9126cb6a574856b1af660937782be2998698dda0cc2981e1b448feb69b/certora_cli_alpha_master-20260227.6.3.131841-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,986   Found link https://files.pythonhosted.org/packages/8e/65/58f34b35cf049a2601d985364437019b5f0e43fc6be76096e23bfd82732d/certora_cli_alpha_master-20260227.6.3.131841.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260227.6.3.131841
2026-03-04T21:23:19,987   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2a/28/2b74965bbc3d1214c39d47290f1e3a485e058fc2adbe5290096b9c43f8a7/certora_cli_alpha_master-20260227.21.5.227710-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,987   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/44/6c/7a863e60f78ee793031be73b90d7d803c0662b71639c747881e9cad66bd0/certora_cli_alpha_master-20260227.21.5.227710-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,988   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/10/3a/d09046df7df0309b09bbcd2e90fffeb76a69b07ba9f8400fa31ff01df5d5/certora_cli_alpha_master-20260227.21.5.227710-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,989   Found link https://files.pythonhosted.org/packages/60/7d/fa233d11d90bc0b07a94b31fc14dac7eeb69d149589b75549e67708087bf/certora_cli_alpha_master-20260227.21.5.227710.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260227.21.5.227710
2026-03-04T21:23:19,989   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8c/1d/3b0a72a25a6b9f675f839c906db28ee2c5840f43d6f048ab2446974c3566/certora_cli_alpha_master-20260227.22.8.958998-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,990   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b6/18/334e1ef29167526d0ce0d98af656894757a1c7c164b7c857ae51f17e1b6e/certora_cli_alpha_master-20260227.22.8.958998-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,991   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/26/aa/2d70f387d0bbaa896fdef5c78242c819353e7b57741a7abbb4fdff26e1db/certora_cli_alpha_master-20260227.22.8.958998-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,992   Found link https://files.pythonhosted.org/packages/5a/63/2e573f0f5217f119609353104b8cea4e9e67938bee051c96d2b8b8f1d3c3/certora_cli_alpha_master-20260227.22.8.958998.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260227.22.8.958998
2026-03-04T21:23:19,992   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/47/de/3d237365789b239160162a0c05e7b8a7defeb95f4587635e116dbbff44fe/certora_cli_alpha_master-20260302.9.3.374163-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,993   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b0/86/0cbde3dc323c072f94ab2540fecdfa38d918a55762286bb5b2ab8ed0b5ac/certora_cli_alpha_master-20260302.9.3.374163-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,993   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a7/7e/9a6586dd02a86c9d5e53fd2a19ff48aa3de147050f6451847379e4930d32/certora_cli_alpha_master-20260302.9.3.374163-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,994   Found link https://files.pythonhosted.org/packages/14/e6/22febad87f9f478e4c628dcc8749407d95107c547d3d4c8dbc74ca048fff/certora_cli_alpha_master-20260302.9.3.374163.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260302.9.3.374163
2026-03-04T21:23:19,995   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4f/b2/03face2fa1586b41f09724ee23ebd3b431df19eddee0f541a730db0e9057/certora_cli_alpha_master-20260302.18.6.546398-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,996   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e7/08/ebe0effd1dbba2feced97aef7173a146356ede4308510e12b3e771ba5cd6/certora_cli_alpha_master-20260302.18.6.546398-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,996   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/75/cb/a9f14bdded14980c6428ba29aeb9e9cb6dee5f2b0a7811813a2c338c2354/certora_cli_alpha_master-20260302.18.6.546398-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,997   Found link https://files.pythonhosted.org/packages/44/dc/a624f41913ffbc0197e22d484e8efa9d1d856c2850e12aafacb05e94d3ca/certora_cli_alpha_master-20260302.18.6.546398.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260302.18.6.546398
2026-03-04T21:23:19,998   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/72/97/9da08e7b52a168dfa7a02c008f6f96b37c9f5a75216ea02e1ae527b19fd1/certora_cli_alpha_master-20260302.18.57.219401-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,998   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/48/c6/80b4289eebdde3a2a3330964dea487b2eaba1cc1553ad5bb270a0835ee38/certora_cli_alpha_master-20260302.18.57.219401-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:19,999   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a3/ae/7a3830ae4a2c2f141f37d6b75cf726a9ebea9617910b604b80434d4b694b/certora_cli_alpha_master-20260302.18.57.219401-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,000   Found link https://files.pythonhosted.org/packages/74/02/2f7e7110c60bf616dceaa38fd25f7a98546a491503b1bd5575ddf32163a8/certora_cli_alpha_master-20260302.18.57.219401.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260302.18.57.219401
2026-03-04T21:23:20,000   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/26/86/12cba799c1b9fc9c4eebdb523a3151df5ee501fbe04dd821e91f34166166/certora_cli_alpha_master-20260302.22.32.104958-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,001   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/02/5f/b101697869e934d2e61dcea1bb5d8a867c1335c8c14dceb3d2266f18178e/certora_cli_alpha_master-20260302.22.32.104958-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,002   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/29/03/118610127677590713a0d6e8d86502e21e9a8c8b3246529e5a40055fd78c/certora_cli_alpha_master-20260302.22.32.104958-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,002   Found link https://files.pythonhosted.org/packages/ae/80/c6846bc3800f6c49ecb84edf5ce004f8ce0cb28d4d1f826480dcfe6e3a18/certora_cli_alpha_master-20260302.22.32.104958.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260302.22.32.104958
2026-03-04T21:23:20,003   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/40/12/2a31e6ede1be6b45910e174cd0efb502422c40b0618f83ae9cd4c23be997/certora_cli_alpha_master-20260303.15.42.477822-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,004   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/37/5c/b820d37ebfcf3a22e25dda15acad1cb0bfa6193ae084a93340a740194527/certora_cli_alpha_master-20260303.15.42.477822-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,004   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9e/c4/d8f6e182a6f44d868d267662e350e2a0908f792a17e5a6b75bb46160eac9/certora_cli_alpha_master-20260303.15.42.477822-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,005   Found link https://files.pythonhosted.org/packages/ca/fa/439154a6f5d54fcc34966cb6d9d58f9b35a31379c6f195c318c7cafb7070/certora_cli_alpha_master-20260303.15.42.477822.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260303.15.42.477822
2026-03-04T21:23:20,005   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/af/79/25d68511c84aa6ef563ede7e4bd5c2ad3724704bd315e02513978faabbf4/certora_cli_alpha_master-20260303.16.30.59732-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,006   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a5/04/fa190b4bbc40e9f256d8ef0026e36107d8963da1e0493c3d4f687703e796/certora_cli_alpha_master-20260303.16.30.59732-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,007   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/94/89/31035770818fbb1313017f3f670a6cd7c579557a6ee612a6fa8414856819/certora_cli_alpha_master-20260303.16.30.59732-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,008   Found link https://files.pythonhosted.org/packages/38/b9/cd755dacc163fc06f953b323b95c945a16e0655bbe6600944b076477a6a0/certora_cli_alpha_master-20260303.16.30.59732.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260303.16.30.59732
2026-03-04T21:23:20,008   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d6/c1/5d0def213e1193a1fd5a410cba696a11373bc43be2ec1ab893f6453f480a/certora_cli_alpha_master-20260303.18.1.360942-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,009   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/55/aa/0536f8c35d26fceb2d0decb02fcbd00f3b4c272d6b06584d6344b88029fe/certora_cli_alpha_master-20260303.18.1.360942-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,009   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7f/b6/45567e19414b5d1add4f470c8106a6e9abd265973005aabb086a767712f0/certora_cli_alpha_master-20260303.18.1.360942-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,010   Found link https://files.pythonhosted.org/packages/6d/66/1adf16260ca6c5d79d9b35e2612ccd74a0e20eb139d56cf26a3440c3ee34/certora_cli_alpha_master-20260303.18.1.360942.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260303.18.1.360942
2026-03-04T21:23:20,011   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c7/d7/e4a6f31fee0f238040142227dab80a91ca8112024e970e372b7b541175af/certora_cli_alpha_master-20260304.8.40.405033-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,012   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b4/0e/872825e32b0a1607b09092c11f2e7b3d6c29bc0ea855ee5bb7370774c6f8/certora_cli_alpha_master-20260304.8.40.405033-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,012   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6a/81/4f33dd759f459bb73357c4cb93ef504608c96c7d49ff10235c3e2822c110/certora_cli_alpha_master-20260304.8.40.405033-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,013   Found link https://files.pythonhosted.org/packages/70/a9/e17d49a64ab8d8e1740dff1ef3cc64a8a4c50d92711f315de327fdaf183d/certora_cli_alpha_master-20260304.8.40.405033.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260304.8.40.405033
2026-03-04T21:23:20,014   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/14/85/ccb738e6d2696a54fd9d883ee4d0376b1740c9019718a92699949c39c8a3/certora_cli_alpha_master-20260304.9.31.509394-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,014   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/75/ae/e0ce44ed514924bf2317c6f6b244c84437c2e698a537b5760f8fd2637685/certora_cli_alpha_master-20260304.9.31.509394-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,015   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fc/9c/9dda269ca92751d2b111ee45b4f14d897739c7147bed8a22f0bd013fe7fa/certora_cli_alpha_master-20260304.9.31.509394-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,016   Found link https://files.pythonhosted.org/packages/17/40/0a345ce50a2e38ea8969bfc5dd3a6d676adf2d55d1530c5628f86541115f/certora_cli_alpha_master-20260304.9.31.509394.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260304.9.31.509394
2026-03-04T21:23:20,016   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cf/a3/0f3ad04929b27f3906823569378a7c940ac9cd0b6f801d1b7aed49de9010/certora_cli_alpha_master-20260304.10.19.497613-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,017   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/95/16/07255d7da4fc376b78f3198d713f5c59c1615bd059f3115c63ffa7fdc542/certora_cli_alpha_master-20260304.10.19.497613-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,017   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/62/36/9cabd84f1e23275f57ec18a2200538c2189abd3c06918d30584065128c4c/certora_cli_alpha_master-20260304.10.19.497613-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,018   Found link https://files.pythonhosted.org/packages/25/e2/a5502c4861ab185d25cd531dcbbdb85d1d65fe941b12da0817dac9844e61/certora_cli_alpha_master-20260304.10.19.497613.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260304.10.19.497613
2026-03-04T21:23:20,019   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a1/1f/817a76561a11d6bf83289bd28ab697519327f2b8a73dd5323ed103b8fd22/certora_cli_alpha_master-20260304.11.6.875707-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,019   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/38/01/ea53ab5d82f7436f8db7564d9fbe94e37c0e583fd21bb6c1482ec4ff5eb0/certora_cli_alpha_master-20260304.11.6.875707-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,020   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/28/65/edc99ec03369d9ac0b58414ae5292e45d68cc2e4c49be9a9def0959ecd68/certora_cli_alpha_master-20260304.11.6.875707-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,021   Found link https://files.pythonhosted.org/packages/d6/a4/87eca1e86ff6fe1da6afd2a5560170ccba146eab94c9d4cb2730b190df85/certora_cli_alpha_master-20260304.11.6.875707.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260304.11.6.875707
2026-03-04T21:23:20,021   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0b/87/7ab445baab1586beca83c230e01df448fab4e3de67e2e660ebf27994b61f/certora_cli_alpha_master-20260304.17.31.426288-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,022   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/61/e6/92ec244f0b4528fb6f947b45a2102bf9fda7f810721414ff07c390ca9bd5/certora_cli_alpha_master-20260304.17.31.426288-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,022   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d1/c5/93663064362b7bd51b4a37a0c2e6751a8cbfc9ee8cd8d81eb98935970006/certora_cli_alpha_master-20260304.17.31.426288-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,023   Found link https://files.pythonhosted.org/packages/db/1d/88b036de4379b868dcf63df230d50f25251c4cffc91f2569adfc0baf84da/certora_cli_alpha_master-20260304.17.31.426288.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260304.17.31.426288
2026-03-04T21:23:20,024 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/
2026-03-04T21:23:20,025 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/
2026-03-04T21:23:20,026 Found index url https://www.piwheels.org/simple
2026-03-04T21:23:20,178 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html
2026-03-04T21:23:20,190   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260302.22.32.104958-py3-none-any.whl#sha256=32257e010267ba4b9eb13a5702d7214ed449a66bbed819d3c61ef71fd3220d3d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,191   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260302.18.57.219401-py3-none-any.whl#sha256=ea04348f90d830ea21e2f22a5459395f5687a4ce38d4e1fe47407bebf585b0af (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,191   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260302.18.6.546398-py3-none-any.whl#sha256=cfdedfa76bd7aa6d1457a34f4d365922fb1f37eaddd578b90c00b8f4ad3510af (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,192   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260302.9.3.374163-py3-none-any.whl#sha256=dbda3fa8aadc6760f7cc6d27156834773302151e93428cc0a2da3de8fe8bfc15 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,192   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260227.22.8.958998-py3-none-any.whl#sha256=8c0d01237f9204b6744b083cf2aa8b8f17e0e8fd44e3fedf16d5f3980597ec30 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,193   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260227.21.5.227710-py3-none-any.whl#sha256=160859efde0ef3c8a5e87c0b26595e4eeae327feb5dc60394be927c5090636dd (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,193   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260227.6.3.131841-py3-none-any.whl#sha256=2a5f53877525058cd4815f070d0927566fea66fb1eb0daaea8380ae57214364c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,194   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260227.3.42.741042-py3-none-any.whl#sha256=c0b05c38e2785b00d3b8d66ca40edfd64e95b6cc0d7f93c8a1b34f50d86f768e (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,195   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260227.0.1.156780-py3-none-any.whl#sha256=16875e460166c2344a6209c8f5c15b9c2885de6aa744f48493d5eece6840c423 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,195   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260226.18.42.997328-py3-none-any.whl#sha256=cbbb1cbf21f1e9d01c9c133b6485f5f58252e56d41c778b38a73c75b47c785ad (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,196   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260225.22.4.345952-py3-none-any.whl#sha256=c91cec570fbf86e069a6d5ce392a60e896fa34d4e1bbd72528cafdf33ab54e8b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,196   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260225.21.15.133668-py3-none-any.whl#sha256=c7f01a84d65a83fd1d2aa7262442d5d08c35d7b184b89da59936b37423a234d8 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,197   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260225.18.16.858654-py3-none-any.whl#sha256=b7c64b09a50bb74a76da7c53144433d853adbc2186cd3eb85d3626c1ad421de6 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,197   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260224.18.58.798310-py3-none-any.whl#sha256=baf740a96aaf2e2880b9dcdd9d63318dfa8419d88f66e5560dbc125e3b0eed59 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,198   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260224.18.13.383756-py3-none-any.whl#sha256=5b599ccdfe12e73423b92be6e9cde5927d012a6516c0e4210a05ed9d9df1bbd2 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,198   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260224.16.49.232500-py3-none-any.whl#sha256=c1b6582e084b3e610bd67a6e258b1237a6a5e4069060cc8dc1b298eeb55ad904 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,198   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260224.13.0.76906-py3-none-any.whl#sha256=b895d775b6b29ffc359e998d23a28276ae6cf76496523990937b69bde5723f8d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,199   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260224.9.58.97049-py3-none-any.whl#sha256=23c73a0824e86f8b59f8fef1793a764eddcafdcb85b58923ec3b75d9da363982 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,199   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260224.6.40.950931-py3-none-any.whl#sha256=52e4b078e9ef0d7953e1e83c9175c4abbadb905a24bf75686af00de88c8b33aa (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,200   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260223.9.56.59221-py3-none-any.whl#sha256=bda871faa213ee389c4ab72542d7beebff00619c06845a0dbf11eb1e846e9469 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,200   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260222.16.56.150552-py3-none-any.whl#sha256=493d2c739cbc815beb2f4e3d70b337f16312116fda86a918b474b1511397851d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,201   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260222.11.54.650718-py3-none-any.whl#sha256=4c3c7d0cf682e5a35c057951f38bd0a33a977907dfe9248e420f2e2efccda6f9 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,201   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260222.1.48.454304-py3-none-any.whl#sha256=5c772a3adb1dbfea0760340be075522ee1816f5ec96a6c5d3dab53efab89a46c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,202   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260220.17.32.693288-py3-none-any.whl#sha256=b6f12bfdb05bd8921acf4ef440d2adbbf374c4bbb45a8f09e4cbae17dbffec5b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,203   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260219.16.12.1521-py3-none-any.whl#sha256=fd829901878c9479aaa6ca3e049f10adf9301539533309d7e1c61cd13d3d97fe (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,203   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260219.2.6.690553-py3-none-any.whl#sha256=78de400e564ceb940811035294c4ff167bed818a53d8747a3fc75830a45272ce (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,203   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.23.32.796727-py3-none-any.whl#sha256=6134a9acf21bf22531da4e8d66becdc12fe485771b7eeaf2a6d26a9b9fc7e453 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,204   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.22.36.198108-py3-none-any.whl#sha256=4049dc1d4155f6a80a0114f017c4dd60f0a1a9ca8fea768073a6a1b0e7402552 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,205   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.12.26.169582-py3-none-any.whl#sha256=f20f95a34cc6e5679291ac70af0de91fa0efcd846933900d6ddd3cd5a1023f10 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,205   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.8.3.680755-py3-none-any.whl#sha256=10dd3d85b3c3ced50f1fababfc73e172e6bb650210810db06f426f5733f9d05b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,206   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.4.19.33182-py3-none-any.whl#sha256=c2c7a51bddd1515dc1b9b1594a97e8a4bf20800ad7231128042337e5aa739633 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,206   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.3.27.118260-py3-none-any.whl#sha256=c735063a86e370ebb0befdf08ba5e4db478fdd2c2f17ef569f4bdc8218900171 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,207   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260218.2.40.641998-py3-none-any.whl#sha256=76ac74f49276345f68f1eecf3a881fbea7e2334771a0f7191a65b1cbe69db9a0 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,207   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260217.22.22.286744-py3-none-any.whl#sha256=2328af51cd29d7209a1daa8d311695888b989281883aeeb8bcc3675e3a9100ca (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,208   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260217.21.33.549449-py3-none-any.whl#sha256=650b0020afdd02608bb2b5e78b7298ca0c97bef7a8a866c90d2ba11ba5606c8e (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,209   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260217.19.12.586863-py3-none-any.whl#sha256=83af52a1cabc292daf532041066727117b2579aa23449ac546418997708d5ac4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,209   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260217.12.30.485277-py3-none-any.whl#sha256=2290f83f811f12067337f9f19891ac57a65a95c6f01661d6365f612bed98b298 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,209   Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260216.22.23.266703-py3-none-any.whl#sha256=ac82c1a99dce21521c2c3356527bc5a2db7da32b2370e6df8674f6eded4c1eff (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-04T21:23:20,210 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/
2026-03-04T21:23:20,211 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/
2026-03-04T21:23:20,235 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates
2026-03-04T21:23:20,253 Collecting certora-cli-alpha-master==20260303.15.42.477822
2026-03-04T21:23:20,256   Created temporary directory: /tmp/pip-unpack-5oyhmlxq
2026-03-04T21:23:20,390   Downloading certora_cli_alpha_master-20260303.15.42.477822.tar.gz (42.9 MB)
2026-03-04T21:23:26,084   Added certora-cli-alpha-master==20260303.15.42.477822 from https://files.pythonhosted.org/packages/ca/fa/439154a6f5d54fcc34966cb6d9d58f9b35a31379c6f195c318c7cafb7070/certora_cli_alpha_master-20260303.15.42.477822.tar.gz to build tracker '/tmp/pip-build-tracker-sxt2_n_2'
2026-03-04T21:23:26,086   Running setup.py (path:/tmp/pip-wheel-dolb6mcq/certora-cli-alpha-master_12aa0a5e760c4844a191cc1e894f177b/setup.py) egg_info for package certora-cli-alpha-master
2026-03-04T21:23:26,087   Created temporary directory: /tmp/pip-pip-egg-info-pveljuva
2026-03-04T21:23:26,088   Preparing metadata (setup.py): started
2026-03-04T21:23:26,089   Running command python setup.py egg_info
2026-03-04T21:23:26,956   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-03-04T21:23:26,956   !!

2026-03-04T21:23:26,957           ********************************************************************************
2026-03-04T21:23:26,958           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-03-04T21:23:26,959           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2026-03-04T21:23:26,960           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-03-04T21:23:26,961           ********************************************************************************

2026-03-04T21:23:26,962   !!
2026-03-04T21:23:26,962     self._finalize_license_expression()
2026-03-04T21:23:26,986   running egg_info
2026-03-04T21:23:27,013   creating /tmp/pip-pip-egg-info-pveljuva/certora_cli_alpha_master.egg-info
2026-03-04T21:23:27,014   writing /tmp/pip-pip-egg-info-pveljuva/certora_cli_alpha_master.egg-info/PKG-INFO
2026-03-04T21:23:27,017   writing dependency_links to /tmp/pip-pip-egg-info-pveljuva/certora_cli_alpha_master.egg-info/dependency_links.txt
2026-03-04T21:23:27,019   writing entry points to /tmp/pip-pip-egg-info-pveljuva/certora_cli_alpha_master.egg-info/entry_points.txt
2026-03-04T21:23:27,021   writing requirements to /tmp/pip-pip-egg-info-pveljuva/certora_cli_alpha_master.egg-info/requires.txt
2026-03-04T21:23:27,022   writing top-level names to /tmp/pip-pip-egg-info-pveljuva/certora_cli_alpha_master.egg-info/top_level.txt
2026-03-04T21:23:27,023   writing manifest file '/tmp/pip-pip-egg-info-pveljuva/certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-03-04T21:23:27,127   reading manifest file '/tmp/pip-pip-egg-info-pveljuva/certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-03-04T21:23:27,129   reading manifest template 'MANIFEST.in'
2026-03-04T21:23:27,134   warning: no files found matching 'gambit' under directory 'certora_bins'
2026-03-04T21:23:27,233   adding license file 'LICENSE'
2026-03-04T21:23:27,238   writing manifest file '/tmp/pip-pip-egg-info-pveljuva/certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-03-04T21:23:27,344   Preparing metadata (setup.py): finished with status 'done'
2026-03-04T21:23:27,348   Source in /tmp/pip-wheel-dolb6mcq/certora-cli-alpha-master_12aa0a5e760c4844a191cc1e894f177b has version 20260303.15.42.477822, which satisfies requirement certora-cli-alpha-master==20260303.15.42.477822 from https://files.pythonhosted.org/packages/ca/fa/439154a6f5d54fcc34966cb6d9d58f9b35a31379c6f195c318c7cafb7070/certora_cli_alpha_master-20260303.15.42.477822.tar.gz
2026-03-04T21:23:27,349   Removed certora-cli-alpha-master==20260303.15.42.477822 from https://files.pythonhosted.org/packages/ca/fa/439154a6f5d54fcc34966cb6d9d58f9b35a31379c6f195c318c7cafb7070/certora_cli_alpha_master-20260303.15.42.477822.tar.gz from build tracker '/tmp/pip-build-tracker-sxt2_n_2'
2026-03-04T21:23:27,355 Created temporary directory: /tmp/pip-unpack-xbgyi3en
2026-03-04T21:23:27,355 Building wheels for collected packages: certora-cli-alpha-master
2026-03-04T21:23:27,360   Created temporary directory: /tmp/pip-wheel-687i7p6i
2026-03-04T21:23:27,361   Building wheel for certora-cli-alpha-master (setup.py): started
2026-03-04T21:23:27,362   Destination directory: /tmp/pip-wheel-687i7p6i
2026-03-04T21:23:27,362   Running command python setup.py bdist_wheel
2026-03-04T21:23:28,211   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-03-04T21:23:28,211   !!

2026-03-04T21:23:28,212           ********************************************************************************
2026-03-04T21:23:28,213           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-03-04T21:23:28,214           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2026-03-04T21:23:28,215           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-03-04T21:23:28,216           ********************************************************************************

2026-03-04T21:23:28,217   !!
2026-03-04T21:23:28,217     self._finalize_license_expression()
2026-03-04T21:23:28,218   running bdist_wheel
2026-03-04T21:23:28,355   running build
2026-03-04T21:23:28,355   running build_py
2026-03-04T21:23:28,389   creating build/lib/certora_cli
2026-03-04T21:23:28,391   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2026-03-04T21:23:28,393   copying certora_cli/certoraConcord.py -> build/lib/certora_cli
2026-03-04T21:23:28,396   copying certora_cli/certoraRanger.py -> build/lib/certora_cli
2026-03-04T21:23:28,398   copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli
2026-03-04T21:23:28,400   copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli
2026-03-04T21:23:28,402   copying certora_cli/rustMutator.py -> build/lib/certora_cli
2026-03-04T21:23:28,404   copying certora_cli/__init__.py -> build/lib/certora_cli
2026-03-04T21:23:28,406   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2026-03-04T21:23:28,407   copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli
2026-03-04T21:23:28,409   copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli
2026-03-04T21:23:28,411   copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli
2026-03-04T21:23:28,413   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2026-03-04T21:23:28,416   creating build/lib/certora_bins
2026-03-04T21:23:28,417   copying certora_bins/__init__.py -> build/lib/certora_bins
2026-03-04T21:23:28,419   creating build/lib/certora_jars
2026-03-04T21:23:28,420   copying certora_jars/__init__.py -> build/lib/certora_jars
2026-03-04T21:23:28,422   creating build/lib/certora_cli/EquivalenceCheck
2026-03-04T21:23:28,423   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2026-03-04T21:23:28,426   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2026-03-04T21:23:28,428   creating build/lib/certora_cli/Mutate
2026-03-04T21:23:28,429   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2026-03-04T21:23:28,431   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2026-03-04T21:23:28,433   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2026-03-04T21:23:28,436   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2026-03-04T21:23:28,438   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2026-03-04T21:23:28,440   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2026-03-04T21:23:28,445   creating build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,446   copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,449   copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,451   copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,453   copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,455   copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,458   copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,461   copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,463   copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,465   copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,468   copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,470   copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,472   copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,475   copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,478   copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,481   copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,483   copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,485   copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,488   copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,494   copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,496   copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,498   copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,500   copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,502   copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,504   copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,507   copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,509   copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,512   copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,514   copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,517   copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,519   copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,523   copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,526   copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver
2026-03-04T21:23:28,529   creating build/lib/certora_cli/Shared
2026-03-04T21:23:28,530   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2026-03-04T21:23:28,534   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2026-03-04T21:23:28,537   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2026-03-04T21:23:28,540   copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared
2026-03-04T21:23:28,542   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2026-03-04T21:23:28,546   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2026-03-04T21:23:28,548   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2026-03-04T21:23:28,551   creating build/lib/certora_cli/CertoraProver/Compiler
2026-03-04T21:23:28,552   copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-04T21:23:28,555   copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-04T21:23:28,557   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-04T21:23:28,559   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-04T21:23:28,561   copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-04T21:23:28,564   copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-04T21:23:28,567   copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-04T21:23:28,570   running egg_info
2026-03-04T21:23:28,598   writing certora_cli_alpha_master.egg-info/PKG-INFO
2026-03-04T21:23:28,602   writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt
2026-03-04T21:23:28,604   writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt
2026-03-04T21:23:28,606   writing requirements to certora_cli_alpha_master.egg-info/requires.txt
2026-03-04T21:23:28,607   writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt
2026-03-04T21:23:28,646   reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-03-04T21:23:28,652   reading manifest template 'MANIFEST.in'
2026-03-04T21:23:28,657   warning: no files found matching 'gambit' under directory 'certora_bins'
2026-03-04T21:23:28,762   adding license file 'LICENSE'
2026-03-04T21:23:28,768   writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-03-04T21:23:28,775   copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars
2026-03-04T21:23:29,638   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2026-03-04T21:23:29,640   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2026-03-04T21:23:30,292   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2026-03-04T21:23:30,294   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-03-04T21:23:30,296   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-03-04T21:23:30,298   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2026-03-04T21:23:30,300   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-03-04T21:23:30,302   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2026-03-04T21:23:30,336   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2026-03-04T21:23:30,336   !!

2026-03-04T21:23:30,337           ********************************************************************************
2026-03-04T21:23:30,338           Please avoid running ``setup.py`` directly.
2026-03-04T21:23:30,338           Instead, use pypa/build, pypa/installer or other
2026-03-04T21:23:30,339           standards-based tools.

2026-03-04T21:23:30,340           This deprecation is overdue, please update your project and remove deprecated
2026-03-04T21:23:30,340           calls to avoid build errors in the future.

2026-03-04T21:23:30,341           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2026-03-04T21:23:30,342           ********************************************************************************

2026-03-04T21:23:30,343   !!
2026-03-04T21:23:30,344     self.initialize_options()
2026-03-04T21:23:30,364   installing to build/bdist.linux-armv7l/wheel
2026-03-04T21:23:30,365   running install
2026-03-04T21:23:30,388   running install_lib
2026-03-04T21:23:30,415   creating build/bdist.linux-armv7l/wheel
2026-03-04T21:23:30,418   creating build/bdist.linux-armv7l/wheel/certora_cli
2026-03-04T21:23:30,419   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-04T21:23:30,421   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2026-03-04T21:23:30,422   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-04T21:23:30,424   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-04T21:23:30,426   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-04T21:23:30,428   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-04T21:23:30,430   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-04T21:23:30,433   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-04T21:23:30,434   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-04T21:23:30,436   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-04T21:23:30,438   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2026-03-04T21:23:30,439   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-03-04T21:23:30,441   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-03-04T21:23:30,443   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-03-04T21:23:30,445   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-03-04T21:23:30,447   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-03-04T21:23:30,449   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-03-04T21:23:30,453   copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-04T21:23:30,455   copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-04T21:23:30,457   copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-04T21:23:30,458   copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-04T21:23:30,460   copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-04T21:23:30,464   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver
2026-03-04T21:23:30,465   copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,467   copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,469   copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,471   copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,473   copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,476   copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,478   copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,480   copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,482   copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,485   copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,487   copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,489   copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,492   copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,495   copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,498   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler
2026-03-04T21:23:30,499   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-04T21:23:30,501   copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-04T21:23:30,503   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-04T21:23:30,504   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-04T21:23:30,507   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-04T21:23:30,509   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-04T21:23:30,512   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-04T21:23:30,514   copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,516   copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,517   copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,520   copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,527   copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,529   copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,532   copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,534   copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,536   copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,538   copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,540   copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,543   copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,546   copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,548   copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,550   copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,552   copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,556   copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,559   copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-04T21:23:30,561   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-04T21:23:30,562   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-04T21:23:30,564   copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-04T21:23:30,566   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2026-03-04T21:23:30,567   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-04T21:23:30,570   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-04T21:23:30,574   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-04T21:23:30,576   copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-04T21:23:30,578   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-04T21:23:30,582   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-04T21:23:30,584   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-04T21:23:30,587   copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-04T21:23:30,589   copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-04T21:23:30,591   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-04T21:23:30,593   creating build/bdist.linux-armv7l/wheel/certora_bins
2026-03-04T21:23:30,594   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2026-03-04T21:23:30,597   creating build/bdist.linux-armv7l/wheel/certora_jars
2026-03-04T21:23:30,667   copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-03-04T21:23:31,038   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-03-04T21:23:31,040   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-03-04T21:23:31,041   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-03-04T21:23:31,373   running install_egg_info
2026-03-04T21:23:31,411   Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20260303.15.42.477822-py3.11.egg-info
2026-03-04T21:23:31,423   running install_scripts
2026-03-04T21:23:31,437   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20260303.15.42.477822.dist-info/WHEEL
2026-03-04T21:23:31,439   creating '/tmp/pip-wheel-687i7p6i/certora_cli_alpha_master-20260303.15.42.477822-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2026-03-04T21:23:31,441   adding 'certora_bins/__init__.py'
2026-03-04T21:23:31,443   adding 'certora_cli/__init__.py'
2026-03-04T21:23:31,445   adding 'certora_cli/certoraCVLFormatter.py'
2026-03-04T21:23:31,446   adding 'certora_cli/certoraConcord.py'
2026-03-04T21:23:31,448   adding 'certora_cli/certoraEVMProver.py'
2026-03-04T21:23:31,449   adding 'certora_cli/certoraEqCheck.py'
2026-03-04T21:23:31,451   adding 'certora_cli/certoraMutate.py'
2026-03-04T21:23:31,452   adding 'certora_cli/certoraRanger.py'
2026-03-04T21:23:31,454   adding 'certora_cli/certoraRun.py'
2026-03-04T21:23:31,456   adding 'certora_cli/certoraSolanaProver.py'
2026-03-04T21:23:31,457   adding 'certora_cli/certoraSorobanProver.py'
2026-03-04T21:23:31,459   adding 'certora_cli/certoraSuiProver.py'
2026-03-04T21:23:31,461   adding 'certora_cli/rustMutator.py'
2026-03-04T21:23:31,464   adding 'certora_cli/CertoraProver/__init__.py'
2026-03-04T21:23:31,466   adding 'certora_cli/CertoraProver/castingInstrumenter.py'
2026-03-04T21:23:31,467   adding 'certora_cli/CertoraProver/certoraApp.py'
2026-03-04T21:23:31,495   adding 'certora_cli/CertoraProver/certoraBuild.py'
2026-03-04T21:23:31,499   adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py'
2026-03-04T21:23:31,501   adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py'
2026-03-04T21:23:31,503   adding 'certora_cli/CertoraProver/certoraBuildRust.py'
2026-03-04T21:23:31,505   adding 'certora_cli/CertoraProver/certoraBuildSui.py'
2026-03-04T21:23:31,511   adding 'certora_cli/CertoraProver/certoraCloudIO.py'
2026-03-04T21:23:31,513   adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py'
2026-03-04T21:23:31,515   adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py'
2026-03-04T21:23:31,517   adding 'certora_cli/CertoraProver/certoraCompilerParameters.py'
2026-03-04T21:23:31,519   adding 'certora_cli/CertoraProver/certoraConfigIO.py'
2026-03-04T21:23:31,523   adding 'certora_cli/CertoraProver/certoraContext.py'
2026-03-04T21:23:31,528   adding 'certora_cli/CertoraProver/certoraContextAttributes.py'
2026-03-04T21:23:31,530   adding 'certora_cli/CertoraProver/certoraContextClass.py'
2026-03-04T21:23:31,536   adding 'certora_cli/CertoraProver/certoraContextValidator.py'
2026-03-04T21:23:31,538   adding 'certora_cli/CertoraProver/certoraContractFuncs.py'
2026-03-04T21:23:31,539   adding 'certora_cli/CertoraProver/certoraExtensionInfo.py'
2026-03-04T21:23:31,541   adding 'certora_cli/CertoraProver/certoraJobList.py'
2026-03-04T21:23:31,543   adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py'
2026-03-04T21:23:31,545   adding 'certora_cli/CertoraProver/certoraNodeFilters.py'
2026-03-04T21:23:31,546   adding 'certora_cli/CertoraProver/certoraOffsetConverter.py'
2026-03-04T21:23:31,548   adding 'certora_cli/CertoraProver/certoraParseBuildScript.py'
2026-03-04T21:23:31,549   adding 'certora_cli/CertoraProver/certoraProjectScanner.py'
2026-03-04T21:23:31,552   adding 'certora_cli/CertoraProver/certoraSourceFinders.py'
2026-03-04T21:23:31,555   adding 'certora_cli/CertoraProver/certoraType.py'
2026-03-04T21:23:31,557   adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py'
2026-03-04T21:23:31,558   adding 'certora_cli/CertoraProver/erc7201.py'
2026-03-04T21:23:31,560   adding 'certora_cli/CertoraProver/splitRules.py'
2026-03-04T21:23:31,562   adding 'certora_cli/CertoraProver/storageExtension.py'
2026-03-04T21:23:31,564   adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py'
2026-03-04T21:23:31,566   adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py'
2026-03-04T21:23:31,568   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py'
2026-03-04T21:23:31,570   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py'
2026-03-04T21:23:31,571   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py'
2026-03-04T21:23:31,579   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py'
2026-03-04T21:23:31,581   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py'
2026-03-04T21:23:31,583   adding 'certora_cli/CertoraProver/Compiler/__init__.py'
2026-03-04T21:23:31,584   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2026-03-04T21:23:31,586   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2026-03-04T21:23:31,587   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2026-03-04T21:23:31,588   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2026-03-04T21:23:31,589   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2026-03-04T21:23:31,591   adding 'certora_cli/EquivalenceCheck/__init__.py'
2026-03-04T21:23:31,593   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2026-03-04T21:23:31,595   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2026-03-04T21:23:31,597   adding 'certora_cli/Mutate/__init__.py'
2026-03-04T21:23:31,607   adding 'certora_cli/Mutate/mutateApp.py'
2026-03-04T21:23:31,611   adding 'certora_cli/Mutate/mutateAttributes.py'
2026-03-04T21:23:31,612   adding 'certora_cli/Mutate/mutateConstants.py'
2026-03-04T21:23:31,613   adding 'certora_cli/Mutate/mutateUtil.py'
2026-03-04T21:23:31,615   adding 'certora_cli/Mutate/mutateValidate.py'
2026-03-04T21:23:31,618   adding 'certora_cli/Shared/ExpectedComparator.py'
2026-03-04T21:23:31,620   adding 'certora_cli/Shared/__init__.py'
2026-03-04T21:23:31,622   adding 'certora_cli/Shared/certoraAttrUtil.py'
2026-03-04T21:23:31,624   adding 'certora_cli/Shared/certoraLogging.py'
2026-03-04T21:23:31,632   adding 'certora_cli/Shared/certoraUtils.py'
2026-03-04T21:23:31,638   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2026-03-04T21:23:31,640   adding 'certora_cli/Shared/proverCommon.py'
2026-03-04T21:23:31,642   adding 'certora_cli_alpha_master-20260303.15.42.477822.dist-info/licenses/LICENSE'
2026-03-04T21:23:34,222   adding 'certora_jars/ASTExtraction.jar'
2026-03-04T21:23:34,368   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2026-03-04T21:23:36,941   adding 'certora_jars/Typechecker.jar'
2026-03-04T21:23:37,084   adding 'certora_jars/__init__.py'
2026-03-04T21:23:37,085   adding 'certora_cli_alpha_master-20260303.15.42.477822.dist-info/METADATA'
2026-03-04T21:23:37,086   adding 'certora_cli_alpha_master-20260303.15.42.477822.dist-info/WHEEL'
2026-03-04T21:23:37,088   adding 'certora_cli_alpha_master-20260303.15.42.477822.dist-info/entry_points.txt'
2026-03-04T21:23:37,088   adding 'certora_cli_alpha_master-20260303.15.42.477822.dist-info/top_level.txt'
2026-03-04T21:23:37,090   adding 'certora_cli_alpha_master-20260303.15.42.477822.dist-info/RECORD'
2026-03-04T21:23:37,510   removing build/bdist.linux-armv7l/wheel
2026-03-04T21:23:37,655   Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done'
2026-03-04T21:23:38,080   Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20260303.15.42.477822-py3-none-any.whl size=42985518 sha256=57d4f95ff0dc3a1541780097a5a0c34444979e3b70ba52ce6078d2f09cbe615c
2026-03-04T21:23:38,081   Stored in directory: /tmp/pip-ephem-wheel-cache-tna3r9ev/wheels/a4/a1/84/cd1822ec80267292ae9f99e53db258a84bb086d6a5a77a6f90
2026-03-04T21:23:38,107 Successfully built certora-cli-alpha-master
2026-03-04T21:23:39,108 Removed build tracker: '/tmp/pip-build-tracker-sxt2_n_2'