2024-05-22T02:24:01,105 Created temporary directory: /tmp/pip-build-tracker-o79sydo4
2024-05-22T02:24:01,106 Initialized build tracking at /tmp/pip-build-tracker-o79sydo4
2024-05-22T02:24:01,106 Created build tracker: /tmp/pip-build-tracker-o79sydo4
2024-05-22T02:24:01,107 Entered build tracker: /tmp/pip-build-tracker-o79sydo4
2024-05-22T02:24:01,108 Created temporary directory: /tmp/pip-wheel-zj4x6kfr
2024-05-22T02:24:01,111 Created temporary directory: /tmp/pip-ephem-wheel-cache-0sadqdmy
2024-05-22T02:24:01,133 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-05-22T02:24:01,136 2 location(s) to search for versions of lean4-jupyter:
2024-05-22T02:24:01,136 * https://pypi.org/simple/lean4-jupyter/
2024-05-22T02:24:01,136 * https://www.piwheels.org/simple/lean4-jupyter/
2024-05-22T02:24:01,137 Fetching project page and analyzing links: https://pypi.org/simple/lean4-jupyter/
2024-05-22T02:24:01,138 Getting page https://pypi.org/simple/lean4-jupyter/
2024-05-22T02:24:01,140 Found index url https://pypi.org/simple/
2024-05-22T02:24:01,357 Fetched page https://pypi.org/simple/lean4-jupyter/ as application/vnd.pypi.simple.v1+json
2024-05-22T02:24:01,359   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-22T02:24:01,360   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-22T02:24:01,361   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-22T02:24:01,361   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-22T02:24:01,362   Skipping link: No binaries permitted for lean4-jupyter: https://files.pythonhosted.org/packages/be/a0/28be6e132c56352cea14889b56444cfb4d1910b32f5545d9dd66c1296e80/lean4_jupyter-0.0.1rc8-py2.py3-none-any.whl (from https://pypi.org/simple/lean4-jupyter/)
2024-05-22T02:24:01,363   Found link https://files.pythonhosted.org/packages/70/d2/04562ff792ff27d504c2f30101512ce2335058df11e58a61b63fbf624d9e/lean4_jupyter-0.0.1rc8.tar.gz (from https://pypi.org/simple/lean4-jupyter/), version: 0.0.1rc8
2024-05-22T02:24:01,363   Skipping link: No binaries permitted for lean4-jupyter: https://files.pythonhosted.org/packages/8a/87/c3dcc4795242f059dfc01b6da11e1e4d0cef5d1b33991c3108ae34ad66f8/lean4_jupyter-0.0.1-py2.py3-none-any.whl (from https://pypi.org/simple/lean4-jupyter/)
2024-05-22T02:24:01,364   Found link https://files.pythonhosted.org/packages/cc/f9/efe6457c23de1429cdff2a1dfdb9e97387eb04d728a8d98d60c1edd50393/lean4_jupyter-0.0.1.tar.gz (from https://pypi.org/simple/lean4-jupyter/), version: 0.0.1
2024-05-22T02:24:01,365 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean4-jupyter/
2024-05-22T02:24:01,366 Getting page https://www.piwheels.org/simple/lean4-jupyter/
2024-05-22T02:24:01,367 Found index url https://www.piwheels.org/simple/
2024-05-22T02:24:01,600 Fetched page https://www.piwheels.org/simple/lean4-jupyter/ as text/html
2024-05-22T02:24:01,602   Skipping link: No binaries permitted for lean4-jupyter: https://www.piwheels.org/simple/lean4-jupyter/lean4_jupyter-0.0.1rc8-py2.py3-none-any.whl#sha256=8d8ed38e952a431bf90f339957cdd29d051b833d8d32a926a2af062cb9007c11 (from https://www.piwheels.org/simple/lean4-jupyter/)
2024-05-22T02:24:01,603   Skipping link: No binaries permitted for lean4-jupyter: https://www.piwheels.org/simple/lean4-jupyter/lean4_jupyter-0.0.1rc7-py2.py3-none-any.whl#sha256=9d4b4c36ea32a53d662806788d406cb2b8f30048ab20debb016005e7b2b4d5d5 (from https://www.piwheels.org/simple/lean4-jupyter/)
2024-05-22T02:24:01,603   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-22T02:24:01,604 Skipping link: not a file: https://www.piwheels.org/simple/lean4-jupyter/
2024-05-22T02:24:01,605 Skipping link: not a file: https://pypi.org/simple/lean4-jupyter/
2024-05-22T02:24:01,625 Given no hashes to check 1 links for project 'lean4-jupyter': discarding no candidates
2024-05-22T02:24:01,648 Collecting lean4-jupyter==0.0.1
2024-05-22T02:24:01,651   Created temporary directory: /tmp/pip-unpack-6ogjjcd_
2024-05-22T02:24:01,900   Downloading lean4_jupyter-0.0.1.tar.gz (29 kB)
2024-05-22T02:24:01,983   Added lean4-jupyter==0.0.1 from https://files.pythonhosted.org/packages/cc/f9/efe6457c23de1429cdff2a1dfdb9e97387eb04d728a8d98d60c1edd50393/lean4_jupyter-0.0.1.tar.gz to build tracker '/tmp/pip-build-tracker-o79sydo4'
2024-05-22T02:24:01,987   Created temporary directory: /tmp/pip-build-env-dwn9r5kb
2024-05-22T02:24:01,992   Installing build dependencies: started
2024-05-22T02:24:01,993   Running command pip subprocess to install build dependencies
2024-05-22T02:24:03,139   Using pip 24.0 from /home/piwheels/.local/lib/python3.11/site-packages/pip (python 3.11)
2024-05-22T02:24:03,649   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-05-22T02:24:04,101   Collecting flit_core<4,>=3.2
2024-05-22T02:24:04,118     Using cached https://www.piwheels.org/simple/flit-core/flit_core-3.9.0-py3-none-any.whl (63 kB)
2024-05-22T02:24:06,543   Installing collected packages: flit_core
2024-05-22T02:24:06,868   Successfully installed flit_core-3.9.0
2024-05-22T02:24:07,305   Installing build dependencies: finished with status 'done'
2024-05-22T02:24:07,308   Getting requirements to build wheel: started
2024-05-22T02:24:07,309   Running command Getting requirements to build wheel
2024-05-22T02:24:07,632   Getting requirements to build wheel: finished with status 'done'
2024-05-22T02:24:07,635   Created temporary directory: /tmp/pip-modern-metadata-_lv1lmm2
2024-05-22T02:24:07,637   Preparing metadata (pyproject.toml): started
2024-05-22T02:24:07,639   Running command Preparing metadata (pyproject.toml)
2024-05-22T02:24:07,955   Preparing metadata (pyproject.toml): finished with status 'done'
2024-05-22T02:24:07,959   Source in /tmp/pip-wheel-zj4x6kfr/lean4-jupyter_5c3442a7beaf4fcebaf264a47715274f has version 0.0.1, which satisfies requirement lean4-jupyter==0.0.1 from https://files.pythonhosted.org/packages/cc/f9/efe6457c23de1429cdff2a1dfdb9e97387eb04d728a8d98d60c1edd50393/lean4_jupyter-0.0.1.tar.gz
2024-05-22T02:24:07,960   Removed lean4-jupyter==0.0.1 from https://files.pythonhosted.org/packages/cc/f9/efe6457c23de1429cdff2a1dfdb9e97387eb04d728a8d98d60c1edd50393/lean4_jupyter-0.0.1.tar.gz from build tracker '/tmp/pip-build-tracker-o79sydo4'
2024-05-22T02:24:07,965 Created temporary directory: /tmp/pip-unpack-_pki6bnb
2024-05-22T02:24:07,966 Created temporary directory: /tmp/pip-unpack-5bk3b_fq
2024-05-22T02:24:07,982 Building wheels for collected packages: lean4-jupyter
2024-05-22T02:24:07,987   Created temporary directory: /tmp/pip-wheel-1p5us6fl
2024-05-22T02:24:07,987   Destination directory: /tmp/pip-wheel-1p5us6fl
2024-05-22T02:24:07,990   Building wheel for lean4-jupyter (pyproject.toml): started
2024-05-22T02:24:07,991   Running command Building wheel for lean4-jupyter (pyproject.toml)
2024-05-22T02:24:08,320   Building wheel for lean4-jupyter (pyproject.toml): finished with status 'done'
2024-05-22T02:24:08,324   Created wheel for lean4-jupyter: filename=lean4_jupyter-0.0.1-py2.py3-none-any.whl size=15164 sha256=3b84508a48ec599c05bdfc3f488f2f3b23a9bc2b28c2babe671eb9541f93b261
2024-05-22T02:24:08,325   Stored in directory: /tmp/pip-ephem-wheel-cache-0sadqdmy/wheels/33/f2/cd/e10bcea58d924b8ec2df9aac53d131ea477cf9520d0bc7a48d
2024-05-22T02:24:08,336 Successfully built lean4-jupyter
2024-05-22T02:24:08,339 Removed build tracker: '/tmp/pip-build-tracker-o79sydo4'