2024-11-12T07:12:27,970 Created temporary directory: /tmp/pip-build-tracker-vz4n01gp
2024-11-12T07:12:27,971 Initialized build tracking at /tmp/pip-build-tracker-vz4n01gp
2024-11-12T07:12:27,972 Created build tracker: /tmp/pip-build-tracker-vz4n01gp
2024-11-12T07:12:27,972 Entered build tracker: /tmp/pip-build-tracker-vz4n01gp
2024-11-12T07:12:27,973 Created temporary directory: /tmp/pip-wheel-sp60fy8l
2024-11-12T07:12:27,977 Created temporary directory: /tmp/pip-ephem-wheel-cache-oj24h227
2024-11-12T07:12:28,021 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-11-12T07:12:28,023 2 location(s) to search for versions of lean4-jupyter:
2024-11-12T07:12:28,023 * https://pypi.org/simple/lean4-jupyter/
2024-11-12T07:12:28,023 * https://www.piwheels.org/simple/lean4-jupyter/
2024-11-12T07:12:28,024 Fetching project page and analyzing links: https://pypi.org/simple/lean4-jupyter/
2024-11-12T07:12:28,025 Getting page https://pypi.org/simple/lean4-jupyter/
2024-11-12T07:12:28,026 Found index url https://pypi.org/simple/
2024-11-12T07:12:28,245 Fetched page https://pypi.org/simple/lean4-jupyter/ as application/vnd.pypi.simple.v1+json
2024-11-12T07:12:28,248   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-11-12T07:12:28,249   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-11-12T07:12:28,250   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-11-12T07:12:28,250   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-11-12T07:12:28,251   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-11-12T07:12:28,251   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-11-12T07:12:28,252   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-11-12T07:12:28,253   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-11-12T07:12:28,254   Skipping link: No binaries permitted for lean4-jupyter: https://files.pythonhosted.org/packages/dc/a6/3a266d35756ea7ce3c2404c8fd6be39cda97f873a0dae221cdd241a7a06d/lean4_jupyter-0.0.2rc1-py2.py3-none-any.whl (from https://pypi.org/simple/lean4-jupyter/)
2024-11-12T07:12:28,255   Found link https://files.pythonhosted.org/packages/81/be/2aff8c681ea48d0ac069eafe3d755f7fbb2bc522e3cb48fa44435e8d7fd8/lean4_jupyter-0.0.2rc1.tar.gz (from https://pypi.org/simple/lean4-jupyter/), version: 0.0.2rc1
2024-11-12T07:12:28,255   Skipping link: No binaries permitted for lean4-jupyter: https://files.pythonhosted.org/packages/db/03/9dcbcb3eb7637a169e19edebe84eb2692693b8c2db2d3dc312d3b716f872/lean4_jupyter-0.0.2-py2.py3-none-any.whl (from https://pypi.org/simple/lean4-jupyter/)
2024-11-12T07:12:28,256   Found link https://files.pythonhosted.org/packages/bd/1e/e12cf2929ed9a5319b32d56bbcdd4c7fc52802950a47b7c9eb8687633fa5/lean4_jupyter-0.0.2.tar.gz (from https://pypi.org/simple/lean4-jupyter/), version: 0.0.2
2024-11-12T07:12:28,257 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean4-jupyter/
2024-11-12T07:12:28,258 Getting page https://www.piwheels.org/simple/lean4-jupyter/
2024-11-12T07:12:28,259 Found index url https://www.piwheels.org/simple/
2024-11-12T07:12:28,424 Fetched page https://www.piwheels.org/simple/lean4-jupyter/ as text/html
2024-11-12T07:12:28,427   Skipping link: No binaries permitted for lean4-jupyter: https://www.piwheels.org/simple/lean4-jupyter/lean4_jupyter-0.0.2rc1-py2.py3-none-any.whl#sha256=9e90a7a79516c08015fd77642d3218e626f31334f90b07efc895eab2bd34fa36 (from https://www.piwheels.org/simple/lean4-jupyter/)
2024-11-12T07:12:28,427   Skipping link: No binaries permitted for lean4-jupyter: https://www.piwheels.org/simple/lean4-jupyter/lean4_jupyter-0.0.1-py2.py3-none-any.whl#sha256=3b84508a48ec599c05bdfc3f488f2f3b23a9bc2b28c2babe671eb9541f93b261 (from https://www.piwheels.org/simple/lean4-jupyter/)
2024-11-12T07:12:28,428   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-11-12T07:12:28,428   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-11-12T07:12:28,429   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-11-12T07:12:28,429 Skipping link: not a file: https://www.piwheels.org/simple/lean4-jupyter/
2024-11-12T07:12:28,430 Skipping link: not a file: https://pypi.org/simple/lean4-jupyter/
2024-11-12T07:12:28,449 Given no hashes to check 1 links for project 'lean4-jupyter': discarding no candidates
2024-11-12T07:12:28,451 Collecting lean4-jupyter==0.0.2
2024-11-12T07:12:28,453   Created temporary directory: /tmp/pip-unpack-wgbam_by
2024-11-12T07:12:28,667   Downloading lean4_jupyter-0.0.2.tar.gz (83 kB)
2024-11-12T07:12:28,813   Added lean4-jupyter==0.0.2 from https://files.pythonhosted.org/packages/bd/1e/e12cf2929ed9a5319b32d56bbcdd4c7fc52802950a47b7c9eb8687633fa5/lean4_jupyter-0.0.2.tar.gz to build tracker '/tmp/pip-build-tracker-vz4n01gp'
2024-11-12T07:12:28,817   Created temporary directory: /tmp/pip-build-env-9gqykmyb
2024-11-12T07:12:28,821   Installing build dependencies: started
2024-11-12T07:12:28,822   Running command pip subprocess to install build dependencies
2024-11-12T07:12:29,962   Using pip 24.3.1 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11)
2024-11-12T07:12:29,963   Non-user install by explicit request
2024-11-12T07:12:30,638   Created build tracker: /tmp/pip-build-tracker-vz4n01gp
2024-11-12T07:12:30,638   Entered build tracker: /tmp/pip-build-tracker-vz4n01gp
2024-11-12T07:12:30,641   Created temporary directory: /tmp/pip-install-u8xcaipb
2024-11-12T07:12:30,646   Created temporary directory: /tmp/pip-ephem-wheel-cache-a73lxoq1
2024-11-12T07:12:30,690   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-11-12T07:12:30,693   2 location(s) to search for versions of flit-core:
2024-11-12T07:12:30,693   * https://pypi.org/simple/flit-core/
2024-11-12T07:12:30,694   * https://www.piwheels.org/simple/flit-core/
2024-11-12T07:12:30,695   Fetching project page and analyzing links: https://pypi.org/simple/flit-core/
2024-11-12T07:12:30,695   Getting page https://pypi.org/simple/flit-core/
2024-11-12T07:12:30,697   Found index url https://pypi.org/simple/
2024-11-12T07:12:30,700   Looking up "https://pypi.org/simple/flit-core/" in the cache
2024-11-12T07:12:30,700   Request header has "max_age" as 0, cache bypassed
2024-11-12T07:12:30,705   Starting new HTTPS connection (1): pypi.org:443
2024-11-12T07:12:30,847   https://pypi.org:443 "GET /simple/flit-core/ HTTP/1.1" 304 0
2024-11-12T07:12:30,853   Fetched page https://pypi.org/simple/flit-core/ as application/vnd.pypi.simple.v1+json
2024-11-12T07:12:30,882     Found link https://files.pythonhosted.org/packages/12/4f/8a0a7b2033b8a80451d214a289aecf486afdfb8e155b25986b0cbd3eb6e8/flit_core-2.0rc1-py2.py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0rc1
2024-11-12T07:12:30,884     Found link https://files.pythonhosted.org/packages/7f/8c/583b4412da71153ec70ed78341983c242a234d47abcfc8485284c6bb7b48/flit_core-2.0rc1.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0rc1
2024-11-12T07:12:30,886     Found link https://files.pythonhosted.org/packages/d0/72/0fe258ce61fa1b59adb6c76a701b19a96e0033fbe054b297a2012e33ad44/flit_core-2.0rc2-py2.py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0rc2
2024-11-12T07:12:30,888     Found link https://files.pythonhosted.org/packages/2f/1b/41ac0da91712d9c3e7d06a6e1eb7dfe616c96a14e4036e9b9c37ea9ee6f8/flit_core-2.0rc2.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0rc2
2024-11-12T07:12:30,890     Found link https://files.pythonhosted.org/packages/6a/ff/be83d749ff1ad481b09e1e6069178c2d5d6c56a10b493353f0cc405e8475/flit_core-2.0rc3-py2.py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0rc3
2024-11-12T07:12:30,891     Found link https://files.pythonhosted.org/packages/2d/36/bcd4bfb529261a27f113eb2e6fb9f5e5aed4d0b79be59a76ce65689a1892/flit_core-2.0rc3.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0rc3
2024-11-12T07:12:30,893     Found link https://files.pythonhosted.org/packages/dc/81/1f336b50c81e5345aafe7469e4f4c1104faa82b76e6e9885456b47d898fe/flit_core-2.0-py2.py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0
2024-11-12T07:12:30,895     Found link https://files.pythonhosted.org/packages/ec/cc/60e05480a5bf4b44ee1dbd179ca715ca4d192597d054e8c97bc0403060e8/flit_core-2.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0
2024-11-12T07:12:30,897     Found link https://files.pythonhosted.org/packages/36/6a/b0e5ba2ad9d801887c8df7095535635292ce9b97f63cbb86f2b4d96dfebf/flit_core-2.0.1-py2.py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0.1
2024-11-12T07:12:30,899     Found link https://files.pythonhosted.org/packages/0e/3d/e9b28cd1d220ca635234e37567099bf4d50ea0a98a77b360b8d8042352e6/flit_core-2.0.1.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0.1
2024-11-12T07:12:30,900     Found link https://files.pythonhosted.org/packages/66/d2/c520657053052af580573e32aeafe50a9f68fc77c5d87ff551ca856d2aa3/flit_core-2.0.2-py2.py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0.2
2024-11-12T07:12:30,902     Found link https://files.pythonhosted.org/packages/89/cf/a76f37dfded167e97936b8d53308abe5a8d00b97d417a6a405e69167e685/flit_core-2.0.2.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0.2
2024-11-12T07:12:30,904     Found link https://files.pythonhosted.org/packages/b6/b0/50719ef7d12cd39ccfa4e48abb593764c8e4a6d0d9bdf7815be1949142ff/flit_core-2.1.0-py2.py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.1.0
2024-11-12T07:12:30,905     Found link https://files.pythonhosted.org/packages/6c/6a/f945cf72957752ba0655260a8cb9c1139ea134c5f4b104bc48027349a6f4/flit_core-2.1.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.1.0
2024-11-12T07:12:30,907     Found link https://files.pythonhosted.org/packages/25/4c/0b1ed660937d96ed192c376d3983dd7b052b887c8041ae020c950c0d06f0/flit_core-2.2.0-py2.py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.2.0
2024-11-12T07:12:30,909     Found link https://files.pythonhosted.org/packages/77/72/5dda5dc417a4e702e0d7e4a77e9802792a0e4a2daec2aeed915ead7db477/flit_core-2.2.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.2.0
2024-11-12T07:12:30,910     Found link https://files.pythonhosted.org/packages/4b/3c/82798771fc1fd978c9225c5ae25eef45cb23b0df4728f208024a5b57901f/flit_core-2.3.0-py2.py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.3.0
2024-11-12T07:12:30,912     Found link https://files.pythonhosted.org/packages/bb/92/e51c58d463ebbabb7b226662655cef6d17d3b4b83f570b08f6be0fe2b1b8/flit_core-2.3.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.3.0
2024-11-12T07:12:30,913     Found link https://files.pythonhosted.org/packages/a8/66/67758f788959c2557c4d0f80e4895c3c0802873be95b82a5213ea39542d7/flit_core-3.0.0-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.4), version: 3.0.0
2024-11-12T07:12:30,915     Found link https://files.pythonhosted.org/packages/0e/b9/040baf94b40c80081bbecbd90365a5d7765a1c07e31b6c949838cc4c93d1/flit_core-3.0.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.4), version: 3.0.0
2024-11-12T07:12:30,916     Found link https://files.pythonhosted.org/packages/ed/0c/50352b127c0936cd59dd762db41d0e17986401c42ba613fa502e926d33ec/flit_core-3.1.0-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.4), version: 3.1.0
2024-11-12T07:12:30,917     Found link https://files.pythonhosted.org/packages/4c/8f/bed80c03f71cb3a2935882f391b53d2510c359191e5e0361650fa02d1365/flit_core-3.1.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.4), version: 3.1.0
2024-11-12T07:12:30,918     Found link https://files.pythonhosted.org/packages/67/f6/382ac797101385edb1908e1105121ac33f910cd06d126ac9ac1bd540a3b3/flit_core-3.2.0-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.4), version: 3.2.0
2024-11-12T07:12:30,919     Found link https://files.pythonhosted.org/packages/a7/06/700a2ae25c67bf3722c9b01788f43808ebc94b6a544b5008770e19406f6a/flit_core-3.2.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.4), version: 3.2.0
2024-11-12T07:12:30,920     Found link https://files.pythonhosted.org/packages/87/5e/b4d6334fd01716e08a76204ffd85031b640567b7548ac79f258f40eded6b/flit_core-3.3.0-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.4), version: 3.3.0
2024-11-12T07:12:30,922     Found link https://files.pythonhosted.org/packages/6f/cd/3653de7b1d61f0ef95f2459ac752f23a91dbc84f991787201aa52d0cf1cc/flit_core-3.3.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.4), version: 3.3.0
2024-11-12T07:12:30,923     Found link https://files.pythonhosted.org/packages/16/3a/4e107184bbaff2f84d37813bc31f5e0499afa7b1db23419dee95640fc076/flit_core-3.4.0-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.4.0
2024-11-12T07:12:30,924     Found link https://files.pythonhosted.org/packages/2c/a9/64406cf5c1c31186e1208a290ff10a0add43882edaef5eeba49e15ba6e7f/flit_core-3.4.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.4.0
2024-11-12T07:12:30,925     Found link https://files.pythonhosted.org/packages/16/d6/5db8ba55264d8cc61a101e04e6e329650874e046b102ed09970bb0502437/flit_core-3.5.0-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.5.0
2024-11-12T07:12:30,926     Found link https://files.pythonhosted.org/packages/26/12/74c9b72b280006a97fb80268e6b84bf77c73837d93391c8238488c6f2dde/flit_core-3.5.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.5.0
2024-11-12T07:12:30,927     Found link https://files.pythonhosted.org/packages/32/56/f3e180eea51e3e085b1da06233f6e6aa9adb04000d19ba91c29e44823bf7/flit_core-3.5.1-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.5.1
2024-11-12T07:12:30,929     Found link https://files.pythonhosted.org/packages/7e/1e/15198966abf00e590ec95fb8aa4ba3d274897fe7b182fce2867f672f6a91/flit_core-3.5.1.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.5.1
2024-11-12T07:12:30,930     Found link https://files.pythonhosted.org/packages/c8/e8/920a6b202831b9d0e21113dd5b7e78d094ca830c9dc4404e70367ff8b2eb/flit_core-3.6.0-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.6.0
2024-11-12T07:12:30,931     Found link https://files.pythonhosted.org/packages/08/e9/0653f7783ba2ec2f954f19442878427f1d5bfccb01842d354453c2809b22/flit_core-3.6.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.6.0
2024-11-12T07:12:30,932     Found link https://files.pythonhosted.org/packages/df/43/7a33eaead4ca25a163d951f43246a59af15eebc7511ad1e5b7cb470a2970/flit_core-3.7.0-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.7.0
2024-11-12T07:12:30,933     Found link https://files.pythonhosted.org/packages/12/c8/ce203079be7deab7b4cdc1aaf20c95e15c584daec712cb55807e2ef1c7f1/flit_core-3.7.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.7.0
2024-11-12T07:12:30,934     Found link https://files.pythonhosted.org/packages/ad/38/80992c4cb490a05474c886850ec818276d09c0a6722bd5b43bc487818ac7/flit_core-3.7.1-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.7.1
2024-11-12T07:12:30,936     Found link https://files.pythonhosted.org/packages/15/d1/d8798b83e953fd6f86ca9b50f93eec464a9305b0661469c8234e61095481/flit_core-3.7.1.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.7.1
2024-11-12T07:12:30,937     Found link https://files.pythonhosted.org/packages/04/ac/f91a0219e0d4162762f218e4876bf328f16e4d283e691cd7f42a02b22634/flit_core-3.8.0-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.8.0
2024-11-12T07:12:30,938     Found link https://files.pythonhosted.org/packages/10/e5/be08751d07b30889af130cec20955c987a74380a10058e6e8856e4010afc/flit_core-3.8.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.8.0
2024-11-12T07:12:30,939     Found link https://files.pythonhosted.org/packages/38/45/618e84e49a6c51e5dd15565ec2fcd82ab273434f236b8f108f065ded517a/flit_core-3.9.0-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.9.0
2024-11-12T07:12:30,940     Found link https://files.pythonhosted.org/packages/c4/e6/c1ac50fe3eebb38a155155711e6e864e254ce4b6e17fe2429b4c4d5b9e80/flit_core-3.9.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.9.0
2024-11-12T07:12:30,941     Found link https://files.pythonhosted.org/packages/f0/c2/b12a6663a2fbac4c699d5a3cce58591d44bf199b91daec288de087a07ffc/flit_core-3.10.0-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.10.0
2024-11-12T07:12:30,943     Found link https://files.pythonhosted.org/packages/52/92/89cceb9c49f3e6c72091304636c5ebc2fc48c546742bbf8a6a474e48e666/flit_core-3.10.0.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.10.0
2024-11-12T07:12:30,944     Found link https://files.pythonhosted.org/packages/be/2d/293fe6a58e73df57cc2b5e5cf2b17c6bb4fb5b0c390bab8f1e87bdc62529/flit_core-3.10.1-py3-none-any.whl (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.10.1
2024-11-12T07:12:30,945     Found link https://files.pythonhosted.org/packages/d5/ae/09427bea9227a33ec834ed5461432752fd5d02b14f93dd68406c91684622/flit_core-3.10.1.tar.gz (from https://pypi.org/simple/flit-core/) (requires-python:>=3.6), version: 3.10.1
2024-11-12T07:12:30,946   Fetching project page and analyzing links: https://www.piwheels.org/simple/flit-core/
2024-11-12T07:12:30,947   Getting page https://www.piwheels.org/simple/flit-core/
2024-11-12T07:12:30,949   Found index url https://www.piwheels.org/simple/
2024-11-12T07:12:30,950   Looking up "https://www.piwheels.org/simple/flit-core/" in the cache
2024-11-12T07:12:30,950   Request header has "max_age" as 0, cache bypassed
2024-11-12T07:12:30,955   Starting new HTTPS connection (1): www.piwheels.org:443
2024-11-12T07:12:31,109   https://www.piwheels.org:443 "GET /simple/flit-core/ HTTP/1.1" 200 1342
2024-11-12T07:12:31,112   Updating cache with response from "https://www.piwheels.org/simple/flit-core/"
2024-11-12T07:12:31,113   etag object cached for 1209600 seconds
2024-11-12T07:12:31,113   Caching due to etag
2024-11-12T07:12:31,119   Fetched page https://www.piwheels.org/simple/flit-core/ as text/html
2024-11-12T07:12:31,127     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.10.1-py3-none-any.whl#sha256=cb31a76e8b31ad3351bb89e531f64ef2b05d1e65bd939183250bf81ddf4922a8 (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.6), version: 3.10.1
2024-11-12T07:12:31,128     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.10.0-py3-none-any.whl#sha256=ca888c3ae0a5a4dae39f2db64f181b8b45143a6650c4b9ce6d171e45a6fa290a (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.6), version: 3.10.0
2024-11-12T07:12:31,129     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.9.0-py3-none-any.whl#sha256=e5b2a84881cf1f40eb5b0115e1d3a429765e0f43743b79e871352bb8e0c95952 (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.6), version: 3.9.0
2024-11-12T07:12:31,130     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.8.0-py3-none-any.whl#sha256=32319fc40d5bc1a0b2215f5a19cd5400dda3336d6242bbe829a2867e894ae3ba (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.6), version: 3.8.0
2024-11-12T07:12:31,131     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.7.1-py3-none-any.whl#sha256=e454fdbf68c7036e1c7435ec7479383f9d9a1650ca5b304feb184eba1efcdcef (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.6), version: 3.7.1
2024-11-12T07:12:31,136     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.7.0-py3-none-any.whl#sha256=339a6e5ea8369ed3f5374157994716cefbc26874a40a93c45c89a5643c4226e5 (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.6), version: 3.7.0
2024-11-12T07:12:31,137     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.6.0-py3-none-any.whl#sha256=7661029dedadd456c1d94e0a4765222447f00808bb1fcc767e4270a883ba8b4c (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.6), version: 3.6.0
2024-11-12T07:12:31,138     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.5.1-py3-none-any.whl#sha256=42d144fa25df9493bfb655036279c4a4ed323e2e3db178b757e898af5aba0334 (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.6), version: 3.5.1
2024-11-12T07:12:31,139     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.5.0-py3-none-any.whl#sha256=81f0b35a7abedeb2233c66cd801d07130593c272efbbe789634f6a680946a6f0 (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.6), version: 3.5.0
2024-11-12T07:12:31,141     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.4.0-py3-none-any.whl#sha256=062cf321878df71fd339962124ee48915f1af67abc5835a708f3eb33e8d28bdb (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.6), version: 3.4.0
2024-11-12T07:12:31,142     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.3.0-py3-none-any.whl#sha256=b3f15f3d2ec7864ecfc4b8b00b7eeeef1516a1ef66e9de7955ae1428be68bf8d (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.4), version: 3.3.0
2024-11-12T07:12:31,143     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.2.0-py3-none-any.whl#sha256=6f25843e908dfc3e907b6b9ee71e3d185bcb5aebab8c3431e4e34c261e5ff1b5 (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.4), version: 3.2.0
2024-11-12T07:12:31,144     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.1.0-py3-none-any.whl#sha256=1d06e64a6af7e1fd1496563b160df29dd32714e00b473f3b763f6e6810476517 (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.4), version: 3.1.0
2024-11-12T07:12:31,145     Found link https://www.piwheels.org/simple/flit-core/flit_core-3.0.0-py3-none-any.whl#sha256=a787754978cfe3c192a5fc6baf2179ae85b05395804de7d7fe2864d9431e8d03 (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=3.4), version: 3.0.0
2024-11-12T07:12:31,147     Found link https://www.piwheels.org/simple/flit-core/flit_core-2.3.0-py2.py3-none-any.whl#sha256=a8f8904b534966712390e0a2e434cd33f76037730a0aaed299a286f9e18cac2b (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.3.0
2024-11-12T07:12:31,149     Found link https://www.piwheels.org/simple/flit-core/flit_core-2.2.0-py2.py3-none-any.whl#sha256=4df2b9b43f00764a81e7ea742829749183a7f5a9e360fa5c3a9e8643dadd716a (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.2.0
2024-11-12T07:12:31,151     Found link https://www.piwheels.org/simple/flit-core/flit_core-2.1.0-py2.py3-none-any.whl#sha256=c6dff661e9e290d51084cefc38b0971d692290e8a352d0b6cec6006be764b4d1 (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.1.0
2024-11-12T07:12:31,152     Found link https://www.piwheels.org/simple/flit-core/flit_core-2.0.2-py2.py3-none-any.whl#sha256=c49546abb6afe371a13b78a2595d5afe1c0cd0aaa9dd753d800cd21259e51222 (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0.2
2024-11-12T07:12:31,154     Found link https://www.piwheels.org/simple/flit-core/flit_core-2.0.1-py2.py3-none-any.whl#sha256=1eb2bf3fd805560ed3ad6abca365a03681d1bf1f7d80707dc3bc3ce6833d52f4 (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0.1
2024-11-12T07:12:31,156     Found link https://www.piwheels.org/simple/flit-core/flit_core-2.0-py2.py3-none-any.whl#sha256=6315800ae208f0f1de1ee89997e16f69dacc5e18d3fd2a65e4e518e3d78dbdda (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0
2024-11-12T07:12:31,158     Found link https://www.piwheels.org/simple/flit-core/flit_core-2.0rc3-py2.py3-none-any.whl#sha256=9c5e882e51ddb4206626f576f0a8217ebdf011ab34aeb9d4bb91f101cad03981 (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0rc3
2024-11-12T07:12:31,159     Found link https://www.piwheels.org/simple/flit-core/flit_core-2.0rc2-py2.py3-none-any.whl#sha256=35a83504f509fcfd19bc53859d938cf2ad3385a2a19bfeb1745d1c957d39115c (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0rc2
2024-11-12T07:12:31,161     Found link https://www.piwheels.org/simple/flit-core/flit_core-2.0rc1-py2.py3-none-any.whl#sha256=1d717e7336997feed076c4f5dbdbe9ce45062e680f2b1de319b4c759f809a561 (from https://www.piwheels.org/simple/flit-core/) (requires-python:>=2.7, !=3.0, !=3.1, !=3.2, != 3.3), version: 2.0rc1
2024-11-12T07:12:31,162   Skipping link: not a file: https://www.piwheels.org/simple/flit-core/
2024-11-12T07:12:31,163   Skipping link: not a file: https://pypi.org/simple/flit-core/
2024-11-12T07:12:31,175   Given no hashes to check 36 links for project 'flit-core': discarding no candidates
2024-11-12T07:12:31,181   Collecting flit_core<4,>=3.2
2024-11-12T07:12:31,182     Created temporary directory: /tmp/pip-unpack-naeuoare
2024-11-12T07:12:31,184     Found index url https://www.piwheels.org/simple/
2024-11-12T07:12:31,186     Looking up "https://www.piwheels.org/simple/flit-core/flit_core-3.10.1-py3-none-any.whl" in the cache
2024-11-12T07:12:31,189     Current age based on date: 87
2024-11-12T07:12:31,195     https://www.piwheels.org:443 "GET /simple/flit-core/flit_core-3.10.1-py3-none-any.whl HTTP/1.1" 304 0
2024-11-12T07:12:31,199     Using cached https://www.piwheels.org/simple/flit-core/flit_core-3.10.1-py3-none-any.whl (36 kB)
2024-11-12T07:12:31,211   Created temporary directory: /tmp/pip-unpack-9rb07bf2
2024-11-12T07:12:31,758   Installing collected packages: flit_core

2024-11-12T07:12:31,889   Successfully installed flit_core-3.10.1
2024-11-12T07:12:31,890   Removed build tracker: '/tmp/pip-build-tracker-vz4n01gp'
2024-11-12T07:12:32,091   Installing build dependencies: finished with status 'done'
2024-11-12T07:12:32,095   Getting requirements to build wheel: started
2024-11-12T07:12:32,096   Running command Getting requirements to build wheel
2024-11-12T07:12:32,417   Getting requirements to build wheel: finished with status 'done'
2024-11-12T07:12:32,420   Created temporary directory: /tmp/pip-modern-metadata-v8ov3r7v
2024-11-12T07:12:32,422   Preparing metadata (pyproject.toml): started
2024-11-12T07:12:32,423   Running command Preparing metadata (pyproject.toml)
2024-11-12T07:12:32,743   Preparing metadata (pyproject.toml): finished with status 'done'
2024-11-12T07:12:32,748   Source in /tmp/pip-wheel-sp60fy8l/lean4-jupyter_b2b129f9f9064cb1b3880c0b08465ed3 has version 0.0.2, which satisfies requirement lean4-jupyter==0.0.2 from https://files.pythonhosted.org/packages/bd/1e/e12cf2929ed9a5319b32d56bbcdd4c7fc52802950a47b7c9eb8687633fa5/lean4_jupyter-0.0.2.tar.gz
2024-11-12T07:12:32,749   Removed lean4-jupyter==0.0.2 from https://files.pythonhosted.org/packages/bd/1e/e12cf2929ed9a5319b32d56bbcdd4c7fc52802950a47b7c9eb8687633fa5/lean4_jupyter-0.0.2.tar.gz from build tracker '/tmp/pip-build-tracker-vz4n01gp'
2024-11-12T07:12:32,754 Created temporary directory: /tmp/pip-unpack-panvioc1
2024-11-12T07:12:32,755 Created temporary directory: /tmp/pip-unpack-7fr8grkx
2024-11-12T07:12:32,756 Building wheels for collected packages: lean4-jupyter
2024-11-12T07:12:32,760   Created temporary directory: /tmp/pip-wheel-919fubc8
2024-11-12T07:12:32,760   Destination directory: /tmp/pip-wheel-919fubc8
2024-11-12T07:12:32,763   Building wheel for lean4-jupyter (pyproject.toml): started
2024-11-12T07:12:32,764   Running command Building wheel for lean4-jupyter (pyproject.toml)
2024-11-12T07:12:33,098   Building wheel for lean4-jupyter (pyproject.toml): finished with status 'done'
2024-11-12T07:12:33,103   Created wheel for lean4-jupyter: filename=lean4_jupyter-0.0.2-py2.py3-none-any.whl size=16646 sha256=843f6c7d39554cd7dd36f39961e8a005b896ceb3de0f7eae1e4ce8d4f87e62b5
2024-11-12T07:12:33,104   Stored in directory: /tmp/pip-ephem-wheel-cache-oj24h227/wheels/35/b2/64/8e575d6ce93e08b093c0a7d3eaa3da57c336356ee1ac6666a0
2024-11-12T07:12:33,115 Successfully built lean4-jupyter
2024-11-12T07:12:33,119 Removed build tracker: '/tmp/pip-build-tracker-vz4n01gp'