2024-05-16T14:03:53,931 Created temporary directory: /tmp/pip-build-tracker-5qti7rfg
2024-05-16T14:03:53,933 Initialized build tracking at /tmp/pip-build-tracker-5qti7rfg
2024-05-16T14:03:53,933 Created build tracker: /tmp/pip-build-tracker-5qti7rfg
2024-05-16T14:03:53,934 Entered build tracker: /tmp/pip-build-tracker-5qti7rfg
2024-05-16T14:03:53,935 Created temporary directory: /tmp/pip-wheel-jbdcezkd
2024-05-16T14:03:53,938 Created temporary directory: /tmp/pip-ephem-wheel-cache-wo2mcuo8
2024-05-16T14:03:53,963 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-05-16T14:03:53,966 2 location(s) to search for versions of lean4-jupyter:
2024-05-16T14:03:53,966 * https://pypi.org/simple/lean4-jupyter/
2024-05-16T14:03:53,966 * https://www.piwheels.org/simple/lean4-jupyter/
2024-05-16T14:03:53,967 Fetching project page and analyzing links: https://pypi.org/simple/lean4-jupyter/
2024-05-16T14:03:53,968 Getting page https://pypi.org/simple/lean4-jupyter/
2024-05-16T14:03:53,969 Found index url https://pypi.org/simple/
2024-05-16T14:03:54,185 Fetched page https://pypi.org/simple/lean4-jupyter/ as application/vnd.pypi.simple.v1+json
2024-05-16T14:03:54,187   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-16T14:03:54,188   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-16T14:03:54,188   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-16T14:03:54,189   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-16T14:03:54,189   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-16T14:03:54,190   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-16T14:03:54,191 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean4-jupyter/
2024-05-16T14:03:54,191 Getting page https://www.piwheels.org/simple/lean4-jupyter/
2024-05-16T14:03:54,192 Found index url https://www.piwheels.org/simple/
2024-05-16T14:03:54,418 Fetched page https://www.piwheels.org/simple/lean4-jupyter/ as text/html
2024-05-16T14:03:54,419   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-16T14:03:54,420   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-16T14:03:54,421 Skipping link: not a file: https://www.piwheels.org/simple/lean4-jupyter/
2024-05-16T14:03:54,422 Skipping link: not a file: https://pypi.org/simple/lean4-jupyter/
2024-05-16T14:03:54,449 Given no hashes to check 1 links for project 'lean4-jupyter': discarding no candidates
2024-05-16T14:03:54,475 Collecting lean4-jupyter==0.0.1rc8
2024-05-16T14:03:54,478   Created temporary directory: /tmp/pip-unpack-gown1i2d
2024-05-16T14:03:54,703   Downloading lean4_jupyter-0.0.1rc8.tar.gz (29 kB)
2024-05-16T14:03:54,797   Added lean4-jupyter==0.0.1rc8 from https://files.pythonhosted.org/packages/70/d2/04562ff792ff27d504c2f30101512ce2335058df11e58a61b63fbf624d9e/lean4_jupyter-0.0.1rc8.tar.gz to build tracker '/tmp/pip-build-tracker-5qti7rfg'
2024-05-16T14:03:54,801   Created temporary directory: /tmp/pip-build-env-s3crt2ku
2024-05-16T14:03:54,806   Installing build dependencies: started
2024-05-16T14:03:54,807   Running command pip subprocess to install build dependencies
2024-05-16T14:03:55,948   Using pip 24.0 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11)
2024-05-16T14:03:56,464   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-05-16T14:03:56,882   Collecting flit_core<4,>=3.2
2024-05-16T14:03:56,898     Using cached https://www.piwheels.org/simple/flit-core/flit_core-3.9.0-py3-none-any.whl (63 kB)
2024-05-16T14:03:59,156   Installing collected packages: flit_core
2024-05-16T14:03:59,468   Successfully installed flit_core-3.9.0
2024-05-16T14:03:59,925   Installing build dependencies: finished with status 'done'
2024-05-16T14:03:59,929   Getting requirements to build wheel: started
2024-05-16T14:03:59,930   Running command Getting requirements to build wheel
2024-05-16T14:04:00,248   Getting requirements to build wheel: finished with status 'done'
2024-05-16T14:04:00,251   Created temporary directory: /tmp/pip-modern-metadata-6t83__3z
2024-05-16T14:04:00,253   Preparing metadata (pyproject.toml): started
2024-05-16T14:04:00,255   Running command Preparing metadata (pyproject.toml)
2024-05-16T14:04:00,526   Version number normalised: '0.0.1-rc8' -> '0.0.1rc8' (see PEP 440)
2024-05-16T14:04:00,572   Preparing metadata (pyproject.toml): finished with status 'done'
2024-05-16T14:04:00,577   Source in /tmp/pip-wheel-jbdcezkd/lean4-jupyter_3f868e77ef2f49218afd7c170f6f59a1 has version 0.0.1rc8, which satisfies requirement lean4-jupyter==0.0.1rc8 from https://files.pythonhosted.org/packages/70/d2/04562ff792ff27d504c2f30101512ce2335058df11e58a61b63fbf624d9e/lean4_jupyter-0.0.1rc8.tar.gz
2024-05-16T14:04:00,578   Removed lean4-jupyter==0.0.1rc8 from https://files.pythonhosted.org/packages/70/d2/04562ff792ff27d504c2f30101512ce2335058df11e58a61b63fbf624d9e/lean4_jupyter-0.0.1rc8.tar.gz from build tracker '/tmp/pip-build-tracker-5qti7rfg'
2024-05-16T14:04:00,582 Created temporary directory: /tmp/pip-unpack-hjggcqa2
2024-05-16T14:04:00,583 Created temporary directory: /tmp/pip-unpack-gvs04_si
2024-05-16T14:04:00,600 Building wheels for collected packages: lean4-jupyter
2024-05-16T14:04:00,604   Created temporary directory: /tmp/pip-wheel-xzo8x21r
2024-05-16T14:04:00,605   Destination directory: /tmp/pip-wheel-xzo8x21r
2024-05-16T14:04:00,607   Building wheel for lean4-jupyter (pyproject.toml): started
2024-05-16T14:04:00,608   Running command Building wheel for lean4-jupyter (pyproject.toml)
2024-05-16T14:04:00,882   Version number normalised: '0.0.1-rc8' -> '0.0.1rc8' (see PEP 440)
2024-05-16T14:04:00,968   Building wheel for lean4-jupyter (pyproject.toml): finished with status 'done'
2024-05-16T14:04:00,973   Created wheel for lean4-jupyter: filename=lean4_jupyter-0.0.1rc8-py2.py3-none-any.whl size=15068 sha256=8d8ed38e952a431bf90f339957cdd29d051b833d8d32a926a2af062cb9007c11
2024-05-16T14:04:00,975   Stored in directory: /tmp/pip-ephem-wheel-cache-wo2mcuo8/wheels/51/03/33/21c3bd70fc3a05354c13ea709f4d17f4960eb5322d5ca07bdb
2024-05-16T14:04:00,989 Successfully built lean4-jupyter
2024-05-16T14:04:00,993 Removed build tracker: '/tmp/pip-build-tracker-5qti7rfg'