2023-12-03T07:47:25,427 Created temporary directory: /tmp/pip-build-tracker-u2nnvkyh 2023-12-03T07:47:25,429 Initialized build tracking at /tmp/pip-build-tracker-u2nnvkyh 2023-12-03T07:47:25,429 Created build tracker: /tmp/pip-build-tracker-u2nnvkyh 2023-12-03T07:47:25,429 Entered build tracker: /tmp/pip-build-tracker-u2nnvkyh 2023-12-03T07:47:25,430 Created temporary directory: /tmp/pip-wheel-npwdgo36 2023-12-03T07:47:25,434 Created temporary directory: /tmp/pip-ephem-wheel-cache-8_7evyxu 2023-12-03T07:47:25,458 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-12-03T07:47:25,462 2 location(s) to search for versions of lean-dojo: 2023-12-03T07:47:25,462 * https://pypi.org/simple/lean-dojo/ 2023-12-03T07:47:25,462 * https://www.piwheels.org/simple/lean-dojo/ 2023-12-03T07:47:25,462 Fetching project page and analyzing links: https://pypi.org/simple/lean-dojo/ 2023-12-03T07:47:25,463 Getting page https://pypi.org/simple/lean-dojo/ 2023-12-03T07:47:25,464 Found index url https://pypi.org/simple/ 2023-12-03T07:47:25,515 Fetched page https://pypi.org/simple/lean-dojo/ as application/vnd.pypi.simple.v1+json 2023-12-03T07:47:25,522 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) 2023-12-03T07:47:25,522 Found link 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), version: 1.0.0 2023-12-03T07:47:25,523 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) 2023-12-03T07:47:25,523 Found link 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), version: 1.1.0 2023-12-03T07:47:25,524 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) 2023-12-03T07:47:25,524 Found link 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), version: 1.1.1 2023-12-03T07:47:25,525 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) 2023-12-03T07:47:25,525 Found link 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), version: 1.1.2 2023-12-03T07:47:25,526 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) 2023-12-03T07:47:25,526 Found link 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), version: 1.2.0 2023-12-03T07:47:25,527 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) 2023-12-03T07:47:25,527 Found link 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), version: 1.2.1 2023-12-03T07:47:25,528 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) 2023-12-03T07:47:25,528 Found link 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), version: 1.2.2 2023-12-03T07:47:25,529 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) 2023-12-03T07:47:25,529 Found link 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), version: 1.2.3 2023-12-03T07:47:25,530 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) 2023-12-03T07:47:25,530 Found link 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), version: 1.2.4 2023-12-03T07:47:25,531 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) 2023-12-03T07:47:25,531 Found link 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), version: 1.2.5 2023-12-03T07:47:25,531 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) 2023-12-03T07:47:25,532 Found link 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), version: 1.2.6 2023-12-03T07:47:25,532 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) 2023-12-03T07:47:25,533 Found link 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), version: 1.3.0 2023-12-03T07:47:25,533 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) 2023-12-03T07:47:25,534 Found link 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), version: 1.4.0 2023-12-03T07:47:25,534 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) 2023-12-03T07:47:25,535 Found link 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), version: 1.4.1 2023-12-03T07:47:25,535 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) 2023-12-03T07:47:25,536 Found link 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), version: 1.4.2 2023-12-03T07:47:25,536 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean-dojo/ 2023-12-03T07:47:25,537 Getting page https://www.piwheels.org/simple/lean-dojo/ 2023-12-03T07:47:25,538 Found index url https://www.piwheels.org/simple/ 2023-12-03T07:47:25,613 Fetched page https://www.piwheels.org/simple/lean-dojo/ as text/html 2023-12-03T07:47:25,619 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) 2023-12-03T07:47:25,619 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) 2023-12-03T07:47:25,619 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) 2023-12-03T07:47:25,619 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) 2023-12-03T07:47:25,619 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) 2023-12-03T07:47:25,620 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) 2023-12-03T07:47:25,620 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) 2023-12-03T07:47:25,620 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) 2023-12-03T07:47:25,620 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) 2023-12-03T07:47:25,620 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) 2023-12-03T07:47:25,621 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) 2023-12-03T07:47:25,621 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) 2023-12-03T07:47:25,621 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) 2023-12-03T07:47:25,621 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) 2023-12-03T07:47:25,622 Skipping link: not a file: https://www.piwheels.org/simple/lean-dojo/ 2023-12-03T07:47:25,622 Skipping link: not a file: https://pypi.org/simple/lean-dojo/ 2023-12-03T07:47:25,641 Given no hashes to check 1 links for project 'lean-dojo': discarding no candidates 2023-12-03T07:47:25,658 Collecting lean-dojo==1.4.2 2023-12-03T07:47:25,660 Created temporary directory: /tmp/pip-unpack-imgbxy82 2023-12-03T07:47:25,782 Downloading lean_dojo-1.4.2.tar.gz (77 kB) 2023-12-03T07:47:25,896 Added lean-dojo==1.4.2 from https://files.pythonhosted.org/packages/64/72/26d70f71cda4bac1c17c4e9fd521b39853d427fd7a5e490119902aec6bf5/lean_dojo-1.4.2.tar.gz to build tracker '/tmp/pip-build-tracker-u2nnvkyh' 2023-12-03T07:47:25,900 Created temporary directory: /tmp/pip-build-env-_dyax7_5 2023-12-03T07:47:25,910 Installing build dependencies: started 2023-12-03T07:47:25,911 Running command pip subprocess to install build dependencies 2023-12-03T07:47:27,116 Using pip 23.3 from /home/piwheels/.local/lib/python3.9/site-packages/pip (python 3.9) 2023-12-03T07:47:27,661 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-12-03T07:47:27,955 Collecting hatchling 2023-12-03T07:47:27,973 Using cached https://www.piwheels.org/simple/hatchling/hatchling-1.18.0-py3-none-any.whl (75 kB) 2023-12-03T07:47:28,089 Collecting editables>=0.3 (from hatchling) 2023-12-03T07:47:28,106 Using cached https://www.piwheels.org/simple/editables/editables-0.5-py3-none-any.whl (5.1 kB) 2023-12-03T07:47:28,265 Collecting packaging>=21.3 (from hatchling) 2023-12-03T07:47:28,281 Using cached https://www.piwheels.org/simple/packaging/packaging-23.2-py3-none-any.whl (53 kB) 2023-12-03T07:47:28,393 Collecting pathspec>=0.10.1 (from hatchling) 2023-12-03T07:47:28,411 Using cached https://www.piwheels.org/simple/pathspec/pathspec-0.11.2-py3-none-any.whl (29 kB) 2023-12-03T07:47:28,547 Collecting pluggy>=1.0.0 (from hatchling) 2023-12-03T07:47:28,568 Using cached https://www.piwheels.org/simple/pluggy/pluggy-1.3.0-py3-none-any.whl (18 kB) 2023-12-03T07:47:28,687 Collecting tomli>=1.2.2 (from hatchling) 2023-12-03T07:47:28,702 Using cached https://www.piwheels.org/simple/tomli/tomli-2.0.1-py3-none-any.whl (12 kB) 2023-12-03T07:47:28,897 Collecting trove-classifiers (from hatchling) 2023-12-03T07:47:28,924 Using cached https://www.piwheels.org/simple/trove-classifiers/trove_classifiers-2023.11.29-py3-none-any.whl (13 kB) 2023-12-03T07:47:30,601 Installing collected packages: trove-classifiers, tomli, pluggy, pathspec, packaging, editables, hatchling 2023-12-03T07:47:31,447 Creating /tmp/pip-build-env-_dyax7_5/overlay/bin 2023-12-03T07:47:31,449 changing mode of /tmp/pip-build-env-_dyax7_5/overlay/bin/hatchling to 755 2023-12-03T07:47:31,470 Successfully installed editables-0.5 hatchling-1.18.0 packaging-23.2 pathspec-0.11.2 pluggy-1.3.0 tomli-2.0.1 trove-classifiers-2023.11.29 2023-12-03T07:47:31,670 WARNING: There was an error checking the latest version of pip. 2023-12-03T07:47:31,917 Installing build dependencies: finished with status 'done' 2023-12-03T07:47:31,922 Getting requirements to build wheel: started 2023-12-03T07:47:31,923 Running command Getting requirements to build wheel 2023-12-03T07:47:32,219 Getting requirements to build wheel: finished with status 'done' 2023-12-03T07:47:32,224 Created temporary directory: /tmp/pip-modern-metadata-atumw6by 2023-12-03T07:47:32,226 Preparing metadata (pyproject.toml): started 2023-12-03T07:47:32,227 Running command Preparing metadata (pyproject.toml) 2023-12-03T07:47:32,806 Preparing metadata (pyproject.toml): finished with status 'done' 2023-12-03T07:47:32,812 Source in /tmp/pip-wheel-npwdgo36/lean-dojo_ddbffdd735bc485789bfe0ba9666d85d has version 1.4.2, which satisfies requirement lean-dojo==1.4.2 from https://files.pythonhosted.org/packages/64/72/26d70f71cda4bac1c17c4e9fd521b39853d427fd7a5e490119902aec6bf5/lean_dojo-1.4.2.tar.gz 2023-12-03T07:47:32,813 Removed lean-dojo==1.4.2 from https://files.pythonhosted.org/packages/64/72/26d70f71cda4bac1c17c4e9fd521b39853d427fd7a5e490119902aec6bf5/lean_dojo-1.4.2.tar.gz from build tracker '/tmp/pip-build-tracker-u2nnvkyh' 2023-12-03T07:47:32,820 Created temporary directory: /tmp/pip-unpack-unv_amy5 2023-12-03T07:47:32,821 Created temporary directory: /tmp/pip-unpack-yum8zlm9 2023-12-03T07:47:32,882 Building wheels for collected packages: lean-dojo 2023-12-03T07:47:32,886 Created temporary directory: /tmp/pip-wheel-7w729abo 2023-12-03T07:47:32,886 Destination directory: /tmp/pip-wheel-7w729abo 2023-12-03T07:47:32,888 Building wheel for lean-dojo (pyproject.toml): started 2023-12-03T07:47:32,889 Running command Building wheel for lean-dojo (pyproject.toml) 2023-12-03T07:47:33,018 Building wheel for lean-dojo (pyproject.toml): finished with status 'done' 2023-12-03T07:47:33,024 Created wheel for lean-dojo: filename=lean_dojo-1.4.2-py3-none-any.whl size=81538 sha256=4644f5c1509e4aecb2bf19b864f8366e82e719ace88bb12963c002bdc39e1ab2 2023-12-03T07:47:33,025 Stored in directory: /tmp/pip-ephem-wheel-cache-8_7evyxu/wheels/15/09/ef/e1fa1ce1cad118f2b84ffdefc1f0cc6e2dc37e62e87b660931 2023-12-03T07:47:33,037 Successfully built lean-dojo 2023-12-03T07:47:33,043 Removed build tracker: '/tmp/pip-build-tracker-u2nnvkyh'