2024-04-11T13:42:16,791 Created temporary directory: /tmp/pip-build-tracker-j1ejalbo
2024-04-11T13:42:16,792 Initialized build tracking at /tmp/pip-build-tracker-j1ejalbo
2024-04-11T13:42:16,792 Created build tracker: /tmp/pip-build-tracker-j1ejalbo
2024-04-11T13:42:16,793 Entered build tracker: /tmp/pip-build-tracker-j1ejalbo
2024-04-11T13:42:16,793 Created temporary directory: /tmp/pip-wheel-7n87jap0
2024-04-11T13:42:16,797 Created temporary directory: /tmp/pip-ephem-wheel-cache-46lf8ih1
2024-04-11T13:42:16,819 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-04-11T13:42:16,823 2 location(s) to search for versions of lean-dojo:
2024-04-11T13:42:16,823 * https://pypi.org/simple/lean-dojo/
2024-04-11T13:42:16,823 * https://www.piwheels.org/simple/lean-dojo/
2024-04-11T13:42:16,824 Fetching project page and analyzing links: https://pypi.org/simple/lean-dojo/
2024-04-11T13:42:16,824 Getting page https://pypi.org/simple/lean-dojo/
2024-04-11T13:42:16,826 Found index url https://pypi.org/simple/
2024-04-11T13:42:17,045 Fetched page https://pypi.org/simple/lean-dojo/ as application/vnd.pypi.simple.v1+json
2024-04-11T13:42:17,055   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/18/07/1f69f56301d59647a82dd1723bf196c8a387ca551402baf4cccf190136a7/lean_dojo-1.0.0-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,057   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/d0/06/8e33cbf68419de6c8f5c79df5f15a75c8e3efb795775317593d2e4cae640/lean_dojo-1.0.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,057   Skipping link: 1.0.0 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/d0/06/8e33cbf68419de6c8f5c79df5f15a75c8e3efb795775317593d2e4cae640/lean_dojo-1.0.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,058   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/74/bc/a7d66f90c53092c32678b4cc5e7bfb840fdfcc7eb108821421f385d9fcaf/lean_dojo-1.1.0-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,059   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/cc/d7/c0bc01f1fedb49e0ba1be71e2968ca74f40703fbcfb65e71ab83bb4cfb07/lean_dojo-1.1.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,059   Skipping link: 1.1.0 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/cc/d7/c0bc01f1fedb49e0ba1be71e2968ca74f40703fbcfb65e71ab83bb4cfb07/lean_dojo-1.1.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,060   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/e8/ce/113f1267f5896d80bc094fdf9ed62794272ec6f556cdb019051969de534c/lean_dojo-1.1.1-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,061   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/48/13/82ca93bdc5aa153eaaff0bc404f74ebe56e03696cdb9c0841cc74c8ae777/lean_dojo-1.1.1.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,062   Skipping link: 1.1.1 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/48/13/82ca93bdc5aa153eaaff0bc404f74ebe56e03696cdb9c0841cc74c8ae777/lean_dojo-1.1.1.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,062   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/76/cb/0c6592225c8392700b4d083954996870227b2fab3f0d1505512290277f9b/lean_dojo-1.1.2-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,063   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/31/0c/54e8de0d26abf473f1d0454b17a1b4699568f8900a40e2e7c6b2afb87de0/lean_dojo-1.1.2.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,064   Skipping link: 1.1.2 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/31/0c/54e8de0d26abf473f1d0454b17a1b4699568f8900a40e2e7c6b2afb87de0/lean_dojo-1.1.2.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,065   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/05/d5/3be78e9d6877209c75f429c1ca0517ee291462305a559dfd2f2ddb55d13a/lean_dojo-1.2.0-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,066   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/e5/46/4d5d28cf708fe0f7c11885447c37e832f894cdc592c0ab7f87ee8206e06a/lean_dojo-1.2.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,067   Skipping link: 1.2.0 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/e5/46/4d5d28cf708fe0f7c11885447c37e832f894cdc592c0ab7f87ee8206e06a/lean_dojo-1.2.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,067   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/a2/31/62b01e922c83d826324a146b6cee8649932461b3a35e55710221c4d6ac35/lean_dojo-1.2.1-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<=3.11,>=3.9)
2024-04-11T13:42:17,068   Link requires a different Python (3.11.2 not in: '<=3.11,>=3.9'): https://files.pythonhosted.org/packages/1f/b8/00f4732d2bb1eff1aa18c49d33e2223369afec4528c328ee34687f8723bc/lean_dojo-1.2.1.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<=3.11,>=3.9)
2024-04-11T13:42:17,069   Skipping link: 1.2.1 Requires-Python <=3.11,>=3.9: https://files.pythonhosted.org/packages/1f/b8/00f4732d2bb1eff1aa18c49d33e2223369afec4528c328ee34687f8723bc/lean_dojo-1.2.1.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<=3.11,>=3.9)
2024-04-11T13:42:17,069   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/a0/45/33f64a40b25fa8f28dbb47c0e69db199324741671e7f6d6ef02158d54918/lean_dojo-1.2.2-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<=3.11,>=3.9)
2024-04-11T13:42:17,070   Link requires a different Python (3.11.2 not in: '<=3.11,>=3.9'): https://files.pythonhosted.org/packages/df/0e/3937a3d4c9ccdd6a16484c76b78f60546de357e4805e7be05940fc6174aa/lean_dojo-1.2.2.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<=3.11,>=3.9)
2024-04-11T13:42:17,071   Skipping link: 1.2.2 Requires-Python <=3.11,>=3.9: https://files.pythonhosted.org/packages/df/0e/3937a3d4c9ccdd6a16484c76b78f60546de357e4805e7be05940fc6174aa/lean_dojo-1.2.2.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<=3.11,>=3.9)
2024-04-11T13:42:17,072   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/ed/79/066d5694b116b136f3f0ce663446a18fc45cee83b26d699d4991aa031c4c/lean_dojo-1.2.3-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,073   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/6b/fb/e10202a07791c2be5e2738dfdce5fc468fa98460a33771a047da5a339792/lean_dojo-1.2.3.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,074   Skipping link: 1.2.3 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/6b/fb/e10202a07791c2be5e2738dfdce5fc468fa98460a33771a047da5a339792/lean_dojo-1.2.3.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,075   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/15/30/c1a9603d2b35c78a5ad2e9c09513b17d746ff626ad5aeaf3a411f6da9023/lean_dojo-1.2.4-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,076   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/23/f7/ddde60684da7a6260c3437588e9028aff3e1d39a3c4909e7484b5cbc3b53/lean_dojo-1.2.4.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,077   Skipping link: 1.2.4 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/23/f7/ddde60684da7a6260c3437588e9028aff3e1d39a3c4909e7484b5cbc3b53/lean_dojo-1.2.4.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,077   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/07/ec/d9eca88825333082175059871f9c0b94419af50600ba662173c0b2f5a4de/lean_dojo-1.2.5-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,078   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/97/f0/8702ad8204f4443f3ddf926b9cb8f82269fae7fefbf56a4252f3c56c5a84/lean_dojo-1.2.5.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,079   Skipping link: 1.2.5 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/97/f0/8702ad8204f4443f3ddf926b9cb8f82269fae7fefbf56a4252f3c56c5a84/lean_dojo-1.2.5.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,079   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/95/77/b29427fcec79f25d8ed709ea21eb7bb83a5db74af3526d244b6770974e1d/lean_dojo-1.2.6-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,080   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/a9/2a/012dad3f6365754b01a826aaf563f4fa47d3d73e5f69a063bf7ffee12021/lean_dojo-1.2.6.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,081   Skipping link: 1.2.6 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/a9/2a/012dad3f6365754b01a826aaf563f4fa47d3d73e5f69a063bf7ffee12021/lean_dojo-1.2.6.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,081   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/07/7e/d0c290400ed8bdba690b18687b126a5615e4b33b679438db322266d39b8c/lean_dojo-1.3.0-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,082   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/73/02/299f7f31d32984dde7b0abdeb89c0c0ce8b880434e9bd60b99576af78bc4/lean_dojo-1.3.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,083   Skipping link: 1.3.0 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/73/02/299f7f31d32984dde7b0abdeb89c0c0ce8b880434e9bd60b99576af78bc4/lean_dojo-1.3.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,084   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/0c/9d/3aa821d459b354f5e0ead588bc873b78bf1752dbabad895d0d84678db2ab/lean_dojo-1.4.0-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,085   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/01/ba/81943055015cd80cfbd307d3965146b23815ca108cdf11e7b7ef3af0c6a3/lean_dojo-1.4.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,085   Skipping link: 1.4.0 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/01/ba/81943055015cd80cfbd307d3965146b23815ca108cdf11e7b7ef3af0c6a3/lean_dojo-1.4.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,086   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/30/e9/9cd3633ff50836c78746ec1d4e4d6b3b073173e7d5a4e16ea945913c9b52/lean_dojo-1.4.1-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,087   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/76/a7/e893c719e04338dee6610685c21589ecad3e22b4fffba1a744481a280c6e/lean_dojo-1.4.1.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,088   Skipping link: 1.4.1 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/76/a7/e893c719e04338dee6610685c21589ecad3e22b4fffba1a744481a280c6e/lean_dojo-1.4.1.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,088   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/64/08/b430e1c1d0cd22aeee0f3fd5e34e4eb59e080364c60a13c5a0c4ed0faa2f/lean_dojo-1.4.2-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,089   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/64/72/26d70f71cda4bac1c17c4e9fd521b39853d427fd7a5e490119902aec6bf5/lean_dojo-1.4.2.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,089   Skipping link: 1.4.2 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/64/72/26d70f71cda4bac1c17c4e9fd521b39853d427fd7a5e490119902aec6bf5/lean_dojo-1.4.2.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,090   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/e4/48/4cd4240362035a7b738d663f8691cc5ff7e421de8347315f2859b128865b/lean_dojo-1.4.3-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,091   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/d5/46/d03964365998a41cf0810b756a6ef6b7956cbece2ba58b231c91607e92e5/lean_dojo-1.4.3.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,091   Skipping link: 1.4.3 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/d5/46/d03964365998a41cf0810b756a6ef6b7956cbece2ba58b231c91607e92e5/lean_dojo-1.4.3.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,092   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/e0/56/fe18c1cd908aabf67c3ed5e218125bf7a8c54789163592ee54adb3035fde/lean_dojo-1.4.4-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,093   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/3f/8b/4df9b762967ed2aa8a61fbf33f5b091b69ad835c832258ae89e61bcb7f82/lean_dojo-1.4.4.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,094   Skipping link: 1.4.4 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/3f/8b/4df9b762967ed2aa8a61fbf33f5b091b69ad835c832258ae89e61bcb7f82/lean_dojo-1.4.4.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,094   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/33/e6/bccaf84322cabe45f0aeb65217d5286032c8b0b1fb3d31db558d17c73f4f/lean_dojo-1.4.5-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,095   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/e6/af/a5631bd5568a23fe39e1d81b56a8d511f27664a3cc4c401aaeed8781f3f3/lean_dojo-1.4.5.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,096   Skipping link: 1.4.5 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/e6/af/a5631bd5568a23fe39e1d81b56a8d511f27664a3cc4c401aaeed8781f3f3/lean_dojo-1.4.5.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,097   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/c0/03/702364676d9787bf9aea9aa007883cf19d6b92aff86999adbf3ba3780b6e/lean_dojo-1.5.0-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,098   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/d9/8d/9d3b54f56f2bfd4c29c1fa7843af50e8d440a22b7916028a2930b18bab95/lean_dojo-1.5.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,099   Skipping link: 1.5.0 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/d9/8d/9d3b54f56f2bfd4c29c1fa7843af50e8d440a22b7916028a2930b18bab95/lean_dojo-1.5.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,099   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/dc/af/a7fa1d3e1d5823a9a2c9061f0735be835cd792618c270fb375e0dc75d427/lean_dojo-1.5.1-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,100   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/cd/2b/0dd26e4aaf2064b34389592ff883867e2ba007ffd8ab141275f0bb182011/lean_dojo-1.5.1.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,100   Skipping link: 1.5.1 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/cd/2b/0dd26e4aaf2064b34389592ff883867e2ba007ffd8ab141275f0bb182011/lean_dojo-1.5.1.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,101   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/48/8b/2315a73363ad4b13f834b7833ac4cf90a5ec6c97b5338830a2c93f68eed5/lean_dojo-1.6.0-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,102   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/cf/75/51125b64dfcb478925d3dac101c797f8f76284f6936952963b238d90d9ae/lean_dojo-1.6.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,103   Skipping link: 1.6.0 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/cf/75/51125b64dfcb478925d3dac101c797f8f76284f6936952963b238d90d9ae/lean_dojo-1.6.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,103   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/68/b7/f6fead652f94a7cfe3bea17a87677028f68f92ff1405ada3e66804f4573e/lean_dojo-1.7.0-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,105   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/f2/75/65ba45908c00bff40d4c7341512770e8eaebec361f65586546cafd3280a4/lean_dojo-1.7.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,105   Skipping link: 1.7.0 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/f2/75/65ba45908c00bff40d4c7341512770e8eaebec361f65586546cafd3280a4/lean_dojo-1.7.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,106   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/45/b7/7825d09fc23ed168cbef67fa5d03dbce4fa60587e182238c7dc3230381be/lean_dojo-1.7.1-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,107   Link requires a different Python (3.11.2 not in: '<3.11,>=3.9'): https://files.pythonhosted.org/packages/bc/53/79a4b12e403aafbdd4e23f72a9bacd11468724b1be91de297799f06ce82e/lean_dojo-1.7.1.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,108   Skipping link: 1.7.1 Requires-Python <3.11,>=3.9: https://files.pythonhosted.org/packages/bc/53/79a4b12e403aafbdd4e23f72a9bacd11468724b1be91de297799f06ce82e/lean_dojo-1.7.1.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,109   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/75/b6/38cac9297baf24d8c50c32b75bb79ddb3570c16e4a2f36e0ea50bfcb5b2f/lean_dojo-1.8.0-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.12,>=3.9)
2024-04-11T13:42:17,109   Found link https://files.pythonhosted.org/packages/91/31/c16889c958598391c6515fd45f45ffbe6748c472b2cb9ba107a3d862cafd/lean_dojo-1.8.0.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.12,>=3.9), version: 1.8.0
2024-04-11T13:42:17,110   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/e1/5a/49102853173ef9ad87b8a4bf363fb1abdb3f8f8f5c35bdf8d20888c006f8/lean_dojo-1.8.1-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.12,>=3.9)
2024-04-11T13:42:17,111   Found link https://files.pythonhosted.org/packages/8f/74/0aa3191c708748d200310ab9943407e9a652c2e9c33792681e17b681111b/lean_dojo-1.8.1.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.12,>=3.9), version: 1.8.1
2024-04-11T13:42:17,112   Skipping link: No binaries permitted for lean-dojo: https://files.pythonhosted.org/packages/a6/12/534fe0a15d224712e275628372339a3b4ae256f4894f7ea720efe4e721de/lean_dojo-1.8.2-py3-none-any.whl (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.12,>=3.9)
2024-04-11T13:42:17,113   Found link https://files.pythonhosted.org/packages/1c/e3/efbd2e740951b8d7b841958b51fc91141f8859b3ae2daaac41af9995947c/lean_dojo-1.8.2.tar.gz (from https://pypi.org/simple/lean-dojo/) (requires-python:<3.12,>=3.9), version: 1.8.2
2024-04-11T13:42:17,113 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean-dojo/
2024-04-11T13:42:17,114 Getting page https://www.piwheels.org/simple/lean-dojo/
2024-04-11T13:42:17,116 Found index url https://www.piwheels.org/simple/
2024-04-11T13:42:17,316 Fetched page https://www.piwheels.org/simple/lean-dojo/ as text/html
2024-04-11T13:42:17,324   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.8.0-py3-none-any.whl#sha256=b811e99c710d085ffa310600f19cbc4d26e8723157dcbc32be4efe8a09ef01ad (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.12,>=3.9)
2024-04-11T13:42:17,324   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.7.1-py3-none-any.whl#sha256=499e05dd4cbe04f1279244f627f43e22734c93f5624937e36c1297b660b4a527 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,325   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.7.0-py3-none-any.whl#sha256=98421516f1194523aac6c6ac8cd46950b01ec1336d1bd69abd8fb96d167f2a94 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,326   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.6.0-py3-none-any.whl#sha256=9f1533b01021f87bbfe843a809f78f3ab05f1b9ce9dc5115ac0c35074f32f47c (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,326   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.5.1-py3-none-any.whl#sha256=75e7e301fcb15c5837e86d1ac97b0cf9903c7b250fe63270f4644bf356d39747 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,327   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.5.0-py3-none-any.whl#sha256=cc54ff7d2d470a4f51e7098c480593616c74a31c565b10e1f9efaa24451e7a60 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,328   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.4.5-py3-none-any.whl#sha256=ae127c868badaa17dc77d70a9e04d08deb3e4ebb5baa1b3c4001db9d8c29ef47 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,329   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.4.4-py3-none-any.whl#sha256=e6b6617e890da786c70190cacf1806818222188fdbddd0c296d4eb0ffc718629 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,329   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.4.3-py3-none-any.whl#sha256=4d13b297d7d0621df92af61a519f4d9d04fa2a53be9d739d5d9afa21e12e5ec5 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,330   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.4.2-py3-none-any.whl#sha256=4644f5c1509e4aecb2bf19b864f8366e82e719ace88bb12963c002bdc39e1ab2 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,330   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.4.1-py3-none-any.whl#sha256=0d6baca6ef7a6279784cae1aee8770c478054b1ee7acbc6854053291125db17b (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,331   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.4.0-py3-none-any.whl#sha256=c8c4902fcf21de68dfb00a082727fcf1e3c723eaff6bc91766b7185f468b1b9d (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,331   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.3.0-py3-none-any.whl#sha256=bb9cff8a225c05d8d48ea4adc1e4383ff936578b177327650a4dcfa37090fb54 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,332   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.2.6-py3-none-any.whl#sha256=28472a05f69a14aa3d3bce47b81979b47de6212207f511b2f1a6450044ffaa05 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,333   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.2.5-py3-none-any.whl#sha256=acccd9a4fd644bf2b4787911f423a94b9220cd12a8123faf5b1eb3347d11c592 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,333   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.2.4-py3-none-any.whl#sha256=b6319245c9e60f77aa1a7a8277af55c5dd234f02d4fa4990724763541ef3702a (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,334   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.2.3-py3-none-any.whl#sha256=81a1a11c53619be7f32bba054444ca76eff22eb56c5ed91def652c78487f182b (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,335   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.2.2-py3-none-any.whl#sha256=1110a17782ea6627a2868b1d81411ec56077c6ea6e78454001d9afffaac35cc7 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<=3.11,>=3.9)
2024-04-11T13:42:17,335   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.2.1-py3-none-any.whl#sha256=3ec1337aeb64fda8a5c0a82c67a98a208526c7ee586163c18dda2db372e79552 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<=3.11,>=3.9)
2024-04-11T13:42:17,336   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.2.0-py3-none-any.whl#sha256=9e57f6207b8572e5a8cb35ec94a6ec80e3a3dc6e9caa3b208b679975f14a4894 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,337   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.1.2-py3-none-any.whl#sha256=6becd99b3fd6a817304abb1562bb12f0cae1f162feb42f748a475b70f0c70091 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,337   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.1.1-py3-none-any.whl#sha256=86b591e064cc381e6e90ebe4148b8de25a0f38c120533718730631d9d580164a (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,338   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.1.0-py3-none-any.whl#sha256=87880902b9e1eacc298447a2cc1451c0aebc8a3687db8ccd1c77f3a5936bc31a (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,338   Skipping link: No binaries permitted for lean-dojo: https://www.piwheels.org/simple/lean-dojo/lean_dojo-1.0.0-py3-none-any.whl#sha256=4ecf4736ea7ce6171987e4249dfb6600a634a5114429963bad0beea5be951207 (from https://www.piwheels.org/simple/lean-dojo/) (requires-python:<3.11,>=3.9)
2024-04-11T13:42:17,339 Skipping link: not a file: https://www.piwheels.org/simple/lean-dojo/
2024-04-11T13:42:17,339 Skipping link: not a file: https://pypi.org/simple/lean-dojo/
2024-04-11T13:42:17,358 Given no hashes to check 1 links for project 'lean-dojo': discarding no candidates
2024-04-11T13:42:17,376 Collecting lean-dojo==1.8.1
2024-04-11T13:42:17,378   Created temporary directory: /tmp/pip-unpack-e39pl6x4
2024-04-11T13:42:17,596   Downloading lean_dojo-1.8.1.tar.gz (52 kB)
2024-04-11T13:42:17,719   Added lean-dojo==1.8.1 from https://files.pythonhosted.org/packages/8f/74/0aa3191c708748d200310ab9943407e9a652c2e9c33792681e17b681111b/lean_dojo-1.8.1.tar.gz to build tracker '/tmp/pip-build-tracker-j1ejalbo'
2024-04-11T13:42:17,724   Created temporary directory: /tmp/pip-build-env-6ywdr70w
2024-04-11T13:42:17,729   Installing build dependencies: started
2024-04-11T13:42:17,731   Running command pip subprocess to install build dependencies
2024-04-11T13:42:18,946   Using pip 24.0 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11)
2024-04-11T13:42:19,502   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-04-11T13:42:20,063   Collecting hatchling
2024-04-11T13:42:20,078     Using cached https://www.piwheels.org/simple/hatchling/hatchling-1.22.5-py3-none-any.whl (82 kB)
2024-04-11T13:42:20,249   Collecting packaging>=21.3 (from hatchling)
2024-04-11T13:42:20,264     Using cached https://www.piwheels.org/simple/packaging/packaging-24.0-py3-none-any.whl (53 kB)
2024-04-11T13:42:20,372   Collecting pathspec>=0.10.1 (from hatchling)
2024-04-11T13:42:20,388     Using cached https://www.piwheels.org/simple/pathspec/pathspec-0.12.1-py3-none-any.whl (31 kB)
2024-04-11T13:42:20,503   Collecting pluggy>=1.0.0 (from hatchling)
2024-04-11T13:42:20,517     Using cached https://www.piwheels.org/simple/pluggy/pluggy-1.4.0-py3-none-any.whl (20 kB)
2024-04-11T13:42:20,690   Collecting trove-classifiers (from hatchling)
2024-04-11T13:42:20,704     Using cached https://www.piwheels.org/simple/trove-classifiers/trove_classifiers-2024.4.10-py3-none-any.whl (13 kB)
2024-04-11T13:42:23,044   Installing collected packages: trove-classifiers, pluggy, pathspec, packaging, hatchling
2024-04-11T13:42:23,841     Creating /tmp/pip-build-env-6ywdr70w/overlay/local/bin
2024-04-11T13:42:23,843     changing mode of /tmp/pip-build-env-6ywdr70w/overlay/local/bin/hatchling to 755
2024-04-11T13:42:23,881   Successfully installed hatchling-1.22.5 packaging-24.0 pathspec-0.12.1 pluggy-1.4.0 trove-classifiers-2024.4.10
2024-04-11T13:42:24,423   Installing build dependencies: finished with status 'done'
2024-04-11T13:42:24,427   Getting requirements to build wheel: started
2024-04-11T13:42:24,429   Running command Getting requirements to build wheel
2024-04-11T13:42:24,739   Getting requirements to build wheel: finished with status 'done'
2024-04-11T13:42:24,742   Created temporary directory: /tmp/pip-modern-metadata-2ypeyiui
2024-04-11T13:42:24,745   Preparing metadata (pyproject.toml): started
2024-04-11T13:42:24,746   Running command Preparing metadata (pyproject.toml)
2024-04-11T13:42:25,297   Preparing metadata (pyproject.toml): finished with status 'done'
2024-04-11T13:42:25,302   Source in /tmp/pip-wheel-7n87jap0/lean-dojo_50daabe6115648bb8576c5d58d556503 has version 1.8.1, which satisfies requirement lean-dojo==1.8.1 from https://files.pythonhosted.org/packages/8f/74/0aa3191c708748d200310ab9943407e9a652c2e9c33792681e17b681111b/lean_dojo-1.8.1.tar.gz
2024-04-11T13:42:25,303   Removed lean-dojo==1.8.1 from https://files.pythonhosted.org/packages/8f/74/0aa3191c708748d200310ab9943407e9a652c2e9c33792681e17b681111b/lean_dojo-1.8.1.tar.gz from build tracker '/tmp/pip-build-tracker-j1ejalbo'
2024-04-11T13:42:25,310 Created temporary directory: /tmp/pip-unpack-ujvr6oh1
2024-04-11T13:42:25,311 Created temporary directory: /tmp/pip-unpack-egrpegor
2024-04-11T13:42:25,367 Building wheels for collected packages: lean-dojo
2024-04-11T13:42:25,371   Created temporary directory: /tmp/pip-wheel-d2mm3ysg
2024-04-11T13:42:25,372   Destination directory: /tmp/pip-wheel-d2mm3ysg
2024-04-11T13:42:25,374   Building wheel for lean-dojo (pyproject.toml): started
2024-04-11T13:42:25,375   Running command Building wheel for lean-dojo (pyproject.toml)
2024-04-11T13:42:25,519   Building wheel for lean-dojo (pyproject.toml): finished with status 'done'
2024-04-11T13:42:25,524   Created wheel for lean-dojo: filename=lean_dojo-1.8.1-py3-none-any.whl size=55524 sha256=c44a65f8afd0e30e3fe675897f40bc55247b4b0c924a87450ff5b5369bb60aae
2024-04-11T13:42:25,525   Stored in directory: /tmp/pip-ephem-wheel-cache-46lf8ih1/wheels/e4/d6/7c/8c6f950e27229c1ab93589a0b0b66581a39a6e895a4c92ed67
2024-04-11T13:42:25,538 Successfully built lean-dojo
2024-04-11T13:42:25,545 Removed build tracker: '/tmp/pip-build-tracker-j1ejalbo'