2023-06-26T16:42:36,553 Created temporary directory: /tmp/pip-build-tracker-pkfq6xp_ 2023-06-26T16:42:36,554 Initialized build tracking at /tmp/pip-build-tracker-pkfq6xp_ 2023-06-26T16:42:36,554 Created build tracker: /tmp/pip-build-tracker-pkfq6xp_ 2023-06-26T16:42:36,554 Entered build tracker: /tmp/pip-build-tracker-pkfq6xp_ 2023-06-26T16:42:36,555 Created temporary directory: /tmp/pip-wheel-gwpmxd7g 2023-06-26T16:42:36,558 Created temporary directory: /tmp/pip-ephem-wheel-cache-433j3fj7 2023-06-26T16:42:36,581 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-06-26T16:42:36,584 2 location(s) to search for versions of lean-dojo: 2023-06-26T16:42:36,584 * https://pypi.org/simple/lean-dojo/ 2023-06-26T16:42:36,584 * https://www.piwheels.org/simple/lean-dojo/ 2023-06-26T16:42:36,584 Fetching project page and analyzing links: https://pypi.org/simple/lean-dojo/ 2023-06-26T16:42:36,585 Getting page https://pypi.org/simple/lean-dojo/ 2023-06-26T16:42:36,587 Found index url https://pypi.org/simple/ 2023-06-26T16:42:36,640 Fetched page https://pypi.org/simple/lean-dojo/ as application/vnd.pypi.simple.v1+json 2023-06-26T16:42:36,642 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-26T16:42:36,643 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-26T16:42:36,643 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-06-26T16:42:36,644 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-06-26T16:42:36,644 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean-dojo/ 2023-06-26T16:42:36,644 Getting page https://www.piwheels.org/simple/lean-dojo/ 2023-06-26T16:42:36,645 Found index url https://www.piwheels.org/simple/ 2023-06-26T16:42:36,824 Fetched page https://www.piwheels.org/simple/lean-dojo/ as text/html 2023-06-26T16:42:36,825 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-06-26T16:42:36,825 Skipping link: not a file: https://www.piwheels.org/simple/lean-dojo/ 2023-06-26T16:42:36,826 Skipping link: not a file: https://pypi.org/simple/lean-dojo/ 2023-06-26T16:42:36,843 Given no hashes to check 1 links for project 'lean-dojo': discarding no candidates 2023-06-26T16:42:36,860 Collecting lean-dojo==1.1.0 2023-06-26T16:42:36,862 Created temporary directory: /tmp/pip-unpack-3pbs2k9n 2023-06-26T16:42:36,998 Downloading lean_dojo-1.1.0.tar.gz (68 kB) 2023-06-26T16:42:37,091 Added lean-dojo==1.1.0 from https://files.pythonhosted.org/packages/cc/d7/c0bc01f1fedb49e0ba1be71e2968ca74f40703fbcfb65e71ab83bb4cfb07/lean_dojo-1.1.0.tar.gz to build tracker '/tmp/pip-build-tracker-pkfq6xp_' 2023-06-26T16:42:37,095 Created temporary directory: /tmp/pip-build-env-ntxxchxn 2023-06-26T16:42:37,105 Installing build dependencies: started 2023-06-26T16:42:37,106 Running command pip subprocess to install build dependencies 2023-06-26T16:42:38,291 Using pip 23.1.2 from /home/piwheels/.local/lib/python3.9/site-packages/pip (python 3.9) 2023-06-26T16:42:38,650 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-06-26T16:42:39,050 Collecting hatchling 2023-06-26T16:42:39,069 Using cached https://www.piwheels.org/simple/hatchling/hatchling-1.18.0-py3-none-any.whl (75 kB) 2023-06-26T16:42:39,167 Collecting editables>=0.3 (from hatchling) 2023-06-26T16:42:39,182 Using cached https://www.piwheels.org/simple/editables/editables-0.3-py3-none-any.whl (4.7 kB) 2023-06-26T16:42:39,357 Collecting packaging>=21.3 (from hatchling) 2023-06-26T16:42:39,374 Using cached https://www.piwheels.org/simple/packaging/packaging-23.1-py3-none-any.whl (48 kB) 2023-06-26T16:42:39,486 Collecting pathspec>=0.10.1 (from hatchling) 2023-06-26T16:42:39,505 Using cached https://www.piwheels.org/simple/pathspec/pathspec-0.11.1-py3-none-any.whl (29 kB) 2023-06-26T16:42:39,626 Collecting pluggy>=1.0.0 (from hatchling) 2023-06-26T16:42:39,642 Using cached https://www.piwheels.org/simple/pluggy/pluggy-1.2.0-py3-none-any.whl (17 kB) 2023-06-26T16:42:39,758 Collecting tomli>=1.2.2 (from hatchling) 2023-06-26T16:42:39,774 Using cached https://www.piwheels.org/simple/tomli/tomli-2.0.1-py3-none-any.whl (12 kB) 2023-06-26T16:42:39,963 Collecting trove-classifiers (from hatchling) 2023-06-26T16:42:39,981 Using cached https://www.piwheels.org/simple/trove-classifiers/trove_classifiers-2023.5.24-py3-none-any.whl (13 kB) 2023-06-26T16:42:41,526 Installing collected packages: trove-classifiers, tomli, pluggy, pathspec, packaging, editables, hatchling 2023-06-26T16:42:42,371 Creating /tmp/pip-build-env-ntxxchxn/overlay/bin 2023-06-26T16:42:42,373 changing mode of /tmp/pip-build-env-ntxxchxn/overlay/bin/hatchling to 755 2023-06-26T16:42:42,395 Successfully installed editables-0.3 hatchling-1.18.0 packaging-23.1 pathspec-0.11.1 pluggy-1.2.0 tomli-2.0.1 trove-classifiers-2023.5.24 2023-06-26T16:42:42,632 Installing build dependencies: finished with status 'done' 2023-06-26T16:42:42,637 Getting requirements to build wheel: started 2023-06-26T16:42:42,638 Running command Getting requirements to build wheel 2023-06-26T16:42:42,930 Getting requirements to build wheel: finished with status 'done' 2023-06-26T16:42:42,934 Created temporary directory: /tmp/pip-modern-metadata-t403dg4w 2023-06-26T16:42:42,937 Preparing metadata (pyproject.toml): started 2023-06-26T16:42:42,938 Running command Preparing metadata (pyproject.toml) 2023-06-26T16:42:43,505 Preparing metadata (pyproject.toml): finished with status 'done' 2023-06-26T16:42:43,513 Source in /tmp/pip-wheel-gwpmxd7g/lean-dojo_ed4b820b19a24525a0972da41aa7c436 has version 1.1.0, which satisfies requirement lean-dojo==1.1.0 from https://files.pythonhosted.org/packages/cc/d7/c0bc01f1fedb49e0ba1be71e2968ca74f40703fbcfb65e71ab83bb4cfb07/lean_dojo-1.1.0.tar.gz 2023-06-26T16:42:43,514 Removed lean-dojo==1.1.0 from https://files.pythonhosted.org/packages/cc/d7/c0bc01f1fedb49e0ba1be71e2968ca74f40703fbcfb65e71ab83bb4cfb07/lean_dojo-1.1.0.tar.gz from build tracker '/tmp/pip-build-tracker-pkfq6xp_' 2023-06-26T16:42:43,521 Created temporary directory: /tmp/pip-unpack-e2_njr94 2023-06-26T16:42:43,522 Building wheels for collected packages: lean-dojo 2023-06-26T16:42:43,526 Created temporary directory: /tmp/pip-wheel-d8869xai 2023-06-26T16:42:43,526 Destination directory: /tmp/pip-wheel-d8869xai 2023-06-26T16:42:43,528 Building wheel for lean-dojo (pyproject.toml): started 2023-06-26T16:42:43,529 Running command Building wheel for lean-dojo (pyproject.toml) 2023-06-26T16:42:43,661 Building wheel for lean-dojo (pyproject.toml): finished with status 'done' 2023-06-26T16:42:43,667 Created wheel for lean-dojo: filename=lean_dojo-1.1.0-py3-none-any.whl size=72974 sha256=87880902b9e1eacc298447a2cc1451c0aebc8a3687db8ccd1c77f3a5936bc31a 2023-06-26T16:42:43,668 Stored in directory: /tmp/pip-ephem-wheel-cache-433j3fj7/wheels/0d/8d/95/7a01ebf3a120f02dbbda5bd29f067ba58e5bcea1a1168e7ae9 2023-06-26T16:42:43,680 Successfully built lean-dojo 2023-06-26T16:42:43,686 Removed build tracker: '/tmp/pip-build-tracker-pkfq6xp_'