2024-05-16T10:53:03,074 Created temporary directory: /tmp/pip-build-tracker-u52ei6am 2024-05-16T10:53:03,075 Initialized build tracking at /tmp/pip-build-tracker-u52ei6am 2024-05-16T10:53:03,076 Created build tracker: /tmp/pip-build-tracker-u52ei6am 2024-05-16T10:53:03,076 Entered build tracker: /tmp/pip-build-tracker-u52ei6am 2024-05-16T10:53:03,077 Created temporary directory: /tmp/pip-wheel-11wro09j 2024-05-16T10:53:03,081 Created temporary directory: /tmp/pip-ephem-wheel-cache-ajigksmm 2024-05-16T10:53:03,103 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-05-16T10:53:03,107 2 location(s) to search for versions of lean4-jupyter: 2024-05-16T10:53:03,107 * https://pypi.org/simple/lean4-jupyter/ 2024-05-16T10:53:03,107 * https://www.piwheels.org/simple/lean4-jupyter/ 2024-05-16T10:53:03,107 Fetching project page and analyzing links: https://pypi.org/simple/lean4-jupyter/ 2024-05-16T10:53:03,108 Getting page https://pypi.org/simple/lean4-jupyter/ 2024-05-16T10:53:03,110 Found index url https://pypi.org/simple/ 2024-05-16T10:53:03,248 Fetched page https://pypi.org/simple/lean4-jupyter/ as application/vnd.pypi.simple.v1+json 2024-05-16T10:53:03,250 Skipping link: No binaries permitted for lean4-jupyter: https://files.pythonhosted.org/packages/24/f6/d79b0c005b50abe39b10e7a209b9d83b46d695d21118cfcecab7a09db7ee/lean4_jupyter-0.0.1rc6-py2.py3-none-any.whl (from https://pypi.org/simple/lean4-jupyter/) 2024-05-16T10:53:03,250 Found link https://files.pythonhosted.org/packages/a4/59/90d536802c4fa5c76aa494144324352649c754f097dfd448d5ffef36ecf9/lean4_jupyter-0.0.1rc6.tar.gz (from https://pypi.org/simple/lean4-jupyter/), version: 0.0.1rc6 2024-05-16T10:53:03,251 Skipping link: No binaries permitted for lean4-jupyter: https://files.pythonhosted.org/packages/26/32/8759e1ed813aa991f6ee3088b0887b7877a87adbb218ede53941753ac083/lean4_jupyter-0.0.1rc7-py2.py3-none-any.whl (from https://pypi.org/simple/lean4-jupyter/) 2024-05-16T10:53:03,252 Found link https://files.pythonhosted.org/packages/d3/88/5f8c412dcc70718c4903d4304fa6a45535517f0b4170c376ca7d243af409/lean4_jupyter-0.0.1rc7.tar.gz (from https://pypi.org/simple/lean4-jupyter/), version: 0.0.1rc7 2024-05-16T10:53:03,253 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean4-jupyter/ 2024-05-16T10:53:03,254 Getting page https://www.piwheels.org/simple/lean4-jupyter/ 2024-05-16T10:53:03,255 Found index url https://www.piwheels.org/simple/ 2024-05-16T10:53:03,466 Fetched page https://www.piwheels.org/simple/lean4-jupyter/ as text/html 2024-05-16T10:53:03,467 Skipping link: No binaries permitted for lean4-jupyter: https://www.piwheels.org/simple/lean4-jupyter/lean4_jupyter-0.0.1rc6-py2.py3-none-any.whl#sha256=9fe999a40cf5240d460cbc28dd5fbbe5e8f6faba33dd7a8aa707dfac1e62074b (from https://www.piwheels.org/simple/lean4-jupyter/) 2024-05-16T10:53:03,468 Skipping link: not a file: https://www.piwheels.org/simple/lean4-jupyter/ 2024-05-16T10:53:03,469 Skipping link: not a file: https://pypi.org/simple/lean4-jupyter/ 2024-05-16T10:53:03,489 Given no hashes to check 1 links for project 'lean4-jupyter': discarding no candidates 2024-05-16T10:53:03,508 Collecting lean4-jupyter==0.0.1rc7 2024-05-16T10:53:03,511 Created temporary directory: /tmp/pip-unpack-etqnnso5 2024-05-16T10:53:03,720 Downloading lean4_jupyter-0.0.1rc7.tar.gz (28 kB) 2024-05-16T10:53:03,800 Added lean4-jupyter==0.0.1rc7 from https://files.pythonhosted.org/packages/d3/88/5f8c412dcc70718c4903d4304fa6a45535517f0b4170c376ca7d243af409/lean4_jupyter-0.0.1rc7.tar.gz to build tracker '/tmp/pip-build-tracker-u52ei6am' 2024-05-16T10:53:03,804 Created temporary directory: /tmp/pip-build-env-47f413q1 2024-05-16T10:53:03,809 Installing build dependencies: started 2024-05-16T10:53:03,810 Running command pip subprocess to install build dependencies 2024-05-16T10:53:04,981 Using pip 24.0 from /home/piwheels/.local/lib/python3.11/site-packages/pip (python 3.11) 2024-05-16T10:53:05,471 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-05-16T10:53:05,895 Collecting flit_core<4,>=3.2 2024-05-16T10:53:05,940 Using cached https://www.piwheels.org/simple/flit-core/flit_core-3.9.0-py3-none-any.whl (63 kB) 2024-05-16T10:53:08,363 Installing collected packages: flit_core 2024-05-16T10:53:08,682 Successfully installed flit_core-3.9.0 2024-05-16T10:53:09,115 Installing build dependencies: finished with status 'done' 2024-05-16T10:53:09,119 Getting requirements to build wheel: started 2024-05-16T10:53:09,120 Running command Getting requirements to build wheel 2024-05-16T10:53:09,436 Getting requirements to build wheel: finished with status 'done' 2024-05-16T10:53:09,439 Created temporary directory: /tmp/pip-modern-metadata-wo95kei9 2024-05-16T10:53:09,442 Preparing metadata (pyproject.toml): started 2024-05-16T10:53:09,443 Running command Preparing metadata (pyproject.toml) 2024-05-16T10:53:09,713 Version number normalised: '0.0.1-rc7' -> '0.0.1rc7' (see PEP 440) 2024-05-16T10:53:09,758 Preparing metadata (pyproject.toml): finished with status 'done' 2024-05-16T10:53:09,763 Source in /tmp/pip-wheel-11wro09j/lean4-jupyter_47cd55b331114b15bd66b1d1c7852dad has version 0.0.1rc7, which satisfies requirement lean4-jupyter==0.0.1rc7 from https://files.pythonhosted.org/packages/d3/88/5f8c412dcc70718c4903d4304fa6a45535517f0b4170c376ca7d243af409/lean4_jupyter-0.0.1rc7.tar.gz 2024-05-16T10:53:09,764 Removed lean4-jupyter==0.0.1rc7 from https://files.pythonhosted.org/packages/d3/88/5f8c412dcc70718c4903d4304fa6a45535517f0b4170c376ca7d243af409/lean4_jupyter-0.0.1rc7.tar.gz from build tracker '/tmp/pip-build-tracker-u52ei6am' 2024-05-16T10:53:09,768 Created temporary directory: /tmp/pip-unpack-9zt7umsg 2024-05-16T10:53:09,769 Created temporary directory: /tmp/pip-unpack-dd04a7s2 2024-05-16T10:53:09,775 Building wheels for collected packages: lean4-jupyter 2024-05-16T10:53:09,779 Created temporary directory: /tmp/pip-wheel-i4k9g0pu 2024-05-16T10:53:09,780 Destination directory: /tmp/pip-wheel-i4k9g0pu 2024-05-16T10:53:09,782 Building wheel for lean4-jupyter (pyproject.toml): started 2024-05-16T10:53:09,783 Running command Building wheel for lean4-jupyter (pyproject.toml) 2024-05-16T10:53:10,053 Version number normalised: '0.0.1-rc7' -> '0.0.1rc7' (see PEP 440) 2024-05-16T10:53:10,112 Building wheel for lean4-jupyter (pyproject.toml): finished with status 'done' 2024-05-16T10:53:10,116 Created wheel for lean4-jupyter: filename=lean4_jupyter-0.0.1rc7-py2.py3-none-any.whl size=14955 sha256=9d4b4c36ea32a53d662806788d406cb2b8f30048ab20debb016005e7b2b4d5d5 2024-05-16T10:53:10,117 Stored in directory: /tmp/pip-ephem-wheel-cache-ajigksmm/wheels/ee/02/c1/29598f735ac5166ded0e013fb079ff928cfb2c5162ed5b763c 2024-05-16T10:53:10,127 Successfully built lean4-jupyter 2024-05-16T10:53:10,131 Removed build tracker: '/tmp/pip-build-tracker-u52ei6am'