2023-06-20T22:25:46,201 Created temporary directory: /tmp/pip-build-tracker-00o3i5oe 2023-06-20T22:25:46,202 Initialized build tracking at /tmp/pip-build-tracker-00o3i5oe 2023-06-20T22:25:46,202 Created build tracker: /tmp/pip-build-tracker-00o3i5oe 2023-06-20T22:25:46,202 Entered build tracker: /tmp/pip-build-tracker-00o3i5oe 2023-06-20T22:25:46,203 Created temporary directory: /tmp/pip-wheel-2_58ki3d 2023-06-20T22:25:46,206 Created temporary directory: /tmp/pip-ephem-wheel-cache-l5o5xkz4 2023-06-20T22:25:46,229 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-06-20T22:25:46,232 2 location(s) to search for versions of lean-dojo: 2023-06-20T22:25:46,232 * https://pypi.org/simple/lean-dojo/ 2023-06-20T22:25:46,232 * https://www.piwheels.org/simple/lean-dojo/ 2023-06-20T22:25:46,233 Fetching project page and analyzing links: https://pypi.org/simple/lean-dojo/ 2023-06-20T22:25:46,233 Getting page https://pypi.org/simple/lean-dojo/ 2023-06-20T22:25:46,235 Found index url https://pypi.org/simple/ 2023-06-20T22:25:46,289 Fetched page https://pypi.org/simple/lean-dojo/ as application/vnd.pypi.simple.v1+json 2023-06-20T22:25:46,290 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-06-20T22:25:46,291 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-06-20T22:25:46,291 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean-dojo/ 2023-06-20T22:25:46,291 Getting page https://www.piwheels.org/simple/lean-dojo/ 2023-06-20T22:25:46,292 Found index url https://www.piwheels.org/simple/ 2023-06-20T22:25:46,520 Fetched page https://www.piwheels.org/simple/lean-dojo/ as text/html 2023-06-20T22:25:46,521 Skipping link: not a file: https://www.piwheels.org/simple/lean-dojo/ 2023-06-20T22:25:46,521 Skipping link: not a file: https://pypi.org/simple/lean-dojo/ 2023-06-20T22:25:46,538 Given no hashes to check 1 links for project 'lean-dojo': discarding no candidates 2023-06-20T22:25:46,555 Collecting lean-dojo==1.0.0 2023-06-20T22:25:46,557 Created temporary directory: /tmp/pip-unpack-ryy_a5wy 2023-06-20T22:25:46,692 Downloading lean_dojo-1.0.0.tar.gz (123 kB) 2023-06-20T22:25:46,812 Added lean-dojo==1.0.0 from https://files.pythonhosted.org/packages/d0/06/8e33cbf68419de6c8f5c79df5f15a75c8e3efb795775317593d2e4cae640/lean_dojo-1.0.0.tar.gz to build tracker '/tmp/pip-build-tracker-00o3i5oe' 2023-06-20T22:25:46,816 Created temporary directory: /tmp/pip-build-env-lgarqvht 2023-06-20T22:25:46,826 Installing build dependencies: started 2023-06-20T22:25:46,827 Running command pip subprocess to install build dependencies 2023-06-20T22:25:48,011 Using pip 23.1.2 from /home/piwheels/.local/lib/python3.9/site-packages/pip (python 3.9) 2023-06-20T22:25:48,373 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-06-20T22:25:48,933 Collecting hatchling 2023-06-20T22:25:48,951 Using cached https://www.piwheels.org/simple/hatchling/hatchling-1.18.0-py3-none-any.whl (75 kB) 2023-06-20T22:25:49,045 Collecting editables>=0.3 (from hatchling) 2023-06-20T22:25:49,071 Using cached https://www.piwheels.org/simple/editables/editables-0.3-py3-none-any.whl (4.7 kB) 2023-06-20T22:25:49,245 Collecting packaging>=21.3 (from hatchling) 2023-06-20T22:25:49,261 Using cached https://www.piwheels.org/simple/packaging/packaging-23.1-py3-none-any.whl (48 kB) 2023-06-20T22:25:49,374 Collecting pathspec>=0.10.1 (from hatchling) 2023-06-20T22:25:49,391 Using cached https://www.piwheels.org/simple/pathspec/pathspec-0.11.1-py3-none-any.whl (29 kB) 2023-06-20T22:25:49,523 Collecting pluggy>=1.0.0 (from hatchling) 2023-06-20T22:25:49,539 Using cached https://www.piwheels.org/simple/pluggy/pluggy-1.0.0-py2.py3-none-any.whl (13 kB) 2023-06-20T22:25:49,657 Collecting tomli>=1.2.2 (from hatchling) 2023-06-20T22:25:49,673 Using cached https://www.piwheels.org/simple/tomli/tomli-2.0.1-py3-none-any.whl (12 kB) 2023-06-20T22:25:49,866 Collecting trove-classifiers (from hatchling) 2023-06-20T22:25:49,883 Using cached https://www.piwheels.org/simple/trove-classifiers/trove_classifiers-2023.5.24-py3-none-any.whl (13 kB) 2023-06-20T22:25:51,436 Installing collected packages: trove-classifiers, tomli, pluggy, pathspec, packaging, editables, hatchling 2023-06-20T22:25:52,305 Creating /tmp/pip-build-env-lgarqvht/overlay/bin 2023-06-20T22:25:52,307 changing mode of /tmp/pip-build-env-lgarqvht/overlay/bin/hatchling to 755 2023-06-20T22:25:52,329 Successfully installed editables-0.3 hatchling-1.18.0 packaging-23.1 pathspec-0.11.1 pluggy-1.0.0 tomli-2.0.1 trove-classifiers-2023.5.24 2023-06-20T22:25:52,566 Installing build dependencies: finished with status 'done' 2023-06-20T22:25:52,571 Getting requirements to build wheel: started 2023-06-20T22:25:52,572 Running command Getting requirements to build wheel 2023-06-20T22:25:52,868 Getting requirements to build wheel: finished with status 'done' 2023-06-20T22:25:52,873 Created temporary directory: /tmp/pip-modern-metadata-7b_1spvd 2023-06-20T22:25:52,876 Preparing metadata (pyproject.toml): started 2023-06-20T22:25:52,877 Running command Preparing metadata (pyproject.toml) 2023-06-20T22:25:53,451 Preparing metadata (pyproject.toml): finished with status 'done' 2023-06-20T22:25:53,458 Source in /tmp/pip-wheel-2_58ki3d/lean-dojo_9f5eb4acddab422dac90b45ba60ea983 has version 1.0.0, which satisfies requirement lean-dojo==1.0.0 from https://files.pythonhosted.org/packages/d0/06/8e33cbf68419de6c8f5c79df5f15a75c8e3efb795775317593d2e4cae640/lean_dojo-1.0.0.tar.gz 2023-06-20T22:25:53,458 Removed lean-dojo==1.0.0 from https://files.pythonhosted.org/packages/d0/06/8e33cbf68419de6c8f5c79df5f15a75c8e3efb795775317593d2e4cae640/lean_dojo-1.0.0.tar.gz from build tracker '/tmp/pip-build-tracker-00o3i5oe' 2023-06-20T22:25:53,465 Created temporary directory: /tmp/pip-unpack-2b03o3gv 2023-06-20T22:25:53,466 Building wheels for collected packages: lean-dojo 2023-06-20T22:25:53,470 Created temporary directory: /tmp/pip-wheel-cv9d4l25 2023-06-20T22:25:53,470 Destination directory: /tmp/pip-wheel-cv9d4l25 2023-06-20T22:25:53,472 Building wheel for lean-dojo (pyproject.toml): started 2023-06-20T22:25:53,473 Running command Building wheel for lean-dojo (pyproject.toml) 2023-06-20T22:25:53,603 Building wheel for lean-dojo (pyproject.toml): finished with status 'done' 2023-06-20T22:25:53,609 Created wheel for lean-dojo: filename=lean_dojo-1.0.0-py3-none-any.whl size=72113 sha256=4ecf4736ea7ce6171987e4249dfb6600a634a5114429963bad0beea5be951207 2023-06-20T22:25:53,610 Stored in directory: /tmp/pip-ephem-wheel-cache-l5o5xkz4/wheels/66/b3/26/2ab120f75a090dd02982f567770aa5a720e319af75719fad27 2023-06-20T22:25:53,621 Successfully built lean-dojo 2023-06-20T22:25:53,626 Removed build tracker: '/tmp/pip-build-tracker-00o3i5oe'