2024-05-16T10:51:42,317 Created temporary directory: /tmp/pip-build-tracker-d5l1kk08 2024-05-16T10:51:42,319 Initialized build tracking at /tmp/pip-build-tracker-d5l1kk08 2024-05-16T10:51:42,319 Created build tracker: /tmp/pip-build-tracker-d5l1kk08 2024-05-16T10:51:42,320 Entered build tracker: /tmp/pip-build-tracker-d5l1kk08 2024-05-16T10:51:42,320 Created temporary directory: /tmp/pip-wheel-ol_ckvge 2024-05-16T10:51:42,323 Created temporary directory: /tmp/pip-ephem-wheel-cache-f9qzpwyh 2024-05-16T10:51:42,345 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-05-16T10:51:42,348 2 location(s) to search for versions of lean4-jupyter: 2024-05-16T10:51:42,348 * https://pypi.org/simple/lean4-jupyter/ 2024-05-16T10:51:42,348 * https://www.piwheels.org/simple/lean4-jupyter/ 2024-05-16T10:51:42,349 Fetching project page and analyzing links: https://pypi.org/simple/lean4-jupyter/ 2024-05-16T10:51:42,350 Getting page https://pypi.org/simple/lean4-jupyter/ 2024-05-16T10:51:42,351 Found index url https://pypi.org/simple/ 2024-05-16T10:51:42,565 Fetched page https://pypi.org/simple/lean4-jupyter/ as application/vnd.pypi.simple.v1+json 2024-05-16T10:51:42,567 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:51:42,568 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:51:42,569 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:51:42,569 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:51:42,570 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean4-jupyter/ 2024-05-16T10:51:42,571 Getting page https://www.piwheels.org/simple/lean4-jupyter/ 2024-05-16T10:51:42,572 Found index url https://www.piwheels.org/simple/ 2024-05-16T10:51:42,820 Fetched page https://www.piwheels.org/simple/lean4-jupyter/ as text/html 2024-05-16T10:51:42,821 Skipping link: not a file: https://www.piwheels.org/simple/lean4-jupyter/ 2024-05-16T10:51:42,822 Skipping link: not a file: https://pypi.org/simple/lean4-jupyter/ 2024-05-16T10:51:42,841 Given no hashes to check 1 links for project 'lean4-jupyter': discarding no candidates 2024-05-16T10:51:42,858 Collecting lean4-jupyter==0.0.1rc6 2024-05-16T10:51:42,861 Created temporary directory: /tmp/pip-unpack-45itxcqd 2024-05-16T10:51:43,071 Downloading lean4_jupyter-0.0.1rc6.tar.gz (28 kB) 2024-05-16T10:51:43,150 Added lean4-jupyter==0.0.1rc6 from https://files.pythonhosted.org/packages/a4/59/90d536802c4fa5c76aa494144324352649c754f097dfd448d5ffef36ecf9/lean4_jupyter-0.0.1rc6.tar.gz to build tracker '/tmp/pip-build-tracker-d5l1kk08' 2024-05-16T10:51:43,154 Created temporary directory: /tmp/pip-build-env-njefpxj6 2024-05-16T10:51:43,159 Installing build dependencies: started 2024-05-16T10:51:43,160 Running command pip subprocess to install build dependencies 2024-05-16T10:51:44,304 Using pip 24.0 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11) 2024-05-16T10:51:44,806 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-05-16T10:51:45,279 Collecting flit_core<4,>=3.2 2024-05-16T10:51:45,309 Using cached https://www.piwheels.org/simple/flit-core/flit_core-3.9.0-py3-none-any.whl (63 kB) 2024-05-16T10:51:47,576 Installing collected packages: flit_core 2024-05-16T10:51:47,899 Successfully installed flit_core-3.9.0 2024-05-16T10:51:48,427 Installing build dependencies: finished with status 'done' 2024-05-16T10:51:48,430 Getting requirements to build wheel: started 2024-05-16T10:51:48,432 Running command Getting requirements to build wheel 2024-05-16T10:51:48,777 Getting requirements to build wheel: finished with status 'done' 2024-05-16T10:51:48,780 Created temporary directory: /tmp/pip-modern-metadata-0d3p4hgd 2024-05-16T10:51:48,782 Preparing metadata (pyproject.toml): started 2024-05-16T10:51:48,783 Running command Preparing metadata (pyproject.toml) 2024-05-16T10:51:49,056 Version number normalised: '0.0.1-rc6' -> '0.0.1rc6' (see PEP 440) 2024-05-16T10:51:49,101 Preparing metadata (pyproject.toml): finished with status 'done' 2024-05-16T10:51:49,106 Source in /tmp/pip-wheel-ol_ckvge/lean4-jupyter_4c08203093d841dcac45ed5ca81095d3 has version 0.0.1rc6, which satisfies requirement lean4-jupyter==0.0.1rc6 from https://files.pythonhosted.org/packages/a4/59/90d536802c4fa5c76aa494144324352649c754f097dfd448d5ffef36ecf9/lean4_jupyter-0.0.1rc6.tar.gz 2024-05-16T10:51:49,107 Removed lean4-jupyter==0.0.1rc6 from https://files.pythonhosted.org/packages/a4/59/90d536802c4fa5c76aa494144324352649c754f097dfd448d5ffef36ecf9/lean4_jupyter-0.0.1rc6.tar.gz from build tracker '/tmp/pip-build-tracker-d5l1kk08' 2024-05-16T10:51:49,111 Created temporary directory: /tmp/pip-unpack-g3yb22u6 2024-05-16T10:51:49,112 Created temporary directory: /tmp/pip-unpack-fjgnbdv1 2024-05-16T10:51:49,118 Building wheels for collected packages: lean4-jupyter 2024-05-16T10:51:49,122 Created temporary directory: /tmp/pip-wheel-u3xdymyg 2024-05-16T10:51:49,123 Destination directory: /tmp/pip-wheel-u3xdymyg 2024-05-16T10:51:49,125 Building wheel for lean4-jupyter (pyproject.toml): started 2024-05-16T10:51:49,126 Running command Building wheel for lean4-jupyter (pyproject.toml) 2024-05-16T10:51:49,398 Version number normalised: '0.0.1-rc6' -> '0.0.1rc6' (see PEP 440) 2024-05-16T10:51:49,456 Building wheel for lean4-jupyter (pyproject.toml): finished with status 'done' 2024-05-16T10:51:49,460 Created wheel for lean4-jupyter: filename=lean4_jupyter-0.0.1rc6-py2.py3-none-any.whl size=14759 sha256=9fe999a40cf5240d460cbc28dd5fbbe5e8f6faba33dd7a8aa707dfac1e62074b 2024-05-16T10:51:49,461 Stored in directory: /tmp/pip-ephem-wheel-cache-f9qzpwyh/wheels/32/2f/f5/be276a12a8419ee0d0edce4fb6265538e778a502f8158c0264 2024-05-16T10:51:49,471 Successfully built lean4-jupyter 2024-05-16T10:51:49,475 Removed build tracker: '/tmp/pip-build-tracker-d5l1kk08'