2024-11-12T07:11:01,136 Created temporary directory: /tmp/pip-build-tracker-6mj9sswb
2024-11-12T07:11:01,138 Initialized build tracking at /tmp/pip-build-tracker-6mj9sswb
2024-11-12T07:11:01,138 Created build tracker: /tmp/pip-build-tracker-6mj9sswb
2024-11-12T07:11:01,139 Entered build tracker: /tmp/pip-build-tracker-6mj9sswb
2024-11-12T07:11:01,140 Created temporary directory: /tmp/pip-wheel-r0cftk0j
2024-11-12T07:11:01,143 Created temporary directory: /tmp/pip-ephem-wheel-cache-bayrb8t_
2024-11-12T07:11:01,190 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-11-12T07:11:01,193 2 location(s) to search for versions of lean4-jupyter:
2024-11-12T07:11:01,193 * https://pypi.org/simple/lean4-jupyter/
2024-11-12T07:11:01,193 * https://www.piwheels.org/simple/lean4-jupyter/
2024-11-12T07:11:01,194 Fetching project page and analyzing links: https://pypi.org/simple/lean4-jupyter/
2024-11-12T07:11:01,194 Getting page https://pypi.org/simple/lean4-jupyter/
2024-11-12T07:11:01,196 Found index url https://pypi.org/simple/
2024-11-12T07:11:01,418 Fetched page https://pypi.org/simple/lean4-jupyter/ as application/vnd.pypi.simple.v1+json
2024-11-12T07:11:01,422   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:11:01,423   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:11:01,423   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:11:01,424   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:11:01,425   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:11:01,425   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:11:01,426   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:11:01,427   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:11:01,427   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:11:01,428   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:11:01,429   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:11:01,429   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:11:01,430 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean4-jupyter/
2024-11-12T07:11:01,431 Getting page https://www.piwheels.org/simple/lean4-jupyter/
2024-11-12T07:11:01,432 Found index url https://www.piwheels.org/simple/
2024-11-12T07:11:01,604 Fetched page https://www.piwheels.org/simple/lean4-jupyter/ as text/html
2024-11-12T07:11:01,606   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:11:01,607   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:11:01,607   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:11:01,608   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:11:01,609 Skipping link: not a file: https://www.piwheels.org/simple/lean4-jupyter/
2024-11-12T07:11:01,609 Skipping link: not a file: https://pypi.org/simple/lean4-jupyter/
2024-11-12T07:11:01,629 Given no hashes to check 1 links for project 'lean4-jupyter': discarding no candidates
2024-11-12T07:11:01,630 Collecting lean4-jupyter==0.0.2rc1
2024-11-12T07:11:01,633   Created temporary directory: /tmp/pip-unpack-464cd71_
2024-11-12T07:11:01,772   Downloading lean4_jupyter-0.0.2rc1.tar.gz (83 kB)
2024-11-12T07:11:01,925   Added lean4-jupyter==0.0.2rc1 from https://files.pythonhosted.org/packages/81/be/2aff8c681ea48d0ac069eafe3d755f7fbb2bc522e3cb48fa44435e8d7fd8/lean4_jupyter-0.0.2rc1.tar.gz to build tracker '/tmp/pip-build-tracker-6mj9sswb'
2024-11-12T07:11:01,928   Created temporary directory: /tmp/pip-build-env-e_6mau4y
2024-11-12T07:11:01,933   Installing build dependencies: started
2024-11-12T07:11:01,934   Running command pip subprocess to install build dependencies
2024-11-12T07:11:03,052   Using pip 24.3.1 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11)
2024-11-12T07:11:03,053   Non-user install by explicit request
2024-11-12T07:11:03,726   Created build tracker: /tmp/pip-build-tracker-6mj9sswb
2024-11-12T07:11:03,727   Entered build tracker: /tmp/pip-build-tracker-6mj9sswb
2024-11-12T07:11:03,730   Created temporary directory: /tmp/pip-install-zj7znxg6
2024-11-12T07:11:03,734   Created temporary directory: /tmp/pip-ephem-wheel-cache-1ait1_am
2024-11-12T07:11:03,779   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-11-12T07:11:03,781   2 location(s) to search for versions of flit-core:
2024-11-12T07:11:03,782   * https://pypi.org/simple/flit-core/
2024-11-12T07:11:03,783   * https://www.piwheels.org/simple/flit-core/
2024-11-12T07:11:03,783   Fetching project page and analyzing links: https://pypi.org/simple/flit-core/
2024-11-12T07:11:03,784   Getting page https://pypi.org/simple/flit-core/
2024-11-12T07:11:03,785   Found index url https://pypi.org/simple/
2024-11-12T07:11:03,788   Looking up "https://pypi.org/simple/flit-core/" in the cache
2024-11-12T07:11:03,789   Request header has "max_age" as 0, cache bypassed
2024-11-12T07:11:03,795   Starting new HTTPS connection (1): pypi.org:443
2024-11-12T07:11:03,935   https://pypi.org:443 "GET /simple/flit-core/ HTTP/1.1" 304 0
2024-11-12T07:11:03,942   Fetched page https://pypi.org/simple/flit-core/ as application/vnd.pypi.simple.v1+json
2024-11-12T07:11:03,972     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:11:03,974     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:11:03,975     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:11:03,977     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:11:03,979     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:11:03,981     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:11:03,983     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:11:03,984     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:11:03,986     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:11:03,988     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:11:03,990     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:11:03,991     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:11:03,993     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:11:03,995     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:11:03,997     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:11:03,998     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:11:04,000     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:11:04,002     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:11:04,003     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:11:04,004     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:11:04,005     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:11:04,007     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:11:04,008     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:11:04,009     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:11:04,010     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:11:04,011     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:11:04,012     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:11:04,014     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:11:04,015     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:11:04,016     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:11:04,017     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:11:04,018     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:11:04,020     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:11:04,021     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:11:04,022     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:11:04,023     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:11:04,024     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:11:04,025     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:11:04,027     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:11:04,028     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:11:04,029     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:11:04,030     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:11:04,031     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:11:04,032     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:11:04,034     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:11:04,035     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:11:04,036   Fetching project page and analyzing links: https://www.piwheels.org/simple/flit-core/
2024-11-12T07:11:04,037   Getting page https://www.piwheels.org/simple/flit-core/
2024-11-12T07:11:04,038   Found index url https://www.piwheels.org/simple/
2024-11-12T07:11:04,040   Looking up "https://www.piwheels.org/simple/flit-core/" in the cache
2024-11-12T07:11:04,040   Request header has "max_age" as 0, cache bypassed
2024-11-12T07:11:04,047   Starting new HTTPS connection (1): www.piwheels.org:443
2024-11-12T07:11:04,215   https://www.piwheels.org:443 "GET /simple/flit-core/ HTTP/1.1" 200 1342
2024-11-12T07:11:04,218   Updating cache with response from "https://www.piwheels.org/simple/flit-core/"
2024-11-12T07:11:04,218   etag object cached for 1209600 seconds
2024-11-12T07:11:04,219   Caching due to etag
2024-11-12T07:11:04,224   Fetched page https://www.piwheels.org/simple/flit-core/ as text/html
2024-11-12T07:11:04,232     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:11:04,234     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:11:04,235     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:11:04,236     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:11:04,237     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:11:04,241     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:11:04,243     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:11:04,244     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:11:04,245     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:11:04,246     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:11:04,248     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:11:04,249     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:11:04,250     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:11:04,251     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:11:04,253     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:11:04,255     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:11:04,257     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:11:04,258     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:11:04,260     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:11:04,262     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:11:04,263     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:11:04,265     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:11:04,267     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:11:04,268   Skipping link: not a file: https://www.piwheels.org/simple/flit-core/
2024-11-12T07:11:04,269   Skipping link: not a file: https://pypi.org/simple/flit-core/
2024-11-12T07:11:04,281   Given no hashes to check 36 links for project 'flit-core': discarding no candidates
2024-11-12T07:11:04,287   Collecting flit_core<4,>=3.2
2024-11-12T07:11:04,288     Created temporary directory: /tmp/pip-unpack-rv4ihl3q
2024-11-12T07:11:04,290     Found index url https://www.piwheels.org/simple/
2024-11-12T07:11:04,291     Looking up "https://www.piwheels.org/simple/flit-core/flit_core-3.10.1-py3-none-any.whl" in the cache
2024-11-12T07:11:04,295     Current age based on date: 30560
2024-11-12T07:11:04,301     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:11:04,306     Using cached https://www.piwheels.org/simple/flit-core/flit_core-3.10.1-py3-none-any.whl (36 kB)
2024-11-12T07:11:04,317   Created temporary directory: /tmp/pip-unpack-hfpy1vda
2024-11-12T07:11:04,864   Installing collected packages: flit_core

2024-11-12T07:11:04,994   Successfully installed flit_core-3.10.1
2024-11-12T07:11:04,995   Removed build tracker: '/tmp/pip-build-tracker-6mj9sswb'
2024-11-12T07:11:05,198   Installing build dependencies: finished with status 'done'
2024-11-12T07:11:05,202   Getting requirements to build wheel: started
2024-11-12T07:11:05,203   Running command Getting requirements to build wheel
2024-11-12T07:11:05,521   Getting requirements to build wheel: finished with status 'done'
2024-11-12T07:11:05,524   Created temporary directory: /tmp/pip-modern-metadata-fpwi_xqx
2024-11-12T07:11:05,527   Preparing metadata (pyproject.toml): started
2024-11-12T07:11:05,528   Running command Preparing metadata (pyproject.toml)
2024-11-12T07:11:05,833   Version number normalised: '0.0.2-rc1' -> '0.0.2rc1' (see PEP 440)
2024-11-12T07:11:05,878   Preparing metadata (pyproject.toml): finished with status 'done'
2024-11-12T07:11:05,883   Source in /tmp/pip-wheel-r0cftk0j/lean4-jupyter_125926e4b824423097330d1bff2930e7 has version 0.0.2rc1, which satisfies requirement lean4-jupyter==0.0.2rc1 from https://files.pythonhosted.org/packages/81/be/2aff8c681ea48d0ac069eafe3d755f7fbb2bc522e3cb48fa44435e8d7fd8/lean4_jupyter-0.0.2rc1.tar.gz
2024-11-12T07:11:05,884   Removed lean4-jupyter==0.0.2rc1 from https://files.pythonhosted.org/packages/81/be/2aff8c681ea48d0ac069eafe3d755f7fbb2bc522e3cb48fa44435e8d7fd8/lean4_jupyter-0.0.2rc1.tar.gz from build tracker '/tmp/pip-build-tracker-6mj9sswb'
2024-11-12T07:11:05,889 Created temporary directory: /tmp/pip-unpack-wrrc7qm0
2024-11-12T07:11:05,890 Created temporary directory: /tmp/pip-unpack-ho4252ut
2024-11-12T07:11:05,891 Building wheels for collected packages: lean4-jupyter
2024-11-12T07:11:05,895   Created temporary directory: /tmp/pip-wheel-u65slxji
2024-11-12T07:11:05,895   Destination directory: /tmp/pip-wheel-u65slxji
2024-11-12T07:11:05,897   Building wheel for lean4-jupyter (pyproject.toml): started
2024-11-12T07:11:05,899   Running command Building wheel for lean4-jupyter (pyproject.toml)
2024-11-12T07:11:06,173   Version number normalised: '0.0.2-rc1' -> '0.0.2rc1' (see PEP 440)
2024-11-12T07:11:06,237   Building wheel for lean4-jupyter (pyproject.toml): finished with status 'done'
2024-11-12T07:11:06,242   Created wheel for lean4-jupyter: filename=lean4_jupyter-0.0.2rc1-py2.py3-none-any.whl size=16680 sha256=9e90a7a79516c08015fd77642d3218e626f31334f90b07efc895eab2bd34fa36
2024-11-12T07:11:06,244   Stored in directory: /tmp/pip-ephem-wheel-cache-bayrb8t_/wheels/b4/4d/ba/b5a2b0fe5ac11547b90c3ff06a4db08882275fef8d5b37e65e
2024-11-12T07:11:06,255 Successfully built lean4-jupyter
2024-11-12T07:11:06,258 Removed build tracker: '/tmp/pip-build-tracker-6mj9sswb'