2026-03-06T23:42:04,875 Created temporary directory: /tmp/pip-ephem-wheel-cache-8zzyhp3c
2026-03-06T23:42:04,877 Created temporary directory: /tmp/pip-build-tracker-0q5x51d4
2026-03-06T23:42:04,877 Initialized build tracking at /tmp/pip-build-tracker-0q5x51d4
2026-03-06T23:42:04,878 Created build tracker: /tmp/pip-build-tracker-0q5x51d4
2026-03-06T23:42:04,878 Entered build tracker: /tmp/pip-build-tracker-0q5x51d4
2026-03-06T23:42:04,879 Created temporary directory: /tmp/pip-wheel-4kebgdqx
2026-03-06T23:42:04,883 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-06T23:42:04,885 Created temporary directory: /tmp/pip-ephem-wheel-cache-687r2avi
2026-03-06T23:42:04,907 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-06T23:42:04,910 2 location(s) to search for versions of certora-cli-alpha-master:
2026-03-06T23:42:04,910 * https://pypi.org/simple/certora-cli-alpha-master/
2026-03-06T23:42:04,910 * https://www.piwheels.org/simple/certora-cli-alpha-master/
2026-03-06T23:42:04,911 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/
2026-03-06T23:42:04,912 Getting page https://pypi.org/simple/certora-cli-alpha-master/
2026-03-06T23:42:04,913 Found index url https://pypi.org/simple
2026-03-06T23:42:05,134 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json
2026-03-06T23:42:05,171   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-06T23:42:05,172   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-06T23:42:05,172   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-06T23:42:05,173   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-06T23:42:05,174   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-06T23:42:05,175   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-06T23:42:05,175   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-06T23:42:05,176   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-06T23:42:05,177   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-06T23:42:05,178   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-06T23:42:05,178   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-06T23:42:05,179   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-06T23:42:05,180   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-06T23:42:05,180   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-06T23:42:05,181   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-06T23:42:05,182   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-06T23:42:05,182   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-06T23:42:05,183   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-06T23:42:05,183   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-06T23:42:05,184   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-06T23:42:05,185   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-06T23:42:05,186   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-06T23:42:05,186   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-06T23:42:05,187   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-06T23:42:05,188   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-06T23:42:05,188   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-06T23:42:05,189   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-06T23:42:05,190   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-06T23:42:05,191   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-06T23:42:05,191   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-06T23:42:05,192   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-06T23:42:05,193   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-06T23:42:05,194   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-06T23:42:05,194   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-06T23:42:05,195   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-06T23:42:05,195   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-06T23:42:05,196   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-06T23:42:05,197   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-06T23:42:05,197   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-06T23:42:05,198   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-06T23:42:05,199   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-06T23:42:05,199   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-06T23:42:05,200   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-06T23:42:05,201   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-06T23:42:05,202   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-06T23:42:05,202   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-06T23:42:05,203   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-06T23:42:05,203   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-06T23:42:05,204   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-06T23:42:05,205   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-06T23:42:05,205   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-06T23:42:05,206   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-06T23:42:05,207   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-06T23:42:05,207   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-06T23:42:05,208   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-06T23:42:05,209   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-06T23:42:05,210   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-06T23:42:05,210   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-06T23:42:05,211   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-06T23:42:05,211   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-06T23:42:05,212   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-06T23:42:05,213   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-06T23:42:05,213   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-06T23:42:05,214   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-06T23:42:05,215   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-06T23:42:05,215   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-06T23:42:05,216   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-06T23:42:05,217   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-06T23:42:05,218   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-06T23:42:05,219   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-06T23:42:05,219   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-06T23:42:05,220   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-06T23:42:05,221   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-06T23:42:05,221   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-06T23:42:05,222   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-06T23:42:05,223   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-06T23:42:05,223   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-06T23:42:05,224   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-06T23:42:05,225   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-06T23:42:05,226   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-06T23:42:05,226   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-06T23:42:05,227   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-06T23:42:05,227   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-06T23:42:05,228   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-06T23:42:05,229   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-06T23:42:05,229   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-06T23:42:05,230   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-06T23:42:05,231   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-06T23:42:05,231   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-06T23:42:05,232   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-06T23:42:05,233   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-06T23:42:05,234   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-06T23:42:05,234   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-06T23:42:05,235   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-06T23:42:05,235   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-06T23:42:05,236   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-06T23:42:05,237   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-06T23:42:05,237   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-06T23:42:05,238   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-06T23:42:05,239   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-06T23:42:05,239   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-06T23:42:05,240   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-06T23:42:05,240   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-06T23:42:05,241   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-06T23:42:05,242   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-06T23:42:05,242   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-06T23:42:05,243   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-06T23:42:05,244   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-06T23:42:05,244   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-06T23:42:05,245   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-06T23:42:05,246   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-06T23:42:05,247   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-06T23:42:05,247   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-06T23:42:05,248   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-06T23:42:05,248   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-06T23:42:05,249   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-06T23:42:05,250   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-06T23:42:05,250   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-06T23:42:05,251   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-06T23:42:05,252   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-06T23:42:05,252   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-06T23:42:05,253   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-06T23:42:05,254   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-06T23:42:05,254   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-06T23:42:05,255   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-06T23:42:05,256   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-06T23:42:05,256   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-06T23:42:05,257   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-06T23:42:05,258   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-06T23:42:05,258   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-06T23:42:05,259   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-06T23:42:05,260   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-06T23:42:05,260   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-06T23:42:05,261   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-06T23:42:05,262   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-06T23:42:05,263   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-06T23:42:05,263   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-06T23:42:05,264   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-06T23:42:05,264   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-06T23:42:05,265   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-06T23:42:05,266   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-06T23:42:05,266   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-06T23:42:05,267   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-06T23:42:05,268   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-06T23:42:05,268   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-06T23:42:05,269   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-06T23:42:05,270   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-06T23:42:05,270   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-06T23:42:05,271   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-06T23:42:05,272   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-06T23:42:05,272   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-06T23:42:05,273   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-06T23:42:05,274   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-06T23:42:05,274   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-06T23:42:05,275   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-06T23:42:05,276   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-06T23:42:05,276   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-06T23:42:05,277   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-06T23:42:05,277   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-06T23:42:05,278   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-06T23:42:05,279   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-06T23:42:05,280   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-06T23:42:05,280   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-06T23:42:05,281   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-06T23:42:05,282   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-06T23:42:05,282   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-06T23:42:05,283   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-06T23:42:05,284   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-06T23:42:05,284   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-06T23:42:05,285   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-06T23:42:05,286   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-06T23:42:05,287   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-06T23:42:05,287   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-06T23:42:05,288   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-06T23:42:05,289   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-06T23:42:05,290   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-06T23:42:05,290   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-06T23:42:05,291   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-06T23:42:05,292   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-06T23:42:05,292   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-06T23:42:05,293   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-06T23:42:05,294   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-06T23:42:05,294   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-06T23:42:05,295   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-06T23:42:05,296   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/73/9b/f1b278b874661e11af32ce76817e05068d533bd93a00731ccde58290f214/certora_cli_alpha_master-20260306.0.25.424864-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,297   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/51/3d/b4e57f39c33dc9d37aaa29c5a6b08bb3049d4f8c6fe2500c7133db0d277d/certora_cli_alpha_master-20260306.0.25.424864-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,297   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/7c/2a/3996521e1a4b696068830114e3c6c2cb704a548959c6c0fc0722ef7502d6/certora_cli_alpha_master-20260306.0.25.424864-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,298   Found link https://files.pythonhosted.org/packages/6f/75/9fd5e4b6c7e81e5091d5e319752b7ebb5a27a43dc4d3feb4a03a744882d8/certora_cli_alpha_master-20260306.0.25.424864.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260306.0.25.424864
2026-03-06T23:42:05,299   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b3/db/7749d0315f5fa6420d342f1ab1ca4a2da51c53ed925a75feaae945cf6fb1/certora_cli_alpha_master-20260306.1.14.852863-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,299   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/27/4f/5cf9bb8f5930385c70b6401d22173c32b434fa9cec016549a6f38eed8a79/certora_cli_alpha_master-20260306.1.14.852863-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,300   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/21/0c/6c6d4c8ea4a584eeab99c5120e34505e714237eb1d05d58e837a07b4a15c/certora_cli_alpha_master-20260306.1.14.852863-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,301   Found link https://files.pythonhosted.org/packages/a2/9d/ee76774a1a92afe18ace6c6c1a2663d23582ccefafed8b9e8bff0862f0a1/certora_cli_alpha_master-20260306.1.14.852863.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260306.1.14.852863
2026-03-06T23:42:05,302   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/df/99/cdefef033a908d58f6fa081b078a670ea0d5f94eb78cfed3c9ca860a0869/certora_cli_alpha_master-20260306.10.3.902804-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,302   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/46/8d/79664af1e034f17d2f308fa7ce9c10fa19ff2892e384cceac625e0fd6526/certora_cli_alpha_master-20260306.10.3.902804-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,303   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/25/a8/cb2e8e33a95f5b55c60512ba52bf2a7eecc63d304fb29f80db861b74cba3/certora_cli_alpha_master-20260306.10.3.902804-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,304   Found link https://files.pythonhosted.org/packages/11/1b/8a5a48253b703bb3c656e81b9777e347fbdb5953ea7d90f822f0defeb507/certora_cli_alpha_master-20260306.10.3.902804.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260306.10.3.902804
2026-03-06T23:42:05,305   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/da/be/44b3898572e74a31860fa59f7c2243aeecc55c56c262d1e541e765546021/certora_cli_alpha_master-20260306.23.4.779861-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,305   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/09/2f/1559eb51d5ca04d9a230990a52afec26b8a92fb857478ec9ee3c8632714e/certora_cli_alpha_master-20260306.23.4.779861-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,306   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2b/e7/5b2cbee2dd5a1c483a43cae9f1c13d0468986032cc3b8b3675ed9ac6710b/certora_cli_alpha_master-20260306.23.4.779861-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,307   Found link https://files.pythonhosted.org/packages/69/a3/37c42cc6c4b0effdbe2d5c4b868aefc12cfff11646f28af865d524761c95/certora_cli_alpha_master-20260306.23.4.779861.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260306.23.4.779861
2026-03-06T23:42:05,308 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/
2026-03-06T23:42:05,308 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/
2026-03-06T23:42:05,310 Found index url https://www.piwheels.org/simple
2026-03-06T23:42:05,651 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html
2026-03-06T23:42:05,665   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260306.10.3.902804-py3-none-any.whl#sha256=62b825b87094eeeba9741eb084d0b5ba25a7b0ca662486747af9781c73ddcb44 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,666   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260306.1.14.852863-py3-none-any.whl#sha256=38044cd8674156ff1a5618fe7f3cdd883b8ca30d0fc061e8396891237782b45a (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,667   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260306.0.25.424864-py3-none-any.whl#sha256=741fde5546b4f385b856dce69e6e7700f99958565821eea633c4c5e1a425dbb7 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,667   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260304.17.31.426288-py3-none-any.whl#sha256=4de18c7ce0c5f34a5d79c5f1915fd0357e261122c0c4d81d1897097ae4c38fff (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,668   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260304.11.6.875707-py3-none-any.whl#sha256=2655b9fc5cf7390f26c7bf88a68f581cea93dde69f81c203b229804fca88111c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,669   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260304.10.19.497613-py3-none-any.whl#sha256=cfa3fbc636d4b41d3866fb326913c2534e4f44211182197dc23c85efc0c09d30 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,669   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260304.9.31.509394-py3-none-any.whl#sha256=c47bc877b8abc599616d54762f262954a362fecb4939cb1f6eafd19bb863adff (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,670   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260304.8.40.405033-py3-none-any.whl#sha256=da10cdce442944feee00ec945a58d8e2755a5b5ae443a7e6928f143f3fbb60b2 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,671   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260303.18.1.360942-py3-none-any.whl#sha256=5f7eceb3bef4ad77bac2efba571c86b0ab23ee5dbd243c6a0214752c0c99540b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,671   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260303.16.30.59732-py3-none-any.whl#sha256=fce323daf76530ca46db07b16f3478cb70230c9af135b0fedc2ba1f084739856 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,672   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260303.15.42.477822-py3-none-any.whl#sha256=57d4f95ff0dc3a1541780097a5a0c34444979e3b70ba52ce6078d2f09cbe615c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2026-03-06T23:42:05,672   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-06T23:42:05,672   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-06T23:42:05,673   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-06T23:42:05,674   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-06T23:42:05,674   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-06T23:42:05,675   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-06T23:42:05,675   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-06T23:42:05,676   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-06T23:42:05,677   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-06T23:42:05,677   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-06T23:42:05,677   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-06T23:42:05,678   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-06T23:42:05,678   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-06T23:42:05,679   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-06T23:42:05,679   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-06T23:42:05,680   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-06T23:42:05,680   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-06T23:42:05,681   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-06T23:42:05,681   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-06T23:42:05,682   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-06T23:42:05,683   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-06T23:42:05,683   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-06T23:42:05,683   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-06T23:42:05,684   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-06T23:42:05,684   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-06T23:42:05,685   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-06T23:42:05,685   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-06T23:42:05,686   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-06T23:42:05,686   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-06T23:42:05,687   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-06T23:42:05,688   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-06T23:42:05,688   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-06T23:42:05,689   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-06T23:42:05,689   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-06T23:42:05,689   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-06T23:42:05,690   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-06T23:42:05,690   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-06T23:42:05,691   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-06T23:42:05,692 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/
2026-03-06T23:42:05,692 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/
2026-03-06T23:42:05,719 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates
2026-03-06T23:42:05,739 Collecting certora-cli-alpha-master==20260306.23.4.779861
2026-03-06T23:42:05,741   Created temporary directory: /tmp/pip-unpack-ml_j_oih
2026-03-06T23:42:05,953   Downloading certora_cli_alpha_master-20260306.23.4.779861.tar.gz (42.9 MB)
2026-03-06T23:42:13,488   Added certora-cli-alpha-master==20260306.23.4.779861 from https://files.pythonhosted.org/packages/69/a3/37c42cc6c4b0effdbe2d5c4b868aefc12cfff11646f28af865d524761c95/certora_cli_alpha_master-20260306.23.4.779861.tar.gz to build tracker '/tmp/pip-build-tracker-0q5x51d4'
2026-03-06T23:42:13,489   Running setup.py (path:/tmp/pip-wheel-4kebgdqx/certora-cli-alpha-master_f9c878a5c01641aaa145e635040a2f77/setup.py) egg_info for package certora-cli-alpha-master
2026-03-06T23:42:13,490   Created temporary directory: /tmp/pip-pip-egg-info-tom3t4eb
2026-03-06T23:42:13,491   Preparing metadata (setup.py): started
2026-03-06T23:42:13,492   Running command python setup.py egg_info
2026-03-06T23:42:14,357   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-03-06T23:42:14,357   !!

2026-03-06T23:42:14,358           ********************************************************************************
2026-03-06T23:42:14,358           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-03-06T23:42:14,359           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2026-03-06T23:42:14,360           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-03-06T23:42:14,361           ********************************************************************************

2026-03-06T23:42:14,362   !!
2026-03-06T23:42:14,362     self._finalize_license_expression()
2026-03-06T23:42:14,387   running egg_info
2026-03-06T23:42:14,415   creating /tmp/pip-pip-egg-info-tom3t4eb/certora_cli_alpha_master.egg-info
2026-03-06T23:42:14,416   writing /tmp/pip-pip-egg-info-tom3t4eb/certora_cli_alpha_master.egg-info/PKG-INFO
2026-03-06T23:42:14,420   writing dependency_links to /tmp/pip-pip-egg-info-tom3t4eb/certora_cli_alpha_master.egg-info/dependency_links.txt
2026-03-06T23:42:14,421   writing entry points to /tmp/pip-pip-egg-info-tom3t4eb/certora_cli_alpha_master.egg-info/entry_points.txt
2026-03-06T23:42:14,423   writing requirements to /tmp/pip-pip-egg-info-tom3t4eb/certora_cli_alpha_master.egg-info/requires.txt
2026-03-06T23:42:14,424   writing top-level names to /tmp/pip-pip-egg-info-tom3t4eb/certora_cli_alpha_master.egg-info/top_level.txt
2026-03-06T23:42:14,426   writing manifest file '/tmp/pip-pip-egg-info-tom3t4eb/certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-03-06T23:42:14,523   reading manifest file '/tmp/pip-pip-egg-info-tom3t4eb/certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-03-06T23:42:14,524   reading manifest template 'MANIFEST.in'
2026-03-06T23:42:14,767   warning: no files found matching 'gambit' under directory 'certora_bins'
2026-03-06T23:42:14,870   adding license file 'LICENSE'
2026-03-06T23:42:14,875   writing manifest file '/tmp/pip-pip-egg-info-tom3t4eb/certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-03-06T23:42:14,982   Preparing metadata (setup.py): finished with status 'done'
2026-03-06T23:42:14,986   Source in /tmp/pip-wheel-4kebgdqx/certora-cli-alpha-master_f9c878a5c01641aaa145e635040a2f77 has version 20260306.23.4.779861, which satisfies requirement certora-cli-alpha-master==20260306.23.4.779861 from https://files.pythonhosted.org/packages/69/a3/37c42cc6c4b0effdbe2d5c4b868aefc12cfff11646f28af865d524761c95/certora_cli_alpha_master-20260306.23.4.779861.tar.gz
2026-03-06T23:42:14,987   Removed certora-cli-alpha-master==20260306.23.4.779861 from https://files.pythonhosted.org/packages/69/a3/37c42cc6c4b0effdbe2d5c4b868aefc12cfff11646f28af865d524761c95/certora_cli_alpha_master-20260306.23.4.779861.tar.gz from build tracker '/tmp/pip-build-tracker-0q5x51d4'
2026-03-06T23:42:14,993 Created temporary directory: /tmp/pip-unpack-nrulpfq5
2026-03-06T23:42:14,994 Building wheels for collected packages: certora-cli-alpha-master
2026-03-06T23:42:14,998   Created temporary directory: /tmp/pip-wheel-8_2nlnnz
2026-03-06T23:42:14,998   Building wheel for certora-cli-alpha-master (setup.py): started
2026-03-06T23:42:15,000   Destination directory: /tmp/pip-wheel-8_2nlnnz
2026-03-06T23:42:15,000   Running command python setup.py bdist_wheel
2026-03-06T23:42:15,834   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-03-06T23:42:15,835   !!

2026-03-06T23:42:15,836           ********************************************************************************
2026-03-06T23:42:15,836           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-03-06T23:42:15,837           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2026-03-06T23:42:15,838           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-03-06T23:42:15,838           ********************************************************************************

2026-03-06T23:42:15,839   !!
2026-03-06T23:42:15,839     self._finalize_license_expression()
2026-03-06T23:42:15,840   running bdist_wheel
2026-03-06T23:42:15,966   running build
2026-03-06T23:42:15,967   running build_py
2026-03-06T23:42:15,999   creating build/lib/certora_cli
2026-03-06T23:42:16,001   copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli
2026-03-06T23:42:16,003   copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli
2026-03-06T23:42:16,005   copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli
2026-03-06T23:42:16,007   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2026-03-06T23:42:16,008   copying certora_cli/__init__.py -> build/lib/certora_cli
2026-03-06T23:42:16,010   copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli
2026-03-06T23:42:16,012   copying certora_cli/rustMutator.py -> build/lib/certora_cli
2026-03-06T23:42:16,014   copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli
2026-03-06T23:42:16,016   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2026-03-06T23:42:16,018   copying certora_cli/certoraRanger.py -> build/lib/certora_cli
2026-03-06T23:42:16,019   copying certora_cli/certoraConcord.py -> build/lib/certora_cli
2026-03-06T23:42:16,021   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2026-03-06T23:42:16,024   creating build/lib/certora_bins
2026-03-06T23:42:16,025   copying certora_bins/__init__.py -> build/lib/certora_bins
2026-03-06T23:42:16,027   creating build/lib/certora_jars
2026-03-06T23:42:16,028   copying certora_jars/__init__.py -> build/lib/certora_jars
2026-03-06T23:42:16,030   creating build/lib/certora_cli/Mutate
2026-03-06T23:42:16,031   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2026-03-06T23:42:16,033   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2026-03-06T23:42:16,035   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2026-03-06T23:42:16,037   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2026-03-06T23:42:16,039   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2026-03-06T23:42:16,041   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2026-03-06T23:42:16,045   creating build/lib/certora_cli/EquivalenceCheck
2026-03-06T23:42:16,045   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2026-03-06T23:42:16,048   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2026-03-06T23:42:16,050   creating build/lib/certora_cli/Shared
2026-03-06T23:42:16,051   copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared
2026-03-06T23:42:16,053   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2026-03-06T23:42:16,056   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2026-03-06T23:42:16,059   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2026-03-06T23:42:16,062   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2026-03-06T23:42:16,064   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2026-03-06T23:42:16,066   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2026-03-06T23:42:16,070   creating build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,070   copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,073   copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,075   copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,077   copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,079   copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,081   copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,083   copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,085   copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,091   copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,093   copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,096   copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,098   copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,100   copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,102   copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,104   copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,106   copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,108   copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,109   copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,112   copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,113   copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,116   copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,118   copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,121   copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,123   copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,126   copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,127   copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,131   copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,133   copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,135   copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,138   copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,140   copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,143   copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver
2026-03-06T23:42:16,146   creating build/lib/certora_cli/CertoraProver/Compiler
2026-03-06T23:42:16,147   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-06T23:42:16,149   copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-06T23:42:16,152   copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-06T23:42:16,154   copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-06T23:42:16,156   copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-06T23:42:16,158   copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-06T23:42:16,160   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-03-06T23:42:16,161   running egg_info
2026-03-06T23:42:16,189   writing certora_cli_alpha_master.egg-info/PKG-INFO
2026-03-06T23:42:16,191   writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt
2026-03-06T23:42:16,193   writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt
2026-03-06T23:42:16,195   writing requirements to certora_cli_alpha_master.egg-info/requires.txt
2026-03-06T23:42:16,196   writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt
2026-03-06T23:42:16,233   reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-03-06T23:42:16,239   reading manifest template 'MANIFEST.in'
2026-03-06T23:42:16,243   warning: no files found matching 'gambit' under directory 'certora_bins'
2026-03-06T23:42:16,343   adding license file 'LICENSE'
2026-03-06T23:42:16,349   writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2026-03-06T23:42:16,356   copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars
2026-03-06T23:42:16,699   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2026-03-06T23:42:16,701   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2026-03-06T23:42:17,046   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2026-03-06T23:42:17,048   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-03-06T23:42:17,051   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-03-06T23:42:17,053   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2026-03-06T23:42:17,055   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-03-06T23:42:17,057   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2026-03-06T23:42:17,090   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2026-03-06T23:42:17,091   !!

2026-03-06T23:42:17,092           ********************************************************************************
2026-03-06T23:42:17,092           Please avoid running ``setup.py`` directly.
2026-03-06T23:42:17,093           Instead, use pypa/build, pypa/installer or other
2026-03-06T23:42:17,093           standards-based tools.

2026-03-06T23:42:17,094           This deprecation is overdue, please update your project and remove deprecated
2026-03-06T23:42:17,095           calls to avoid build errors in the future.

2026-03-06T23:42:17,096           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2026-03-06T23:42:17,097           ********************************************************************************

2026-03-06T23:42:17,098   !!
2026-03-06T23:42:17,098     self.initialize_options()
2026-03-06T23:42:17,120   installing to build/bdist.linux-armv7l/wheel
2026-03-06T23:42:17,121   running install
2026-03-06T23:42:17,145   running install_lib
2026-03-06T23:42:17,171   creating build/bdist.linux-armv7l/wheel
2026-03-06T23:42:17,173   creating build/bdist.linux-armv7l/wheel/certora_cli
2026-03-06T23:42:17,174   copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-06T23:42:17,176   copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-06T23:42:17,178   copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-06T23:42:17,180   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-06T23:42:17,182   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2026-03-06T23:42:17,183   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-03-06T23:42:17,185   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-03-06T23:42:17,187   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-03-06T23:42:17,189   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-03-06T23:42:17,191   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-03-06T23:42:17,193   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-03-06T23:42:17,198   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2026-03-06T23:42:17,199   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-06T23:42:17,201   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-06T23:42:17,203   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-06T23:42:17,205   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-06T23:42:17,208   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-06T23:42:17,209   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-06T23:42:17,211   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-06T23:42:17,213   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-03-06T23:42:17,215   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-06T23:42:17,217   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2026-03-06T23:42:17,218   copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-06T23:42:17,220   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-06T23:42:17,223   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-06T23:42:17,226   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-06T23:42:17,229   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-06T23:42:17,231   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-06T23:42:17,234   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-03-06T23:42:17,237   copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-06T23:42:17,240   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver
2026-03-06T23:42:17,241   copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,242   copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,245   copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,247   copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,249   copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,252   copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,254   copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,256   copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,262   copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,265   copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,267   copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,270   copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,272   copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,274   copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,276   copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,279   copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,280   copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,283   copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,285   copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,287   copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,290   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler
2026-03-06T23:42:17,291   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-06T23:42:17,293   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-06T23:42:17,296   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-06T23:42:17,299   copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-06T23:42:17,301   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-06T23:42:17,303   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-06T23:42:17,305   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-03-06T23:42:17,307   copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,309   copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,312   copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,314   copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,317   copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,318   copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,322   copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,323   copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,326   copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,329   copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,331   copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,334   copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-03-06T23:42:17,336   copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-06T23:42:17,339   copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-06T23:42:17,340   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-06T23:42:17,342   copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-06T23:42:17,344   copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-06T23:42:17,346   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-03-06T23:42:17,348   creating build/bdist.linux-armv7l/wheel/certora_bins
2026-03-06T23:42:17,349   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2026-03-06T23:42:17,351   creating build/bdist.linux-armv7l/wheel/certora_jars
2026-03-06T23:42:17,352   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-03-06T23:42:17,354   copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-03-06T23:42:17,910   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-03-06T23:42:18,609   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-03-06T23:42:18,611   running install_egg_info
2026-03-06T23:42:18,648   Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20260306.23.4.779861-py3.11.egg-info
2026-03-06T23:42:18,659   running install_scripts
2026-03-06T23:42:18,671   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20260306.23.4.779861.dist-info/WHEEL
2026-03-06T23:42:18,673   creating '/tmp/pip-wheel-8_2nlnnz/certora_cli_alpha_master-20260306.23.4.779861-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2026-03-06T23:42:18,675   adding 'certora_bins/__init__.py'
2026-03-06T23:42:18,677   adding 'certora_cli/__init__.py'
2026-03-06T23:42:18,678   adding 'certora_cli/certoraCVLFormatter.py'
2026-03-06T23:42:18,680   adding 'certora_cli/certoraConcord.py'
2026-03-06T23:42:18,681   adding 'certora_cli/certoraEVMProver.py'
2026-03-06T23:42:18,682   adding 'certora_cli/certoraEqCheck.py'
2026-03-06T23:42:18,684   adding 'certora_cli/certoraMutate.py'
2026-03-06T23:42:18,685   adding 'certora_cli/certoraRanger.py'
2026-03-06T23:42:18,687   adding 'certora_cli/certoraRun.py'
2026-03-06T23:42:18,688   adding 'certora_cli/certoraSolanaProver.py'
2026-03-06T23:42:18,690   adding 'certora_cli/certoraSorobanProver.py'
2026-03-06T23:42:18,691   adding 'certora_cli/certoraSuiProver.py'
2026-03-06T23:42:18,693   adding 'certora_cli/rustMutator.py'
2026-03-06T23:42:18,695   adding 'certora_cli/CertoraProver/__init__.py'
2026-03-06T23:42:18,698   adding 'certora_cli/CertoraProver/castingInstrumenter.py'
2026-03-06T23:42:18,699   adding 'certora_cli/CertoraProver/certoraApp.py'
2026-03-06T23:42:18,727   adding 'certora_cli/CertoraProver/certoraBuild.py'
2026-03-06T23:42:18,730   adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py'
2026-03-06T23:42:18,732   adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py'
2026-03-06T23:42:18,734   adding 'certora_cli/CertoraProver/certoraBuildRust.py'
2026-03-06T23:42:18,736   adding 'certora_cli/CertoraProver/certoraBuildSui.py'
2026-03-06T23:42:18,742   adding 'certora_cli/CertoraProver/certoraCloudIO.py'
2026-03-06T23:42:18,745   adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py'
2026-03-06T23:42:18,747   adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py'
2026-03-06T23:42:18,748   adding 'certora_cli/CertoraProver/certoraCompilerParameters.py'
2026-03-06T23:42:18,750   adding 'certora_cli/CertoraProver/certoraConfigIO.py'
2026-03-06T23:42:18,754   adding 'certora_cli/CertoraProver/certoraContext.py'
2026-03-06T23:42:18,760   adding 'certora_cli/CertoraProver/certoraContextAttributes.py'
2026-03-06T23:42:18,761   adding 'certora_cli/CertoraProver/certoraContextClass.py'
2026-03-06T23:42:18,768   adding 'certora_cli/CertoraProver/certoraContextValidator.py'
2026-03-06T23:42:18,769   adding 'certora_cli/CertoraProver/certoraContractFuncs.py'
2026-03-06T23:42:18,771   adding 'certora_cli/CertoraProver/certoraExtensionInfo.py'
2026-03-06T23:42:18,773   adding 'certora_cli/CertoraProver/certoraJobList.py'
2026-03-06T23:42:18,775   adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py'
2026-03-06T23:42:18,776   adding 'certora_cli/CertoraProver/certoraNodeFilters.py'
2026-03-06T23:42:18,778   adding 'certora_cli/CertoraProver/certoraOffsetConverter.py'
2026-03-06T23:42:18,779   adding 'certora_cli/CertoraProver/certoraParseBuildScript.py'
2026-03-06T23:42:18,781   adding 'certora_cli/CertoraProver/certoraProjectScanner.py'
2026-03-06T23:42:18,783   adding 'certora_cli/CertoraProver/certoraSourceFinders.py'
2026-03-06T23:42:18,787   adding 'certora_cli/CertoraProver/certoraType.py'
2026-03-06T23:42:18,789   adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py'
2026-03-06T23:42:18,790   adding 'certora_cli/CertoraProver/erc7201.py'
2026-03-06T23:42:18,792   adding 'certora_cli/CertoraProver/splitRules.py'
2026-03-06T23:42:18,795   adding 'certora_cli/CertoraProver/storageExtension.py'
2026-03-06T23:42:18,797   adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py'
2026-03-06T23:42:18,799   adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py'
2026-03-06T23:42:18,801   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py'
2026-03-06T23:42:18,802   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py'
2026-03-06T23:42:18,804   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py'
2026-03-06T23:42:18,812   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py'
2026-03-06T23:42:18,814   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py'
2026-03-06T23:42:18,815   adding 'certora_cli/CertoraProver/Compiler/__init__.py'
2026-03-06T23:42:18,817   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2026-03-06T23:42:18,818   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2026-03-06T23:42:18,819   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2026-03-06T23:42:18,820   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2026-03-06T23:42:18,822   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2026-03-06T23:42:18,823   adding 'certora_cli/EquivalenceCheck/__init__.py'
2026-03-06T23:42:18,825   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2026-03-06T23:42:18,827   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2026-03-06T23:42:18,829   adding 'certora_cli/Mutate/__init__.py'
2026-03-06T23:42:18,839   adding 'certora_cli/Mutate/mutateApp.py'
2026-03-06T23:42:18,841   adding 'certora_cli/Mutate/mutateAttributes.py'
2026-03-06T23:42:18,843   adding 'certora_cli/Mutate/mutateConstants.py'
2026-03-06T23:42:18,844   adding 'certora_cli/Mutate/mutateUtil.py'
2026-03-06T23:42:18,846   adding 'certora_cli/Mutate/mutateValidate.py'
2026-03-06T23:42:18,849   adding 'certora_cli/Shared/ExpectedComparator.py'
2026-03-06T23:42:18,850   adding 'certora_cli/Shared/__init__.py'
2026-03-06T23:42:18,852   adding 'certora_cli/Shared/certoraAttrUtil.py'
2026-03-06T23:42:18,854   adding 'certora_cli/Shared/certoraLogging.py'
2026-03-06T23:42:18,862   adding 'certora_cli/Shared/certoraUtils.py'
2026-03-06T23:42:18,868   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2026-03-06T23:42:18,870   adding 'certora_cli/Shared/proverCommon.py'
2026-03-06T23:42:18,873   adding 'certora_cli_alpha_master-20260306.23.4.779861.dist-info/licenses/LICENSE'
2026-03-06T23:42:21,440   adding 'certora_jars/ASTExtraction.jar'
2026-03-06T23:42:21,584   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2026-03-06T23:42:24,147   adding 'certora_jars/Typechecker.jar'
2026-03-06T23:42:24,290   adding 'certora_jars/__init__.py'
2026-03-06T23:42:24,291   adding 'certora_cli_alpha_master-20260306.23.4.779861.dist-info/METADATA'
2026-03-06T23:42:24,292   adding 'certora_cli_alpha_master-20260306.23.4.779861.dist-info/WHEEL'
2026-03-06T23:42:24,293   adding 'certora_cli_alpha_master-20260306.23.4.779861.dist-info/entry_points.txt'
2026-03-06T23:42:24,294   adding 'certora_cli_alpha_master-20260306.23.4.779861.dist-info/top_level.txt'
2026-03-06T23:42:24,296   adding 'certora_cli_alpha_master-20260306.23.4.779861.dist-info/RECORD'
2026-03-06T23:42:24,749   removing build/bdist.linux-armv7l/wheel
2026-03-06T23:42:24,896   Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done'
2026-03-06T23:42:25,907   Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20260306.23.4.779861-py3-none-any.whl size=43003654 sha256=bbb5721c314f98b7be7308dca251061ca8bd6efbf7813c040ee85e680e1ade2c
2026-03-06T23:42:25,908   Stored in directory: /tmp/pip-ephem-wheel-cache-687r2avi/wheels/65/de/36/0f499e13f22d14945854a33f6dd5fd212f01b7b60837c45c99
2026-03-06T23:42:29,491 Successfully built certora-cli-alpha-master
2026-03-06T23:42:30,487 Removed build tracker: '/tmp/pip-build-tracker-0q5x51d4'