2025-09-12T15:07:25,103 Created temporary directory: /tmp/pip-build-tracker-2828topp
2025-09-12T15:07:25,103 Initialized build tracking at /tmp/pip-build-tracker-2828topp
2025-09-12T15:07:25,103 Created build tracker: /tmp/pip-build-tracker-2828topp
2025-09-12T15:07:25,104 Entered build tracker: /tmp/pip-build-tracker-2828topp
2025-09-12T15:07:25,104 Created temporary directory: /tmp/pip-wheel-redm0gal
2025-09-12T15:07:25,107 Created temporary directory: /tmp/pip-ephem-wheel-cache-kqr2bwxt
2025-09-12T15:07:25,162 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-09-12T15:07:25,164 2 location(s) to search for versions of certora-cli-alpha-jtoman-try-catch:
2025-09-12T15:07:25,164 * https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/
2025-09-12T15:07:25,164 * https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/
2025-09-12T15:07:25,165 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/
2025-09-12T15:07:25,165 Getting page https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/
2025-09-12T15:07:25,166 Found index url https://pypi.org/simple/
2025-09-12T15:07:25,316 Fetched page https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/ as application/vnd.pypi.simple.v1+json
2025-09-12T15:07:25,328   Found link https://files.pythonhosted.org/packages/12/ee/4cb6e7ddd5668402a1c7f602ce678e1a1a21c49ca2255c43ef9c72998753/certora-cli-alpha-jtoman-try-catch-20230510.20.59.361934.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230510.20.59.361934
2025-09-12T15:07:25,329   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/17/4f/cf225b2c8144eacb203004fa8a8cf2bc073cae76bce1ff0642a1e6cdd49c/certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,329   Found link https://files.pythonhosted.org/packages/c5/9b/f328f0deea2baa1c1c08025dc2da8c863e155235e3f44fc53c072921dc5f/certora-cli-alpha-jtoman-try-catch-20230510.22.42.113214.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230510.22.42.113214
2025-09-12T15:07:25,330   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/3b/7d/0a13173150d7f002c9c9ec34ca7c699cbd3f6d629555ce1179c587a350bd/certora_cli_alpha_jtoman_try_catch-20230510.22.42.113214-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,330   Found link https://files.pythonhosted.org/packages/f2/25/21945ada43578df2f772d0d36155a3a5a39305c14ad07159af47a5f48bd9/certora-cli-alpha-jtoman-try-catch-20230510.23.31.519293.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230510.23.31.519293
2025-09-12T15:07:25,330   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/0c/0a/2a3f4d89e638bf90f2f0c72b319af71fd011c1087a5664b40b78ff3dafd8/certora_cli_alpha_jtoman_try_catch-20230510.23.31.519293-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,331   Found link https://files.pythonhosted.org/packages/55/f1/cfe1e6e589ec57f284b8ed14feaf5b84d570ee6bb7d69fab28e73a698ecd/certora-cli-alpha-jtoman-try-catch-20230511.3.6.551125.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230511.3.6.551125
2025-09-12T15:07:25,331   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/cc/56/347b3424cd23ffbce5214649c8ceb9df25e62555a5a14f33d138599684b8/certora_cli_alpha_jtoman_try_catch-20230511.3.6.551125-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,331   Found link https://files.pythonhosted.org/packages/e5/01/0bb9d07b64f3a6abbb7329978c0a9ce25b9db391d2020743889c819831f7/certora-cli-alpha-jtoman-try-catch-20230511.7.14.551287.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230511.7.14.551287
2025-09-12T15:07:25,332   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/5a/3f/76168ec37b80c3cf4ad9d3ff6da51d1f7cb0be3f370a24fa397526995007/certora_cli_alpha_jtoman_try_catch-20230511.7.14.551287-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,332   Found link https://files.pythonhosted.org/packages/1c/3d/01ad93b6c045cba479988b5f520c49ce82bddf507a3a71457d10e4fd1d50/certora-cli-alpha-jtoman-try-catch-20230511.16.8.395223.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230511.16.8.395223
2025-09-12T15:07:25,332   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/e5/8d/482696135bee2217a8674042ed1c642acbb035b32d03d4458106d1c5bf4e/certora_cli_alpha_jtoman_try_catch-20230511.16.8.395223-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,333   Found link https://files.pythonhosted.org/packages/c4/dc/9c7f3897f02c7df928132c182097f10b0d05d221ea6afcd25e24abc2de6c/certora-cli-alpha-jtoman-try-catch-20230511.17.50.106489.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230511.17.50.106489
2025-09-12T15:07:25,333   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/bf/17/621cec230f4cf41262657dbb03ff707b1d3125274b0aa0ec9f93b93d3dfc/certora_cli_alpha_jtoman_try_catch-20230511.17.50.106489-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,333   Found link https://files.pythonhosted.org/packages/04/24/fa830ea0fc9481c2966367bdb4c9471207571671738ccc9e94957e2ea4bf/certora-cli-alpha-jtoman-try-catch-20230511.18.38.630561.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230511.18.38.630561
2025-09-12T15:07:25,333   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/19/2d/6bab1f047105aab22f223fc864fd790c23e0dd17e49cc4489aa764714cdd/certora_cli_alpha_jtoman_try_catch-20230511.18.38.630561-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,334   Found link https://files.pythonhosted.org/packages/85/2b/be45c2f685fcf18935d17d167d997acd5eb9150c33f7512533a49dc3421c/certora-cli-alpha-jtoman-try-catch-20230511.19.24.525411.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230511.19.24.525411
2025-09-12T15:07:25,334   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/ca/35/004cc8dd9da71bfb47840583d02a5d5682fda1af1603a664e08b99a94e38/certora_cli_alpha_jtoman_try_catch-20230511.19.24.525411-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,334   Found link https://files.pythonhosted.org/packages/2f/e7/e7fced32071c87a61e95a99e8920f0f486b1426cec898d8b8dffb8585c36/certora-cli-alpha-jtoman-try-catch-20230512.9.39.729450.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230512.9.39.729450
2025-09-12T15:07:25,334   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/fc/cc/bfc61c0f16b08b9f432cc6c44d10900dd85d4350f96a9454c63ecc249fea/certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,334   Found link https://files.pythonhosted.org/packages/44/14/da9a696b29c9df9e7045550a5343cf4545662b6b662568eb97ed1ab94834/certora-cli-alpha-jtoman-try-catch-20230512.20.44.92474.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230512.20.44.92474
2025-09-12T15:07:25,335   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/54/03/7b99337d9d2ffd0aee7240ef631f6a3b23afc4a0e06f9a2e410cd906a818/certora_cli_alpha_jtoman_try_catch-20230512.20.44.92474-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,335   Found link https://files.pythonhosted.org/packages/69/07/76204fd49cd854b7c8b5377bec68ea9bc5ee9b174f89ec57e240d64eb7b2/certora-cli-alpha-jtoman-try-catch-20230514.9.42.407.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230514.9.42.407
2025-09-12T15:07:25,335   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/ad/3b/cfdf7bcde32516d25eb4ca3670d7e0eb90a65bd72f014b0a0eb980f2b1a0/certora_cli_alpha_jtoman_try_catch-20230514.9.42.407-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,335   Found link https://files.pythonhosted.org/packages/4c/5d/9eec18f04995d5d7289d297880e2ab5098e0d6872829544573fe2ccfc143/certora-cli-alpha-jtoman-try-catch-20230514.10.50.40584.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230514.10.50.40584
2025-09-12T15:07:25,335   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/38/80/9bb6c80bf338c8c51cc43378852d48beb4a83c59ffcf363c8fb08272d717/certora_cli_alpha_jtoman_try_catch-20230514.10.50.40584-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,336   Found link https://files.pythonhosted.org/packages/33/47/9d5565fa104699de762bd594e38a0eec3127b7c8692fcb8383f38214d190/certora-cli-alpha-jtoman-try-catch-20230514.11.35.517833.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230514.11.35.517833
2025-09-12T15:07:25,336   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/98/b0/a764a0e7abdf55f19bb2f536588ece4e28f947239b9c9615a0e0332e26f3/certora_cli_alpha_jtoman_try_catch-20230514.11.35.517833-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,336   Found link https://files.pythonhosted.org/packages/d1/64/519be2676ef5582edf2d6934a5fdd5ce7f283287be277e5bc787ca9c3bbf/certora-cli-alpha-jtoman-try-catch-20230514.21.17.700542.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230514.21.17.700542
2025-09-12T15:07:25,336   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/18/bc/c9fbcfce4817dfe5b37a7d2f03ee1707d66754bf7677831829fff4b3777f/certora_cli_alpha_jtoman_try_catch-20230514.21.17.700542-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,337   Found link https://files.pythonhosted.org/packages/3b/1e/1f844512374d993c6c74573e6479c1b6f68464c7f096f3ba1e7aca9fc986/certora-cli-alpha-jtoman-try-catch-20230514.22.1.862189.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230514.22.1.862189
2025-09-12T15:07:25,337   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/46/22/67e659927e2e1f5d4a2fa770a86bc2a08d61554a90226bdabc8ec572b8e0/certora_cli_alpha_jtoman_try_catch-20230514.22.1.862189-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,337   Found link https://files.pythonhosted.org/packages/fa/3d/4489582c401458a390185a19514c05ec2133fdfb489413232a56cb6b359f/certora-cli-alpha-jtoman-try-catch-20230515.7.35.204379.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230515.7.35.204379
2025-09-12T15:07:25,337   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/8c/15/86a82ceab9bd61b86c8c48f34c3cc08fc98fbfbc9263a7758d0bfbce3805/certora_cli_alpha_jtoman_try_catch-20230515.7.35.204379-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,337   Found link https://files.pythonhosted.org/packages/e3/28/a423fabd542019b0eedf821af75dd341cd321309f0ec965787e85b604b95/certora-cli-alpha-jtoman-try-catch-20230515.8.30.284279.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230515.8.30.284279
2025-09-12T15:07:25,338   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/b9/eb/c507fba51168fad1382ae6695a0aee499c93d281dd2071184fa30998f6f8/certora_cli_alpha_jtoman_try_catch-20230515.8.30.284279-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,338   Found link https://files.pythonhosted.org/packages/4d/67/7ce05d795a9c201556fb182f4bcdb8542e1258727185d8f5c8413670703c/certora-cli-alpha-jtoman-try-catch-20230515.9.28.17955.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230515.9.28.17955
2025-09-12T15:07:25,338   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/71/fc/b11b2165fc45a26282a1349b30aa7dd427fff912924ce63877acdca3756c/certora_cli_alpha_jtoman_try_catch-20230515.9.28.17955-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,338   Found link https://files.pythonhosted.org/packages/47/11/e371c7bea0c9909f3a4713e034899298e17d33bcab25f0c0f64972bcd98e/certora-cli-alpha-jtoman-try-catch-20230515.10.41.231201.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230515.10.41.231201
2025-09-12T15:07:25,338   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/eb/3d/6e502cc3cbbb81d64973648e46c0b18019bc7870446de8626515bfa4e40c/certora_cli_alpha_jtoman_try_catch-20230515.10.41.231201-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,339   Found link https://files.pythonhosted.org/packages/42/8c/baf586362716167556a4510caa42b495fa43e303c02dac933577b27789d7/certora-cli-alpha-jtoman-try-catch-20230515.11.22.229622.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230515.11.22.229622
2025-09-12T15:07:25,339   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/3e/90/ba590267ceff696de5870f9ed944a8bd4b8920bd94d47bc33e7688b7894f/certora_cli_alpha_jtoman_try_catch-20230515.11.22.229622-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,339   Found link https://files.pythonhosted.org/packages/71/a9/214ef381efc3e6d8249ea73699b5b8fef57c4189b4af78cc5b2736832f87/certora-cli-alpha-jtoman-try-catch-20230515.12.10.810887.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230515.12.10.810887
2025-09-12T15:07:25,339   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/65/d2/c5c7b4961334d605ed5f50e3b093bf46f95da6563554bb8dcda375729812/certora_cli_alpha_jtoman_try_catch-20230515.12.10.810887-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,340   Found link https://files.pythonhosted.org/packages/58/b6/df4fdac470c9059e2abe441de04b54d06e54221ea661438774c92da06517/certora-cli-alpha-jtoman-try-catch-20230515.13.22.338458.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230515.13.22.338458
2025-09-12T15:07:25,340   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/ea/92/7300e1be9cd02e3027532553636e3c3413d7ec10bc7575e981035dac8772/certora_cli_alpha_jtoman_try_catch-20230515.13.22.338458-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,340   Found link https://files.pythonhosted.org/packages/5e/d5/63d78b4b7e941217a7991c32989e8e164befc620fb33ef34e3fcebcc8cf1/certora-cli-alpha-jtoman-try-catch-20230515.14.7.814281.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230515.14.7.814281
2025-09-12T15:07:25,340   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/21/ea/ebb4fb975657f13aadbeec483ca0505e617df5d53c4ad98aa02e56bb7432/certora_cli_alpha_jtoman_try_catch-20230515.14.7.814281-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,341   Found link https://files.pythonhosted.org/packages/9e/30/a0e4291914a033fa9e4b98d0813dc494ad80adcf85c5ad2e0094093cb97f/certora-cli-alpha-jtoman-try-catch-20230515.15.52.82519.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230515.15.52.82519
2025-09-12T15:07:25,341   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/35/4d/c78838d63846e20416c120b40e602b76e07a6f1466f6db64ff49d4e06b9c/certora_cli_alpha_jtoman_try_catch-20230515.15.52.82519-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,341   Found link https://files.pythonhosted.org/packages/71/7f/279f75828bb1843a68ef0fef63462e5bc8aeb5cdd9dbfafa2e866b84b1b4/certora-cli-alpha-jtoman-try-catch-20230515.16.47.942035.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16), version: 20230515.16.47.942035
2025-09-12T15:07:25,341   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/17/2a/502661ad9df3e5f4009bd2411230e5e22eaa9b6c89871b1d52fe91c134c2/certora_cli_alpha_jtoman_try_catch-20230515.16.47.942035-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,342 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/
2025-09-12T15:07:25,342 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/
2025-09-12T15:07:25,343 Found index url https://www.piwheels.org/simple/
2025-09-12T15:07:25,439 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/ as text/html
2025-09-12T15:07:25,446   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230515.16.47.942035-py3-none-any.whl#sha256=47ad518fd67f39d932cc20f0d573da2acd81d44cf20e48967d95a0f3620d8c56 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,446   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230515.15.52.82519-py3-none-any.whl#sha256=703672e4d7fc26369cdc35570270810ab05ae971e692b7125729a296b7ae25c4 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,446   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230515.14.7.814281-py3-none-any.whl#sha256=9813b7a4a6ab2d57d5e1abd032118453be05083da87deea79fd8e93b96558c89 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,446   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230515.13.22.338458-py3-none-any.whl#sha256=29a9557ed84bd59e4ecf56714c5301cce016fb6789b7ca91aa5f20ceda929267 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,446   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230515.12.10.810887-py3-none-any.whl#sha256=4d9ca8cb3690324083b1ee542709abed6784c7506aa247a1ce96dbc657bb0a46 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,446   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230515.11.22.229622-py3-none-any.whl#sha256=c63901a8529fe264281d79ea5eeee2a88f9f8024cf91ef242e5cfea40f8b6dd8 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,447   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230515.10.41.231201-py3-none-any.whl#sha256=58de8cb936d2016425a464977d7cf5ea9d62944a20287a1a93f671833d8678f7 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,447   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230515.9.28.17955-py3-none-any.whl#sha256=8b15c70294b8d0399ae9aaf930292db3c81fcaa39c77f583e691a6af2ade1eff (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,447   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230515.8.30.284279-py3-none-any.whl#sha256=6fb9757357a60b3460933220c33a2d386b99bab6627bfb6d0e7517035c727861 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,447   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230515.7.35.204379-py3-none-any.whl#sha256=6aab599d5a1c62944020c633be620edceac123d35fe2ca633e73df704b215205 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,447   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230514.22.1.862189-py3-none-any.whl#sha256=6acbf023dc2ded9908e97a10e4f9ba07f7c55aa3c4364954fd65aef626356e06 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,447   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230514.21.17.700542-py3-none-any.whl#sha256=c7586a58a982bdaa53f42b6833183f03b96487604ec928d2857e307f642906fe (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,447   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230514.11.35.517833-py3-none-any.whl#sha256=39dda202a1f7b7ab747e6d0a984bfcb8cb18ffc7b19d51feda2a29fff274bd67 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,448   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230514.10.50.40584-py3-none-any.whl#sha256=fcd985f7af1ae5993fc67cce62b26effa2e1344b7b86c85b63d57b451187d702 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,448   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230514.9.42.407-py3-none-any.whl#sha256=9bcef214d2e7e7a5fc4dd0e69016f0f2516e79fc93f27dbdb56f8750c50bbb17 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,448   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450-py3-none-any.whl#sha256=7d9dff5b9e3c59b90fa78f33a55e0314e82f70c3acedaf8a76560a59db8e0955 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,448   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.19.24.525411-py3-none-any.whl#sha256=142890d867a4b9c6709537c6ead48a109fd8367a07d1d9074e40862de5e7e794 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,448   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.18.38.630561-py3-none-any.whl#sha256=68a77282907daa0614065fa8ced78114205fab51347dfc7692663a53e673c8cf (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,448   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.17.50.106489-py3-none-any.whl#sha256=8de8f4da3d8187126731f4c4fc8af9a5baebf6e766e82da97316a61607a68cfc (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,448   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.16.8.395223-py3-none-any.whl#sha256=58451e7b4067ed560dcc9fa9268624a0a3de9431435b2da7a64b43e206240111 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,448   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.7.14.551287-py3-none-any.whl#sha256=61eba3b2a3b3062238b75529f1b5d1aef0dccb3e34f9e47257b938f40978134c (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,449   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.3.6.551125-py3-none-any.whl#sha256=ebe660fa00b6d595b3ae90b79af3a7a8db11b0cf600a160b419dc33ab8afbd78 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,449   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230510.23.31.519293-py3-none-any.whl#sha256=7c0ec4f4aa2080f9390309a25b4947243beb81a4ac4baf3dbcea319b07c9a881 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,449   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230510.22.42.113214-py3-none-any.whl#sha256=5d8233b8353042c4b7b91c4f6ffc43042e74848c7abd1e93d9ac252464a7c483 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,449   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://archive1.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934-py3-none-any.whl#sha256=4165cf036be150757e618eace4aec689bf905e676e7df28bc983410aa2129b31 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16)
2025-09-12T15:07:25,449 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/
2025-09-12T15:07:25,449 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/
2025-09-12T15:07:25,480 Given no hashes to check 1 links for project 'certora-cli-alpha-jtoman-try-catch': discarding no candidates
2025-09-12T15:07:25,481 Collecting certora-cli-alpha-jtoman-try-catch==20230512.20.44.92474
2025-09-12T15:07:25,482   Created temporary directory: /tmp/pip-unpack-8rkjpk8o
2025-09-12T15:07:25,640   Downloading certora-cli-alpha-jtoman-try-catch-20230512.20.44.92474.tar.gz (39.4 MB)
2025-09-12T15:07:31,370   Added certora-cli-alpha-jtoman-try-catch==20230512.20.44.92474 from https://files.pythonhosted.org/packages/44/14/da9a696b29c9df9e7045550a5343cf4545662b6b662568eb97ed1ab94834/certora-cli-alpha-jtoman-try-catch-20230512.20.44.92474.tar.gz to build tracker '/tmp/pip-build-tracker-2828topp'
2025-09-12T15:07:31,371   Running setup.py (path:/tmp/pip-wheel-redm0gal/certora-cli-alpha-jtoman-try-catch_653a97e0be5a4fc7b0716badc9b640ed/setup.py) egg_info for package certora-cli-alpha-jtoman-try-catch
2025-09-12T15:07:31,372   Created temporary directory: /tmp/pip-pip-egg-info-biunld32
2025-09-12T15:07:31,372   Preparing metadata (setup.py): started
2025-09-12T15:07:31,373   Running command python setup.py egg_info
2025-09-12T15:07:32,426   /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:332: InformationOnly: Normalizing '20230512.20.44.092474' to '20230512.20.44.92474'
2025-09-12T15:07:32,426     self.metadata.version = self._normalize_version(self.metadata.version)
2025-09-12T15:07:32,428   /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-09-12T15:07:32,428   !!

2025-09-12T15:07:32,428           ********************************************************************************
2025-09-12T15:07:32,428           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-09-12T15:07:32,428           License :: OSI Approved :: MIT License

2025-09-12T15:07:32,429           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-09-12T15:07:32,429           ********************************************************************************

2025-09-12T15:07:32,429   !!
2025-09-12T15:07:32,429     self._finalize_license_expression()
2025-09-12T15:07:32,501   running egg_info
2025-09-12T15:07:32,575   creating /tmp/pip-pip-egg-info-biunld32/certora_cli_alpha_jtoman_try_catch.egg-info
2025-09-12T15:07:32,575   writing /tmp/pip-pip-egg-info-biunld32/certora_cli_alpha_jtoman_try_catch.egg-info/PKG-INFO
2025-09-12T15:07:32,576   writing dependency_links to /tmp/pip-pip-egg-info-biunld32/certora_cli_alpha_jtoman_try_catch.egg-info/dependency_links.txt
2025-09-12T15:07:32,577   writing entry points to /tmp/pip-pip-egg-info-biunld32/certora_cli_alpha_jtoman_try_catch.egg-info/entry_points.txt
2025-09-12T15:07:32,577   writing requirements to /tmp/pip-pip-egg-info-biunld32/certora_cli_alpha_jtoman_try_catch.egg-info/requires.txt
2025-09-12T15:07:32,578   writing top-level names to /tmp/pip-pip-egg-info-biunld32/certora_cli_alpha_jtoman_try_catch.egg-info/top_level.txt
2025-09-12T15:07:32,578   writing manifest file '/tmp/pip-pip-egg-info-biunld32/certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt'
2025-09-12T15:07:32,802   reading manifest file '/tmp/pip-pip-egg-info-biunld32/certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt'
2025-09-12T15:07:32,803   reading manifest template 'MANIFEST.in'
2025-09-12T15:07:32,805   adding license file 'LICENSE'
2025-09-12T15:07:32,808   writing manifest file '/tmp/pip-pip-egg-info-biunld32/certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt'
2025-09-12T15:07:32,920   Preparing metadata (setup.py): finished with status 'done'
2025-09-12T15:07:32,925   Source in /tmp/pip-wheel-redm0gal/certora-cli-alpha-jtoman-try-catch_653a97e0be5a4fc7b0716badc9b640ed has version 20230512.20.44.92474, which satisfies requirement certora-cli-alpha-jtoman-try-catch==20230512.20.44.92474 from https://files.pythonhosted.org/packages/44/14/da9a696b29c9df9e7045550a5343cf4545662b6b662568eb97ed1ab94834/certora-cli-alpha-jtoman-try-catch-20230512.20.44.92474.tar.gz
2025-09-12T15:07:32,925   Removed certora-cli-alpha-jtoman-try-catch==20230512.20.44.92474 from https://files.pythonhosted.org/packages/44/14/da9a696b29c9df9e7045550a5343cf4545662b6b662568eb97ed1ab94834/certora-cli-alpha-jtoman-try-catch-20230512.20.44.92474.tar.gz from build tracker '/tmp/pip-build-tracker-2828topp'
2025-09-12T15:07:32,930 Created temporary directory: /tmp/pip-unpack-x12_i_1n
2025-09-12T15:07:32,931 Created temporary directory: /tmp/pip-unpack-xc8glm3b
2025-09-12T15:07:32,931 Building wheels for collected packages: certora-cli-alpha-jtoman-try-catch
2025-09-12T15:07:32,932   Created temporary directory: /tmp/pip-wheel-1t9nx1mj
2025-09-12T15:07:32,932   DEPRECATION: Building 'certora-cli-alpha-jtoman-try-catch' using the legacy setup.py bdist_wheel mechanism, which will be removed in a future version. pip 25.3 will enforce this behaviour change. A possible replacement is to use the standardized build interface by setting the `--use-pep517` option, (possibly combined with `--no-build-isolation`), or adding a `pyproject.toml` file to the source tree of 'certora-cli-alpha-jtoman-try-catch'. Discussion can be found at https://github.com/pypa/pip/issues/6334
2025-09-12T15:07:32,933   Building wheel for certora-cli-alpha-jtoman-try-catch (setup.py): started
2025-09-12T15:07:32,934   Destination directory: /tmp/pip-wheel-1t9nx1mj
2025-09-12T15:07:32,934   Running command python setup.py bdist_wheel
2025-09-12T15:07:33,987   /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:332: InformationOnly: Normalizing '20230512.20.44.092474' to '20230512.20.44.92474'
2025-09-12T15:07:33,987     self.metadata.version = self._normalize_version(self.metadata.version)
2025-09-12T15:07:33,989   /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-09-12T15:07:33,989   !!

2025-09-12T15:07:33,989           ********************************************************************************
2025-09-12T15:07:33,989           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-09-12T15:07:33,990           License :: OSI Approved :: MIT License

2025-09-12T15:07:33,990           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-09-12T15:07:33,990           ********************************************************************************

2025-09-12T15:07:33,990   !!
2025-09-12T15:07:33,990     self._finalize_license_expression()
2025-09-12T15:07:33,991   running bdist_wheel
2025-09-12T15:07:34,356   running build
2025-09-12T15:07:34,356   running build_py
2025-09-12T15:07:34,433   creating build/lib/certora_jars
2025-09-12T15:07:34,434   copying certora_jars/__init__.py -> build/lib/certora_jars
2025-09-12T15:07:34,434   creating build/lib/certora_cli
2025-09-12T15:07:34,435   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2025-09-12T15:07:34,435   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2025-09-12T15:07:34,436   copying certora_cli/__init__.py -> build/lib/certora_cli
2025-09-12T15:07:34,436   creating build/lib/certora_cli/Shared
2025-09-12T15:07:34,437   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2025-09-12T15:07:34,437   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2025-09-12T15:07:34,438   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2025-09-12T15:07:34,439   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2025-09-12T15:07:34,440   creating build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,440   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,440   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,441   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,442   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,442   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,443   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,443   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,444   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,444   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,445   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,446   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,446   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,447   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,448   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2025-09-12T15:07:34,449   creating build/lib/certora_cli/EVMVerifier/Compiler
2025-09-12T15:07:34,449   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2025-09-12T15:07:34,450   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2025-09-12T15:07:34,450   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2025-09-12T15:07:34,451   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2025-09-12T15:07:34,452   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2025-09-12T15:07:34,452   running egg_info
2025-09-12T15:07:34,527   writing certora_cli_alpha_jtoman_try_catch.egg-info/PKG-INFO
2025-09-12T15:07:34,528   writing dependency_links to certora_cli_alpha_jtoman_try_catch.egg-info/dependency_links.txt
2025-09-12T15:07:34,528   writing entry points to certora_cli_alpha_jtoman_try_catch.egg-info/entry_points.txt
2025-09-12T15:07:34,529   writing requirements to certora_cli_alpha_jtoman_try_catch.egg-info/requires.txt
2025-09-12T15:07:34,529   writing top-level names to certora_cli_alpha_jtoman_try_catch.egg-info/top_level.txt
2025-09-12T15:07:34,608   reading manifest file 'certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt'
2025-09-12T15:07:34,611   reading manifest template 'MANIFEST.in'
2025-09-12T15:07:34,613   adding license file 'LICENSE'
2025-09-12T15:07:34,617   writing manifest file 'certora_cli_alpha_jtoman_try_catch.egg-info/SOURCES.txt'
2025-09-12T15:07:34,619   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2025-09-12T15:07:34,620   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2025-09-12T15:07:34,672   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2025-09-12T15:07:34,711   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2025-09-12T15:07:34,758   copying certora_jars/gambit-linux -> build/lib/certora_jars
2025-09-12T15:07:34,783   copying certora_jars/gambit-macos -> build/lib/certora_jars
2025-09-12T15:07:34,879   /usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2025-09-12T15:07:34,879   !!

2025-09-12T15:07:34,879           ********************************************************************************
2025-09-12T15:07:34,879           Please avoid running ``setup.py`` directly.
2025-09-12T15:07:34,879           Instead, use pypa/build, pypa/installer or other
2025-09-12T15:07:34,880           standards-based tools.

2025-09-12T15:07:34,880           By 2025-Oct-31, you need to update your project and remove deprecated calls
2025-09-12T15:07:34,880           or your builds will no longer be supported.

2025-09-12T15:07:34,880           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2025-09-12T15:07:34,880           ********************************************************************************

2025-09-12T15:07:34,880   !!
2025-09-12T15:07:34,880     self.initialize_options()
2025-09-12T15:07:34,953   installing to build/bdist.linux-armv7l/wheel
2025-09-12T15:07:34,953   running install
2025-09-12T15:07:34,975   running install_lib
2025-09-12T15:07:35,049   creating build/bdist.linux-armv7l/wheel
2025-09-12T15:07:35,050   creating build/bdist.linux-armv7l/wheel/certora_cli
2025-09-12T15:07:35,050   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2025-09-12T15:07:35,051   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2025-09-12T15:07:35,051   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2025-09-12T15:07:35,051   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2025-09-12T15:07:35,052   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2025-09-12T15:07:35,052   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2025-09-12T15:07:35,053   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2025-09-12T15:07:35,053   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,053   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,054   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,055   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,055   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,056   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,056   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,057   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,057   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,058   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,058   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,059   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,059   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,059   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2025-09-12T15:07:35,060   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2025-09-12T15:07:35,060   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-09-12T15:07:35,061   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-09-12T15:07:35,061   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-09-12T15:07:35,062   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-09-12T15:07:35,062   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-12T15:07:35,062   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-12T15:07:35,063   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-12T15:07:35,063   creating build/bdist.linux-armv7l/wheel/certora_jars
2025-09-12T15:07:35,064   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-09-12T15:07:35,084   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-09-12T15:07:35,109   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-09-12T15:07:35,156   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-09-12T15:07:35,194   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-09-12T15:07:35,246   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-09-12T15:07:35,246   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-09-12T15:07:35,247   running install_egg_info
2025-09-12T15:07:35,325   Copying certora_cli_alpha_jtoman_try_catch.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_jtoman_try_catch-20230512.20.44.92474-py3.13.egg-info
2025-09-12T15:07:35,327   running install_scripts
2025-09-12T15:07:35,329   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_jtoman_try_catch-20230512.20.44.92474.dist-info/WHEEL
2025-09-12T15:07:35,330   creating '/tmp/pip-wheel-1t9nx1mj/certora_cli_alpha_jtoman_try_catch-20230512.20.44.92474-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2025-09-12T15:07:35,331   adding 'certora_cli/__init__.py'
2025-09-12T15:07:35,332   adding 'certora_cli/certoraMutate.py'
2025-09-12T15:07:35,334   adding 'certora_cli/certoraRun.py'
2025-09-12T15:07:35,334   adding 'certora_cli/EVMVerifier/__init__.py'
2025-09-12T15:07:35,355   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2025-09-12T15:07:35,362   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2025-09-12T15:07:35,363   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2025-09-12T15:07:35,364   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2025-09-12T15:07:35,368   adding 'certora_cli/EVMVerifier/certoraContext.py'
2025-09-12T15:07:35,371   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2025-09-12T15:07:35,372   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2025-09-12T15:07:35,376   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2025-09-12T15:07:35,377   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2025-09-12T15:07:35,379   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2025-09-12T15:07:35,379   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2025-09-12T15:07:35,382   adding 'certora_cli/EVMVerifier/certoraType.py'
2025-09-12T15:07:35,384   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2025-09-12T15:07:35,386   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2025-09-12T15:07:35,387   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2025-09-12T15:07:35,388   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2025-09-12T15:07:35,391   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2025-09-12T15:07:35,392   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2025-09-12T15:07:35,392   adding 'certora_cli/Shared/__init__.py'
2025-09-12T15:07:35,394   adding 'certora_cli/Shared/certoraLogging.py'
2025-09-12T15:07:35,395   adding 'certora_cli/Shared/certoraTester.py'
2025-09-12T15:07:35,401   adding 'certora_cli/Shared/certoraUtils.py'
2025-09-12T15:07:35,402   adding 'certora_cli_alpha_jtoman_try_catch-20230512.20.44.92474.dist-info/licenses/LICENSE'
2025-09-12T15:07:35,403   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2025-09-12T15:07:37,049   adding 'certora_jars/MutationTest.jar'
2025-09-12T15:07:38,362   adding 'certora_jars/Typechecker.3.6.5.jar'
2025-09-12T15:07:39,914   adding 'certora_jars/Typechecker.jar'
2025-09-12T15:07:39,995   adding 'certora_jars/__init__.py'
2025-09-12T15:07:40,846   adding 'certora_jars/gambit-linux'
2025-09-12T15:07:41,697   adding 'certora_jars/gambit-macos'
2025-09-12T15:07:41,732   adding 'certora_cli_alpha_jtoman_try_catch-20230512.20.44.92474.dist-info/METADATA'
2025-09-12T15:07:41,732   adding 'certora_cli_alpha_jtoman_try_catch-20230512.20.44.92474.dist-info/WHEEL'
2025-09-12T15:07:41,733   adding 'certora_cli_alpha_jtoman_try_catch-20230512.20.44.92474.dist-info/entry_points.txt'
2025-09-12T15:07:41,733   adding 'certora_cli_alpha_jtoman_try_catch-20230512.20.44.92474.dist-info/top_level.txt'
2025-09-12T15:07:41,734   adding 'certora_cli_alpha_jtoman_try_catch-20230512.20.44.92474.dist-info/RECORD'
2025-09-12T15:07:41,735   removing build/bdist.linux-armv7l/wheel
2025-09-12T15:07:41,866   Building wheel for certora-cli-alpha-jtoman-try-catch (setup.py): finished with status 'done'
2025-09-12T15:07:42,263   Created wheel for certora-cli-alpha-jtoman-try-catch: filename=certora_cli_alpha_jtoman_try_catch-20230512.20.44.92474-py3-none-any.whl size=39469018 sha256=b710c8053283434133e413df343698524b9dfba3a5db9f9fb9fe9bc8d6289e2b
2025-09-12T15:07:42,264   Stored in directory: /tmp/pip-ephem-wheel-cache-kqr2bwxt/wheels/65/fc/89/85e85877a3edb92ebe52243fc0169cf2678abf2fc740d8e2a2
2025-09-12T15:07:42,272 Successfully built certora-cli-alpha-jtoman-try-catch
2025-09-12T15:07:42,352 Removed build tracker: '/tmp/pip-build-tracker-2828topp'