2023-09-15T14:58:52,963 Created temporary directory: /tmp/pip-build-tracker-4bk07s0j
2023-09-15T14:58:52,964 Initialized build tracking at /tmp/pip-build-tracker-4bk07s0j
2023-09-15T14:58:52,965 Created build tracker: /tmp/pip-build-tracker-4bk07s0j
2023-09-15T14:58:52,965 Entered build tracker: /tmp/pip-build-tracker-4bk07s0j
2023-09-15T14:58:52,966 Created temporary directory: /tmp/pip-wheel-nqt6v2io
2023-09-15T14:58:52,969 Created temporary directory: /tmp/pip-ephem-wheel-cache-spkomnhe
2023-09-15T14:58:52,990 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-09-15T14:58:52,994 2 location(s) to search for versions of isabelle-client:
2023-09-15T14:58:52,994 * https://pypi.org/simple/isabelle-client/
2023-09-15T14:58:52,994 * https://www.piwheels.org/simple/isabelle-client/
2023-09-15T14:58:52,995 Fetching project page and analyzing links: https://pypi.org/simple/isabelle-client/
2023-09-15T14:58:52,996 Getting page https://pypi.org/simple/isabelle-client/
2023-09-15T14:58:52,997 Found index url https://pypi.org/simple/
2023-09-15T14:58:53,217 Fetched page https://pypi.org/simple/isabelle-client/ as application/vnd.pypi.simple.v1+json
2023-09-15T14:58:53,233   Found link https://files.pythonhosted.org/packages/2b/af/97270a2540cbae0822e8a2f294d232c9351608f2a42d966e3f4246d6135b/isabelle-client-0.0.1.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.0.1
2023-09-15T14:58:53,234   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/ab/89/d9605bd2646db188e5c551a4db8c7643c4261c4b9ff794701aeb0b3c3ac2/isabelle_client-0.0.1-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,235   Found link https://files.pythonhosted.org/packages/15/2b/fb5806690b41b55d26f43aa5ae71ec5f692c2a011742077d46a21eb1bfdc/isabelle-client-0.0.2.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.0.2
2023-09-15T14:58:53,235   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/f8/cd/230ebac630ac8ff00e0557c6a4eaaf36b4a9afc3989d488bf01c088d7349/isabelle_client-0.0.2-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,236   Found link https://files.pythonhosted.org/packages/4c/d2/4bfa567eb8a14855a931564b5af5789d0e033cdbf6c22c59180984aed665/isabelle-client-0.0.3.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.0.3
2023-09-15T14:58:53,237   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/c0/26/6230c8d5051b8d70c997399f953c26c5c49d070c6de6d1670dfb2d96b779/isabelle_client-0.0.3-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,238   Found link https://files.pythonhosted.org/packages/41/80/0d9add41dbfff5a278b37963418ca9942e85ada6bcaa9686759bd3481547/isabelle-client-0.0.4.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.0.4
2023-09-15T14:58:53,239   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/10/b6/9592c48d33383594cf268ba4d5452179cd07ce78a7aa762a95b4a51e48b6/isabelle_client-0.0.4-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,240   Found link https://files.pythonhosted.org/packages/5b/d7/12d1456dd45170860a24d356c2771ccd717eb9c50a3dbe2fac285083cd75/isabelle-client-0.0.5.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.0.5
2023-09-15T14:58:53,240   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/82/ba/614895ed173d2ab6a2eddeb857fdbb273605050c4e9f196230e3f33e7c11/isabelle_client-0.0.5-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,241   Found link https://files.pythonhosted.org/packages/12/f6/b4dfefcaa2625ddc8a2bb9056ec699747bfaabb078637b2a2117533921ae/isabelle-client-0.0.6.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.0.6
2023-09-15T14:58:53,242   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/4f/44/9fac7f4016e2e62a67867de309beca545b67f3ecd6eb3d3847e759501a43/isabelle_client-0.0.6-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,243   Found link https://files.pythonhosted.org/packages/b3/2c/0789b3d77078b0a4cfe8f4b92d52bc32c580f6587b2a1002a7e72e9bf02a/isabelle-client-0.0.7.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.0.7
2023-09-15T14:58:53,244   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/b8/fc/90ccdc46b233a372a0b719c8fb57a3891f45e7bac15e43aa0151ec305074/isabelle_client-0.0.7-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,245   Found link https://files.pythonhosted.org/packages/c1/af/bd1961096fa0e025e0b5c1534591d43af35dd43e71d7b1eee82bfbe75cb9/isabelle-client-0.1.0.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.1.0
2023-09-15T14:58:53,246   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/d4/8b/4bf196e8bf9186556292d82e69ec329c0b81a735ccf76c2503b22d5fb71b/isabelle_client-0.1.0-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,247   Found link https://files.pythonhosted.org/packages/f8/8e/d0ad9f5e291b15a3bf2874f14b4dffa7511472c25c54f31e4380e1c1c617/isabelle-client-0.1.1.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.1.1
2023-09-15T14:58:53,247   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/19/2f/0c50c508ab7ed1fd0301b39b908599371fac19af4fd7b7e81ba946c3a2e1/isabelle_client-0.1.1-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,248   Found link https://files.pythonhosted.org/packages/78/0d/4008b68574d63be8bc7fde0f93aff67bdfb468a180f9deeb7262c60618db/isabelle-client-0.1.2.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.1.2
2023-09-15T14:58:53,249   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/7b/af/866817be629b98f6104832bcbcf15402e352c26a33358880934b3c85cb5b/isabelle_client-0.1.2-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,250   Found link https://files.pythonhosted.org/packages/fe/53/9d989035d8489eb99c70a6336773337e6d62f92b66dc3a406b281c7bae4f/isabelle-client-0.1.3.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.1.3
2023-09-15T14:58:53,251   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/a8/e5/b675cc428f8c3ea7523f129671c5c7664c279d8a6378ba4c9381fb6af85c/isabelle_client-0.1.3-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,252   Found link https://files.pythonhosted.org/packages/e9/a6/95634246a9b1fc7917f2c22e1252e77ef998890d61c77b316397fe79d1ba/isabelle-client-0.1.4.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.1.4
2023-09-15T14:58:53,252   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/b3/95/b053565a755c710d69db75855d41ea69e34de76038470154189e9bd845bc/isabelle_client-0.1.4-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,253   Found link https://files.pythonhosted.org/packages/10/a9/f6669b04f31b087fd79bf8a1108c9e42caae7107ad4bfc674c51d8ce0271/isabelle-client-0.1.5.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.1.5
2023-09-15T14:58:53,254   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/6d/8e/7401719d748d172fca3f1db82ace024cd87f48cd31dc361e7420e477c147/isabelle_client-0.1.5-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,255   Found link https://files.pythonhosted.org/packages/2f/d8/caa35e7275188eba35f3a4676b70c921c2cba67fac34de6b5c8fb3a1a269/isabelle-client-0.2.0.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.2.0
2023-09-15T14:58:53,256   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/2f/29/d4690d3bf5fde20f071c5cd60df0027d62f76f2067194d945bc15a7fc88a/isabelle_client-0.2.0-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,257   Found link https://files.pythonhosted.org/packages/cb/6f/2498c1d3112e3751906f4ca83b3365d05f6d0d05692a78db7ba4bd9f930a/isabelle-client-0.2.1.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0), version: 0.2.1
2023-09-15T14:58:53,257   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/69/90/853df99fea0e839aca3a327cc8eb1db7e3111df43e4042b73a187215094f/isabelle_client-0.2.1-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,258   Found link https://files.pythonhosted.org/packages/11/62/4176c999dec80bc441c41cf1756f0eadd980dad5f307ba2217fce85413e4/isabelle-client-0.2.2.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6,<4.0), version: 0.2.2
2023-09-15T14:58:53,259   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/a9/36/0c24f56975254f753a29eda3b522cf3928d2fa511f274bba13af9f1676bb/isabelle_client-0.2.2-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6,<4.0)
2023-09-15T14:58:53,260   Found link https://files.pythonhosted.org/packages/db/26/be99988102ce0e1d16a21a4c9899f8a4e2f8e7de9770020e19553d669aa7/isabelle-client-0.2.3.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6,<4.0), version: 0.2.3
2023-09-15T14:58:53,260   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/f3/94/e924044df14a89759872950c939c698bc782fe61554541fa4aaa096cc29c/isabelle_client-0.2.3-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6,<4.0)
2023-09-15T14:58:53,261   Found link https://files.pythonhosted.org/packages/d2/d4/b0721c33a0218802284257e08413991f782cf69bab54a48bb9b6d998d193/isabelle-client-0.2.4.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6,<4.0), version: 0.2.4
2023-09-15T14:58:53,262   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/4d/9c/332830ebb4422a695070d3855b5882c0b6f66df2b7a812bd1fc2e64fd949/isabelle_client-0.2.4-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6,<4.0)
2023-09-15T14:58:53,263   Found link https://files.pythonhosted.org/packages/5a/db/aef719a6358d97e6416a8328ed821abb5dae5cc70b8d88e1ca8d9584892f/isabelle-client-0.2.5.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0), version: 0.2.5
2023-09-15T14:58:53,263   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/96/17/cf05040fb2e530c1ae62700dc1f2ea5e6ac8cb5b419a6add0dcdb3ed2c95/isabelle_client-0.2.5-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2023-09-15T14:58:53,264   Found link https://files.pythonhosted.org/packages/fe/6d/84b3a7507d26506c5cc53b0658efb6afec223bcba394baf00e41f6a23aff/isabelle-client-0.2.7.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0), version: 0.2.7
2023-09-15T14:58:53,265   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/3b/8e/0b62d890b7c424dc02411e7ce9a43606e7a58260812b0c513ad3a9103e7c/isabelle_client-0.2.7-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2023-09-15T14:58:53,266   Found link https://files.pythonhosted.org/packages/bb/d6/2d3c6a75a23d9642ee4874f56b87e3164b7785d9d88554d5f854a84637b6/isabelle-client-0.2.8.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0), version: 0.2.8
2023-09-15T14:58:53,267   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/4a/a3/5ec33debd4e79d9112a8c36589328f7bb089b9bc9c05e6c9150cf9e36398/isabelle_client-0.2.8-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2023-09-15T14:58:53,268   Found link https://files.pythonhosted.org/packages/0f/28/d0ec44480b757efae8bbf070b7099d76f20948a2061dc371354d48a13093/isabelle-client-0.2.9.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0), version: 0.2.9
2023-09-15T14:58:53,269   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/6f/ed/717f0a899360d8b5951a79ec818a08bddc920625849617c4f81d1d4eb1c5/isabelle_client-0.2.9-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2023-09-15T14:58:53,270   Found link https://files.pythonhosted.org/packages/f7/a6/23f49fd8aadcbd4f1176898b7934a0ad2bfbb1b884acd9bbfed436910290/isabelle-client-0.2.10.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0), version: 0.2.10
2023-09-15T14:58:53,270   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/dc/61/da0d89bd156aec5c47085cb47fd9b6ad8e07d79eca55b0ce372e0453368a/isabelle_client-0.2.10-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2023-09-15T14:58:53,271   Found link https://files.pythonhosted.org/packages/85/4e/67357ba7602b95f5415bcb22e202e333a0e39b0660dc235bd589496f2c34/isabelle-client-0.3.0.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0), version: 0.3.0
2023-09-15T14:58:53,272   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/cf/5e/f5d82887e2d9a8d01536a60382b09e16f346a6210b71eb7ebbd579aee33a/isabelle_client-0.3.0-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2023-09-15T14:58:53,273   Found link https://files.pythonhosted.org/packages/38/1b/2a7cac074bbf167e00fa8f14df142994881309386bfd9b40d7a422ff6423/isabelle-client-0.3.1.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0), version: 0.3.1
2023-09-15T14:58:53,273   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/c4/f6/a59bc06951465813be5da63f02caabcac0e0795b0669196b34a5b21fbca2/isabelle_client-0.3.1-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2023-09-15T14:58:53,275   Found link https://files.pythonhosted.org/packages/1e/c2/a22eb46120ea2f528796c25cd276228960cf253df8cdd319a057c5eeaf47/isabelle-client-0.3.2.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0), version: 0.3.2
2023-09-15T14:58:53,275   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/02/9e/fc0f3b9fa6e09ecba5013ddfe639253f6a8b6e9001a63b2d967366be0d8a/isabelle_client-0.3.2-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2023-09-15T14:58:53,276   Found link https://files.pythonhosted.org/packages/87/f5/b9aba475ffe3f22bd5b0bbfb020b7399c148c029b2b2df102b492badc175/isabelle-client-0.3.3.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0), version: 0.3.3
2023-09-15T14:58:53,277   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/e7/09/956ee3cb3e083bd1e50678fa7bfdb27adf2ee67d9c58a2ad39f5e88d34e8/isabelle_client-0.3.3-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2023-09-15T14:58:53,278   Found link https://files.pythonhosted.org/packages/d5/aa/c07aab40fee17ede9d5552478a68f0956e796baefe5958588ffce8facbb5/isabelle-client-0.3.4.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0), version: 0.3.4
2023-09-15T14:58:53,279   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/31/4b/8346d963512f12da21a34f8ff53699ee165f7d97ec991f8c98b02644665a/isabelle_client-0.3.4-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2023-09-15T14:58:53,280   Found link https://files.pythonhosted.org/packages/82/29/a2c467e219e4c8e4267d63e12de2c11ad289a21b6f806c950d32c2b7147a/isabelle-client-0.3.5.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0), version: 0.3.5
2023-09-15T14:58:53,280   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/ce/1d/48b2a6ca479c5a467e6f6a81b4c67aae80b212a23100437309f661fecc28/isabelle_client-0.3.5-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2023-09-15T14:58:53,281   Found link https://files.pythonhosted.org/packages/ee/6e/504d13cef0f92dd813060c407e36137dbd07546ab21599a261ad1cffd12e/isabelle-client-0.3.6.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0), version: 0.3.6
2023-09-15T14:58:53,282   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/7f/58/73422f1cff7018ed6b646ff8bd3fdfa094f625cc221db74d2f1c623daf5f/isabelle_client-0.3.6-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2023-09-15T14:58:53,283   Found link https://files.pythonhosted.org/packages/dd/d2/a41183542d3416fedecf4ff8f2fa66c0a0f45f4fd755c58e6250121e2431/isabelle-client-0.3.7.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<4.0), version: 0.3.7
2023-09-15T14:58:53,283   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/40/9e/57b632549ae8ab2529e1caf51e7642d1dcf8e585453ae98b77c0107b431a/isabelle_client-0.3.7-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<4.0)
2023-09-15T14:58:53,284   Found link https://files.pythonhosted.org/packages/f6/0a/ec8bcf777206059ba51c46ea8f3ac9d801ec7e82915ddd2c493ed8bb875f/isabelle-client-0.3.8.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<4.0), version: 0.3.8
2023-09-15T14:58:53,285   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/91/c8/ba0ea111d320f4c11f70ac651168b52ba76a352efb8f4ab2a172e0ab38cc/isabelle_client-0.3.8-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<4.0)
2023-09-15T14:58:53,286   Found link https://files.pythonhosted.org/packages/a9/60/2ef798369857ed7529b3f15c82498c3671ae358a4c3447038994a475a4ec/isabelle-client-0.3.9.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<4.0), version: 0.3.9
2023-09-15T14:58:53,286   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/d7/b7/095d2adfe6a90f6ef4a1e89fbae5a739bd9fc7b6af92c4684060fabda485/isabelle_client-0.3.9-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<4.0)
2023-09-15T14:58:53,287   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/b3/08/fbd91ea224a9e8c6ece22e3ba56601c96bd607045676bf7c46d84fede1e3/isabelle_client-0.3.10-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,288   Found link https://files.pythonhosted.org/packages/91/d6/5880b8279714f3e543863c9eefd2d8307f251591b587c1dab5b8c0793102/isabelle_client-0.3.10.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12), version: 0.3.10
2023-09-15T14:58:53,289   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/41/f7/ed64ecde934807e03dbf444e00de7b41c83ce4e312cf9225dd028f626a37/isabelle_client-0.3.11-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,290   Found link https://files.pythonhosted.org/packages/b5/74/020d083cb0e82e37897f3199ceba7a4e1f20c4c37b1cb1fb3aa8c011e4eb/isabelle_client-0.3.11.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12), version: 0.3.11
2023-09-15T14:58:53,290   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/1c/ae/699804cbbb3931db1df8e6c820350f820858c36ad01d41a4fc44ec1658c4/isabelle_client-0.3.12-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,291   Found link https://files.pythonhosted.org/packages/9d/4f/8ef4fa0ab726309627b85a94457006d0e272ed3701f87b3ac60a5d8213f4/isabelle_client-0.3.12.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12), version: 0.3.12
2023-09-15T14:58:53,292   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/23/ca/4f514147eed58c1fde78683941d3909c26bf8a351a01143474dd3bce4315/isabelle_client-0.3.13-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,293   Found link https://files.pythonhosted.org/packages/75/9d/beff50b310bec4a3e2a9887cf81974739199b8ec0733ed8ede72a6a80006/isabelle_client-0.3.13.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12), version: 0.3.13
2023-09-15T14:58:53,293   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/6e/bc/21d0d6f0a5ba83f68720e90bb1f898dbbcaed2b5c2fe0d5bc6a659945d8a/isabelle_client-0.3.14-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,294   Found link https://files.pythonhosted.org/packages/e9/a3/dbdadee7aacc12bf9e16938db259a34cabdfb22ef8a85cfae236bafc74a4/isabelle_client-0.3.14.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12), version: 0.3.14
2023-09-15T14:58:53,295   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/e5/fd/e49b177b6c36a315d144ded84a042512e3828843e8d964bdf5397451efa9/isabelle_client-0.3.15-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,296   Found link https://files.pythonhosted.org/packages/2d/ed/2a38e4b3e910279023f5192e5c6d6a0e46be73bbea4d76a0739b2f7cf48e/isabelle_client-0.3.15.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12), version: 0.3.15
2023-09-15T14:58:53,296   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/32/eb/8d527278914b644b9c795bff5364347320b75d1ca0b04a939f8e28426f8f/isabelle_client-0.3.16-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,297   Found link https://files.pythonhosted.org/packages/d7/0c/8ba6d9f355bfe39eee412c6975ed6efd657d76327ba7edd6296082497ec9/isabelle_client-0.3.16.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12), version: 0.3.16
2023-09-15T14:58:53,298   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/31/51/305cf78925a56aefc7aa8becb8d8be6ee6238a81065e3171c8515624885b/isabelle_client-0.3.17-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,299   Found link https://files.pythonhosted.org/packages/2d/37/2b47587f887ca01efca7da675739985902c5d6254b31a352b613fbd6ddff/isabelle_client-0.3.17.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12), version: 0.3.17
2023-09-15T14:58:53,299   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/11/a8/6b8e41258822fbcc65b1007fe1a444451a4979ffed01b32899ad2ce919b3/isabelle_client-0.4.0-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12)
2023-09-15T14:58:53,301   Found link https://files.pythonhosted.org/packages/52/7d/cff45fa7c011711571811d6289061c4a4aaa36746201d18352f53a84e2a7/isabelle_client-0.4.0.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12), version: 0.4.0
2023-09-15T14:58:53,301   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/15/36/7d8f66531e3fa87bdc07ebb60f8e2385f883213ac12ea2e8e3e0ab722ea2/isabelle_client-0.4.1-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12)
2023-09-15T14:58:53,302   Found link https://files.pythonhosted.org/packages/88/db/4bd9d5afd802e75906b3555626a9d5761c5f67dbf769df11af7bd8d25db6/isabelle_client-0.4.1.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12), version: 0.4.1
2023-09-15T14:58:53,303   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/b7/ed/9aa8eb4054b8114a71bbef92a02322de51dd8f51191e92bbfaedbada3b8a/isabelle_client-0.4.2-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12)
2023-09-15T14:58:53,303   Found link https://files.pythonhosted.org/packages/f6/5f/ae13b0ba5300c1a111c5857d88e72616024109aa5b6c5ed233bea25bd87d/isabelle_client-0.4.2.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12), version: 0.4.2
2023-09-15T14:58:53,304 Fetching project page and analyzing links: https://www.piwheels.org/simple/isabelle-client/
2023-09-15T14:58:53,305 Getting page https://www.piwheels.org/simple/isabelle-client/
2023-09-15T14:58:53,306 Found index url https://www.piwheels.org/simple/
2023-09-15T14:58:53,731 Fetched page https://www.piwheels.org/simple/isabelle-client/ as text/html
2023-09-15T14:58:53,761   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.4.2-py3-none-any.whl#sha256=a8667d8abf153d478a42cf6708e5ef15f4b76c70389c309824f435b6d16a864c (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12)
2023-09-15T14:58:53,762   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.4.1-py3-none-any.whl#sha256=fe8cd9299edf4ba5cd96582853475a7c65d73eb349b338213c23be53a4edd889 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12)
2023-09-15T14:58:53,763   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.4.0-py3-none-any.whl#sha256=6badca5042274d713ff136fa54911b567819c36675e5292e86acdd3de3557f70 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12)
2023-09-15T14:58:53,764   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.17-py3-none-any.whl#sha256=6b78e0dd04bfd2a55e0471f1d4aea62f2940a2518ca45d3e9c92e5ac440f890c (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,765   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.16-py3-none-any.whl#sha256=eca7fe52ff2a50aed05a8f65e15b1e2b60c786d4e04e3d32267bd303e6fcb0a8 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,766   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.15-py3-none-any.whl#sha256=0c80428d6877a433cd7cfa6261500559cc20bca827b7e5048744569cdc08cdbb (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,767   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.14-py3-none-any.whl#sha256=4edf9d26662d7d5ecf1b162e98d56dff301b4446fe80bf071cc049265a51c8c8 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,769   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.13-py3-none-any.whl#sha256=1d55ef3dc97af1518ebc296a950c4b17880a366735dfc46c6bb4bde4ce5fc9fe (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,769   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.12-py3-none-any.whl#sha256=894d607cd03870311c30bb06d0bd84bc563de562578888e53f9b4f91df25275c (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,770   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.11-py3-none-any.whl#sha256=181a06e059bc603bde52e24f5e2648930f63e93a179f217fe8cd6809631ee922 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,771   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.10-py3-none-any.whl#sha256=0c899464ef11f33c1911b5da33d11adb5c24b6ca7306a853ceeb0dd5f2ac7ba4 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2023-09-15T14:58:53,772   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.9-py3-none-any.whl#sha256=0763378c19e72c73f481d40f1478bb4b979ff545e1e27ea05b29ae8fc4e67ead (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<4.0)
2023-09-15T14:58:53,773   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.8-py3-none-any.whl#sha256=d4e75da109428bd74d36e454b52b65a4f4e7afaeae8dd7926d8f361872f8593d (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<4.0)
2023-09-15T14:58:53,774   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.7-py3-none-any.whl#sha256=3f2d906dbc9d4a060582d2fbe35c5ad3d2a03b42e4cd86c525ac00dbf3cdcf8a (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<4.0)
2023-09-15T14:58:53,775   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.6-py3-none-any.whl#sha256=cce0304361cbb637c3084b11a65f46e406c925c0057f734ee6dbc23d80d20aeb (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2023-09-15T14:58:53,776   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.5-py3-none-any.whl#sha256=727e13f3432c6006e3aff7b998a6567af1740f245db0e5c69b7f7e54208e150d (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2023-09-15T14:58:53,777   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.4-py3-none-any.whl#sha256=3717073e1231bfa29a518cc9498ded7ff10856c27309be6ae43dd553a1291b7b (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2023-09-15T14:58:53,778   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.3-py3-none-any.whl#sha256=fb2899343f31e69d1195aa51b87227323bf6dd77d49a250046a361183de60404 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2023-09-15T14:58:53,778   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.2-py3-none-any.whl#sha256=fda623047b8c51fd7ab57b5e7a030231784b3bd8f2520e95e6ea903acce16ef4 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2023-09-15T14:58:53,780   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.1-py3-none-any.whl#sha256=7d88507eb88d3843915b614af2f878f8044806fff0a569674b5c65cc3a145a5f (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2023-09-15T14:58:53,780   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.10-py3-none-any.whl#sha256=ca87f6f5b3f9d7830453f2c45a9f030eae8c09f963fdd494b6cfdc669db219cb (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2023-09-15T14:58:53,781   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.9-py3-none-any.whl#sha256=f90f7cb8efff9adf419ca6bbb958e893460fe64a8f2bf998872cbe513f1cb995 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2023-09-15T14:58:53,781   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.8-py3-none-any.whl#sha256=db86c39ade7bb91c56032a292f8c70be3b00d3a1c1e6885e3d7af43196c9d2d2 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2023-09-15T14:58:53,781   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.7-py3-none-any.whl#sha256=ab44549489f24417fd61473dc080463827d90e06a5d02f73bc6a74dc345b62d2 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2023-09-15T14:58:53,782   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.5-py3-none-any.whl#sha256=2705357a48ea73b5030eca5ac2dc241022425be205e56899a90b7c33aef9c4e1 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2023-09-15T14:58:53,782   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.4-py3-none-any.whl#sha256=c3d47328bd6e0c377fecd40366ef4a7373215296a605b6689322a794668b14bc (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6,<4.0)
2023-09-15T14:58:53,783   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.3-py3-none-any.whl#sha256=91848295509cc07bc6226d0eea8e58efe90e60cc25b5e3cdee8331e34d55a651 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6,<4.0)
2023-09-15T14:58:53,783   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.2-py3-none-any.whl#sha256=846fff0a5e396b058f5be9de91d601aa63faf7ff3196f4245aacf03ebd6688d8 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6,<4.0)
2023-09-15T14:58:53,784   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.1-py3-none-any.whl#sha256=453d9b010051b6dfa3a5d95653df5dab5f35b647f8b4d92ca5024bd7aecf06d6 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,785   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.0-py3-none-any.whl#sha256=3c7cb0f9c4669105ac5c4c970a6f3567b2e1bec592098c7368d2b2708668b817 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,785   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.1.5-py3-none-any.whl#sha256=322489dea7c0df84da2ec4a94f4e3763959bbaeab6906275b0e8509a84f215be (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,786   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.1.4-py3-none-any.whl#sha256=8376a9880a530d11e7358eeb4c3185826c3576b5d163371fb2f437f815010e0d (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,786   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.1.3-py3-none-any.whl#sha256=150ece8b1c9d45302153bf501be0d1c5b44af9263696474ffbf437d3a2922d1f (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,787   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.1.2-py3-none-any.whl#sha256=e49db5350d6a8e294d9960919f8dafd619dd8d7f9cdac8e150fd8866e5ca61c8 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,787   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.1.1-py3-none-any.whl#sha256=2ecb149a12f7d9ec6295ab75d44c16768baec3d208178d46f97ebe11f2611bf9 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,788   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.1.0-py3-none-any.whl#sha256=29f332186b5d6ca061593e0a8486dcc98cdd10a0911f57e7575357d089cc2161 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,788   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.7-py3-none-any.whl#sha256=7ba3bb6abedf5675f7a5a4a8d3f42c0bfff0292cc2e37a09684ff1b6a773ddf7 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,789   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.6-py3-none-any.whl#sha256=0fd0d5d4af56488f1baeb4557db08abffbdd025dc5de1df69b5f91c1321ee86a (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,789   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.5-py3-none-any.whl#sha256=734a671c81863573fea9d5e56e5aa3d169a8b3026f1cf224baddd65e0e018085 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,790   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.4-py3-none-any.whl#sha256=6e60d40e823df77fa221f6d67a8865b93b7c22dd497f9b5d4ba8461821328bc4 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,790   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.3-py3-none-any.whl#sha256=a2a5d5c73b1d22eab9eef39a363871edac32560c033cf7a178cc251f5da27338 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,791   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.2-py3-none-any.whl#sha256=129cdb15fc14fe8c6123f2f73339ce04fece558650979c9858f9b28ffc0f7ce4 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,791   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.1-py3-none-any.whl#sha256=a2a458332c3a417f478561bd276aa2a473cbe492a9b03e15962ecaf0f379cf82 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2023-09-15T14:58:53,792 Skipping link: not a file: https://www.piwheels.org/simple/isabelle-client/
2023-09-15T14:58:53,793 Skipping link: not a file: https://pypi.org/simple/isabelle-client/
2023-09-15T14:58:53,816 Given no hashes to check 1 links for project 'isabelle-client': discarding no candidates
2023-09-15T14:58:53,834 Collecting isabelle-client==0.3.0
2023-09-15T14:58:53,836   Created temporary directory: /tmp/pip-unpack-jnxviq2d
2023-09-15T14:58:54,415   Downloading isabelle-client-0.3.0.tar.gz (12 kB)
2023-09-15T14:58:54,444   Added isabelle-client==0.3.0 from https://files.pythonhosted.org/packages/85/4e/67357ba7602b95f5415bcb22e202e333a0e39b0660dc235bd589496f2c34/isabelle-client-0.3.0.tar.gz to build tracker '/tmp/pip-build-tracker-4bk07s0j'
2023-09-15T14:58:54,448   Created temporary directory: /tmp/pip-build-env-kt38yq_i
2023-09-15T14:58:54,452   Installing build dependencies: started
2023-09-15T14:58:54,454   Running command pip subprocess to install build dependencies
2023-09-15T14:58:55,632   Using pip 23.2.1 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11)
2023-09-15T14:58:56,130   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-09-15T14:58:56,733   Collecting poetry-core>=1.1.11
2023-09-15T14:58:56,778     Using cached https://www.piwheels.org/simple/poetry-core/poetry_core-1.7.0-py3-none-any.whl (426 kB)
2023-09-15T14:58:59,024   Installing collected packages: poetry-core
2023-09-15T14:59:00,528   Successfully installed poetry-core-1.7.0
2023-09-15T14:59:01,034   Installing build dependencies: finished with status 'done'
2023-09-15T14:59:01,039   Getting requirements to build wheel: started
2023-09-15T14:59:01,041   Running command Getting requirements to build wheel
2023-09-15T14:59:01,388   Getting requirements to build wheel: finished with status 'done'
2023-09-15T14:59:01,391   Created temporary directory: /tmp/pip-modern-metadata-081ivb5n
2023-09-15T14:59:01,393   Preparing metadata (pyproject.toml): started
2023-09-15T14:59:01,395   Running command Preparing metadata (pyproject.toml)
2023-09-15T14:59:02,284   Preparing metadata (pyproject.toml): finished with status 'done'
2023-09-15T14:59:02,288   Source in /tmp/pip-wheel-nqt6v2io/isabelle-client_e79aa95f72694c848536c83824138fbe has version 0.3.0, which satisfies requirement isabelle-client==0.3.0 from https://files.pythonhosted.org/packages/85/4e/67357ba7602b95f5415bcb22e202e333a0e39b0660dc235bd589496f2c34/isabelle-client-0.3.0.tar.gz
2023-09-15T14:59:02,289   Removed isabelle-client==0.3.0 from https://files.pythonhosted.org/packages/85/4e/67357ba7602b95f5415bcb22e202e333a0e39b0660dc235bd589496f2c34/isabelle-client-0.3.0.tar.gz from build tracker '/tmp/pip-build-tracker-4bk07s0j'
2023-09-15T14:59:02,295 Created temporary directory: /tmp/pip-unpack-4p30df_f
2023-09-15T14:59:02,296 Created temporary directory: /tmp/pip-unpack-_x7_deiw
2023-09-15T14:59:02,302 Building wheels for collected packages: isabelle-client
2023-09-15T14:59:02,307   Created temporary directory: /tmp/pip-wheel-a_jluvbe
2023-09-15T14:59:02,307   Destination directory: /tmp/pip-wheel-a_jluvbe
2023-09-15T14:59:02,309   Building wheel for isabelle-client (pyproject.toml): started
2023-09-15T14:59:02,310   Running command Building wheel for isabelle-client (pyproject.toml)
2023-09-15T14:59:03,073   fatal: not a git repository (or any of the parent directories): .git
2023-09-15T14:59:03,182   Building wheel for isabelle-client (pyproject.toml): finished with status 'done'
2023-09-15T14:59:03,186   Created wheel for isabelle-client: filename=isabelle_client-0.3.0-py3-none-any.whl size=14233 sha256=8ee6ffe7598de726928b8c1293494bb2b2a0974c6e6e1c8bcc82ef94244115a2
2023-09-15T14:59:03,187   Stored in directory: /tmp/pip-ephem-wheel-cache-spkomnhe/wheels/30/9e/78/9b8f56500990d4d6b468aef208a977741ebb90f58480071dea
2023-09-15T14:59:03,198 Successfully built isabelle-client
2023-09-15T14:59:03,201 Removed build tracker: '/tmp/pip-build-tracker-4bk07s0j'