2025-12-14T13:24:58,654 Created temporary directory: /tmp/pip-ephem-wheel-cache-58ugw61m
2025-12-14T13:24:58,656 Created temporary directory: /tmp/pip-build-tracker-6koqh8pi
2025-12-14T13:24:58,657 Initialized build tracking at /tmp/pip-build-tracker-6koqh8pi
2025-12-14T13:24:58,657 Created build tracker: /tmp/pip-build-tracker-6koqh8pi
2025-12-14T13:24:58,658 Entered build tracker: /tmp/pip-build-tracker-6koqh8pi
2025-12-14T13:24:58,659 Created temporary directory: /tmp/pip-wheel-9cjb0bbp
2025-12-14T13:24:58,661 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2025-12-14T13:24:58,664 Created temporary directory: /tmp/pip-ephem-wheel-cache-mi2phfdv
2025-12-14T13:24:58,686 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-12-14T13:24:58,690 2 location(s) to search for versions of isabelle-client:
2025-12-14T13:24:58,690 * https://pypi.org/simple/isabelle-client/
2025-12-14T13:24:58,690 * https://www.piwheels.org/simple/isabelle-client/
2025-12-14T13:24:58,690 Fetching project page and analyzing links: https://pypi.org/simple/isabelle-client/
2025-12-14T13:24:58,691 Getting page https://pypi.org/simple/isabelle-client/
2025-12-14T13:24:58,692 Found index url https://pypi.org/simple
2025-12-14T13:24:58,911 Fetched page https://pypi.org/simple/isabelle-client/ as application/vnd.pypi.simple.v1+json
2025-12-14T13:24:58,945   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
2025-12-14T13:24:58,946   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)
2025-12-14T13:24:58,948   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
2025-12-14T13:24:58,949   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)
2025-12-14T13:24:58,950   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
2025-12-14T13:24:58,951   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)
2025-12-14T13:24:58,953   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
2025-12-14T13:24:58,953   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)
2025-12-14T13:24:58,955   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
2025-12-14T13:24:58,956   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)
2025-12-14T13:24:58,958   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
2025-12-14T13:24:58,958   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)
2025-12-14T13:24:58,960   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
2025-12-14T13:24:58,960   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)
2025-12-14T13:24:58,962   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
2025-12-14T13:24:58,963   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)
2025-12-14T13:24:58,964   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
2025-12-14T13:24:58,965   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)
2025-12-14T13:24:58,966   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
2025-12-14T13:24:58,967   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)
2025-12-14T13:24:58,969   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
2025-12-14T13:24:58,970   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)
2025-12-14T13:24:58,971   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
2025-12-14T13:24:58,972   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)
2025-12-14T13:24:58,973   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
2025-12-14T13:24:58,974   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)
2025-12-14T13:24:58,976   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
2025-12-14T13:24:58,976   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)
2025-12-14T13:24:58,978   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
2025-12-14T13:24:58,978   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)
2025-12-14T13:24:58,980   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
2025-12-14T13:24:58,980   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)
2025-12-14T13:24:58,982   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
2025-12-14T13:24:58,982   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)
2025-12-14T13:24:58,984   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
2025-12-14T13:24:58,984   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)
2025-12-14T13:24:58,986   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
2025-12-14T13:24:58,987   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)
2025-12-14T13:24:58,988   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
2025-12-14T13:24:58,989   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)
2025-12-14T13:24:58,990   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
2025-12-14T13:24:58,991   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)
2025-12-14T13:24:58,992   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
2025-12-14T13:24:58,993   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)
2025-12-14T13:24:58,994   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
2025-12-14T13:24:58,995   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)
2025-12-14T13:24:58,997   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
2025-12-14T13:24:58,998   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)
2025-12-14T13:24:58,999   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
2025-12-14T13:24:59,000   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)
2025-12-14T13:24:59,001   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
2025-12-14T13:24:59,002   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)
2025-12-14T13:24:59,004   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
2025-12-14T13:24:59,005   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)
2025-12-14T13:24:59,006   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
2025-12-14T13:24:59,007   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)
2025-12-14T13:24:59,008   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
2025-12-14T13:24:59,009   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)
2025-12-14T13:24:59,010   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
2025-12-14T13:24:59,010   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)
2025-12-14T13:24:59,012   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
2025-12-14T13:24:59,012   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)
2025-12-14T13:24:59,014   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
2025-12-14T13:24:59,014   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)
2025-12-14T13:24:59,015   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
2025-12-14T13:24:59,016   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)
2025-12-14T13:24:59,017   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)
2025-12-14T13:24:59,018   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
2025-12-14T13:24:59,018   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)
2025-12-14T13:24:59,019   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
2025-12-14T13:24:59,020   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)
2025-12-14T13:24:59,021   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
2025-12-14T13:24:59,022   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)
2025-12-14T13:24:59,023   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
2025-12-14T13:24:59,023   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)
2025-12-14T13:24:59,025   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
2025-12-14T13:24:59,025   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)
2025-12-14T13:24:59,026   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
2025-12-14T13:24:59,027   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)
2025-12-14T13:24:59,028   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
2025-12-14T13:24:59,029   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)
2025-12-14T13:24:59,030   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
2025-12-14T13:24:59,031   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)
2025-12-14T13:24:59,032   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
2025-12-14T13:24:59,032   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)
2025-12-14T13:24:59,033   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
2025-12-14T13:24:59,034   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)
2025-12-14T13:24:59,035   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
2025-12-14T13:24:59,036   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/e7/da/45d10114565b7561cb1ed795d5046c35367ef8ec33c28a0f30a1ee2affc8/isabelle_client-0.4.3-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12)
2025-12-14T13:24:59,037   Found link https://files.pythonhosted.org/packages/99/cb/50b6e2ddbde14314a6e8a6ccea50dcc83c02edc52260b3fcac5ef020ec86/isabelle_client-0.4.3.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12), version: 0.4.3
2025-12-14T13:24:59,037   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/c3/59/837538576a2f22d723ff831e2bd5cf64440e9ca511f4845edbdb804199e0/isabelle_client-0.4.5-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.13)
2025-12-14T13:24:59,038   Found link https://files.pythonhosted.org/packages/33/37/a4fbf6006791b341c580fe64af837f2aa0faa8967e514dd43897fb509e31/isabelle_client-0.4.5.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.13), version: 0.4.5
2025-12-14T13:24:59,039   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/f0/a0/ffdccbc4b3bbfc71516298f784b25998cf7b8e8cd389c5f1a3e50739d95d/isabelle_client-0.4.6-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.13)
2025-12-14T13:24:59,040   Found link https://files.pythonhosted.org/packages/99/bf/ae96d2d7c965ef6d26b9cc801c89ef2cfbca156097317068dd2373cd4291/isabelle_client-0.4.6.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.13), version: 0.4.6
2025-12-14T13:24:59,041   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/a9/1d/ec06cab08dd6fba1d36f06ccb46f4d844333e4f28cdc08363e1f51ac466e/isabelle_client-0.4.7-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.13)
2025-12-14T13:24:59,042   Found link https://files.pythonhosted.org/packages/fe/d4/d18b38cf52f480a6cb8bad8bd4a8f17a7498d6b783c3b8f417001c89d71a/isabelle_client-0.4.7.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.13), version: 0.4.7
2025-12-14T13:24:59,043   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/75/68/7e3385934ef060c7dd757882c2f7f80bbfa049cca23fc42fd68d765c53ed/isabelle_client-0.4.9-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.13,>=3.8.1)
2025-12-14T13:24:59,044   Found link https://files.pythonhosted.org/packages/67/91/affdc3d5526c7ba91bf652fdac8646e13870d329694742c89bd511ed0470/isabelle_client-0.4.9.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.13,>=3.8.1), version: 0.4.9
2025-12-14T13:24:59,044   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/6a/ae/6f2f848116623a0e31dfb24e0cdf40a5c13acb1fcc9cec0047a93e56c7d8/isabelle_client-0.4.11-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.13,>=3.8.1)
2025-12-14T13:24:59,045   Found link https://files.pythonhosted.org/packages/aa/23/0fa201aefff3c77c2c3b5b521d68a9aeb39b5409d03151510bbf6c262e1e/isabelle_client-0.4.11.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.13,>=3.8.1), version: 0.4.11
2025-12-14T13:24:59,046   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/59/04/77ec81b7ac4d40d578e300cba6e30e68cbcc478c31f86b6e11ccac4e5f91/isabelle_client-0.5.0-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.13,>=3.8.1)
2025-12-14T13:24:59,047   Found link https://files.pythonhosted.org/packages/7a/73/227c3b381cc0023bc3686fec86b144028688b7f8fbe12f28c7a8fb0b2525/isabelle_client-0.5.0.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.13,>=3.8.1), version: 0.5.0
2025-12-14T13:24:59,047   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/da/e7/4189536c1119d617e4d2f700ef08809520d73309291f705f96a481b8ce21/isabelle_client-0.5.1-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.13,>=3.8.1)
2025-12-14T13:24:59,049   Found link https://files.pythonhosted.org/packages/79/fc/4f60ba09ffe3f1a92299741e2f06bbe7e3f1458c3ab41531db9c6e367703/isabelle_client-0.5.1.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.13,>=3.8.1), version: 0.5.1
2025-12-14T13:24:59,049   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/f9/59/ebd7fee9e8d97ce68132732984fdbd8d56151433c4e4492ef20e79f27c0f/isabelle_client-0.5.2-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.13,>=3.9.1)
2025-12-14T13:24:59,050   Found link https://files.pythonhosted.org/packages/7e/16/f31af6e32bc5dca5f6b02d5ed40864ed82f16aa7bd0b6e7d3e2db7e07248/isabelle_client-0.5.2.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.13,>=3.9.1), version: 0.5.2
2025-12-14T13:24:59,051   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/29/10/859d0b81ee55ad5ee3440860502c810e8b098af4996805474e8f4c3beba7/isabelle_client-0.5.3-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.13,>=3.9.1)
2025-12-14T13:24:59,052   Found link https://files.pythonhosted.org/packages/20/f9/da253525b7791f2cd1c69308b6438400e226e2241e4aadfe9469e2248a69/isabelle_client-0.5.3.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.13,>=3.9.1), version: 0.5.3
2025-12-14T13:24:59,053   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/51/b2/0191dcbba4ea8025a0e615275c2eba78a02a6781d908496107a27202d670/isabelle_client-0.5.4-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.14,>=3.9.1)
2025-12-14T13:24:59,054   Found link https://files.pythonhosted.org/packages/a5/04/c9fdfdcd0afe708b6cb0faa7a249cd43a63a42f7fccfc7c059ff2db40fd6/isabelle_client-0.5.4.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.14,>=3.9.1), version: 0.5.4
2025-12-14T13:24:59,054   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/38/10/57be8412a701f6f1159882318e5d809d3d82daa6a890c748b641f4af5e2d/isabelle_client-0.5.5-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.14,>=3.9.1)
2025-12-14T13:24:59,055   Found link https://files.pythonhosted.org/packages/73/de/0524082995a4a45cbc2012f985b8cef3d8ee67e57f2c6f3cbc2b9f66a24d/isabelle_client-0.5.5.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.14,>=3.9.1), version: 0.5.5
2025-12-14T13:24:59,056   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/21/a0/ac890c2954a3afa516b28b786e8c6a00d67697fc3ce2e94a213f63265f0b/isabelle_client-0.5.6-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.14,>=3.9.1)
2025-12-14T13:24:59,057   Found link https://files.pythonhosted.org/packages/46/69/c31fb2a9ed930787fc0c1fcea5bcd752208de5327e118505b4de72948b05/isabelle_client-0.5.6.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.14,>=3.9.1), version: 0.5.6
2025-12-14T13:24:59,058   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/ae/3b/40b1e30f7bcd3b3dc6fa04302299f91bd025637b93d5fd258274db233115/isabelle_client-0.5.7-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.14,>=3.9.1)
2025-12-14T13:24:59,059   Found link https://files.pythonhosted.org/packages/c6/4a/a5f89075539bd17ca3ce388888b0f097e7094879c33ac26d4070c564c397/isabelle_client-0.5.7.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.14,>=3.9.1), version: 0.5.7
2025-12-14T13:24:59,060   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/88/0c/0de9cdc555a42548b47745c1fb6b1efaa715723f19d3c52babc4bb20eeca/isabelle_client-0.5.9-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.14,>=3.9.1)
2025-12-14T13:24:59,061   Found link https://files.pythonhosted.org/packages/da/88/2273c7cb86ffce09f73a307354497b92477b85d145072306fa88dfac8986/isabelle_client-0.5.9.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.14,>=3.9.1), version: 0.5.9
2025-12-14T13:24:59,062   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/71/3c/47650303858ffbfd0f030a1c22ac962fac98171feaf38c3a298f00bdbdca/isabelle_client-0.6.0-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.14,>=3.9.1)
2025-12-14T13:24:59,063   Found link https://files.pythonhosted.org/packages/21/dd/c047dd223a90b8d623c290f5ef6f65abfdde3fe22474b52a1d0fda96fabe/isabelle_client-0.6.0.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.14,>=3.9.1), version: 0.6.0
2025-12-14T13:24:59,063   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/7b/29/c100fa3b526ac697ca92be57d66af02a44edfd3145e9d84e3475c02c6e3f/isabelle_client-1.0.0-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.15,>=3.10)
2025-12-14T13:24:59,064   Found link https://files.pythonhosted.org/packages/8f/13/0ea677b4fc49cdbea152b7cf7e4c6589235d769a9d61bbe9078a586383e4/isabelle_client-1.0.0.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.15,>=3.10), version: 1.0.0
2025-12-14T13:24:59,065   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/32/9b/6b0865b9836a71b2901d0c9c60d883e14981389433954453be2fd8cbd9f0/isabelle_client-1.0.1-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.15,>=3.10)
2025-12-14T13:24:59,066   Found link https://files.pythonhosted.org/packages/1e/af/f0a35a9d215efb62a9e3c583d9b3381e8960d8456ca6d6d71c0f9d296111/isabelle_client-1.0.1.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.15,>=3.10), version: 1.0.1
2025-12-14T13:24:59,067 Fetching project page and analyzing links: https://www.piwheels.org/simple/isabelle-client/
2025-12-14T13:24:59,068 Getting page https://www.piwheels.org/simple/isabelle-client/
2025-12-14T13:24:59,069 Found index url https://www.piwheels.org/simple
2025-12-14T13:24:59,290 Fetched page https://www.piwheels.org/simple/isabelle-client/ as text/html
2025-12-14T13:24:59,308   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-1.0.0-py3-none-any.whl#sha256=a94d64ead80e8d3c5cbc2a23f5477e008bbc6303eb068222dcae245d8ca16171 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>= 3.10, < 3.15)
2025-12-14T13:24:59,309   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.6.0-py3-none-any.whl#sha256=52efbf42b15f5fbbb25b8cf4276ed75df5aaffc34cf372faddc1d4be5a28cb95 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>= 3.9.1, < 3.14)
2025-12-14T13:24:59,309   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.9-py3-none-any.whl#sha256=9bd42aaf45bd643e295e3257a8b5ad3c88ace887e6b89ddea56ce5cf2b32ca89 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>= 3.9.1, < 3.14)
2025-12-14T13:24:59,310   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.7-py3-none-any.whl#sha256=a0bd4fddfbe3e9e6a4c13d75649098d05c3f7dd019e80985e381a63b2895487c (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>= 3.9.1, < 3.14)
2025-12-14T13:24:59,310   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.6-py3-none-any.whl#sha256=597c790c9b583bf464a8b3f930ee3d9766cb78b0a0d06a4611d2d8484aa2a3f6 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9.1,<3.14)
2025-12-14T13:24:59,311   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.5-py3-none-any.whl#sha256=dc0177d106e7b77bded64dc6360e7129a106fb918a1c1d0acf57bcdedf36e4b7 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9.1,<3.14)
2025-12-14T13:24:59,312   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.4-py3-none-any.whl#sha256=61b6131560d64641e2e79147ea70c93345170d4537c48001e1c9b8ae41c556e9 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9.1,<3.14)
2025-12-14T13:24:59,312   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.3-py3-none-any.whl#sha256=84c59a783faeba6ef65c15ba919bb4ee5d29eee0b1dcdb67e01b445d92394bf9 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9.1,<3.13)
2025-12-14T13:24:59,313   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.2-py3-none-any.whl#sha256=10b90bd8563a6b8bad8194b15ff84afa10b796ce10de0262bda63f3adcaaf2fd (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9.1,<3.13)
2025-12-14T13:24:59,313   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.1-py3-none-any.whl#sha256=45838ef3b775291bc759dc8bf618ad149320c135554f1e61f0e41e1c5d13549a (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.13)
2025-12-14T13:24:59,314   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.0-py3-none-any.whl#sha256=d2e49fcb7de2888b54805ccafcbb0aeb6520aaf59a43eea9e1dc016be81b6610 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.13)
2025-12-14T13:24:59,315   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.11-py3-none-any.whl#sha256=4db77150d87ea6268ba456fc1a04b7626cc1a63c0e75610b5d1ee2f889e23c86 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.13)
2025-12-14T13:24:59,315   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.9-py3-none-any.whl#sha256=4e90fe70afbca35c621f8f2e268c963a3aa236e42a8f80962ace86ea0a8ba99e (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.13)
2025-12-14T13:24:59,316   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.7-py3-none-any.whl#sha256=6f6adbe2c4840b1d3dca7e8a2b5bc7690fe2abc85fd7000da23a1e64b933475a (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.13)
2025-12-14T13:24:59,316   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.6-py3-none-any.whl#sha256=32322e155345a100fd4d703eeab71a7d619bc967081e71838ab7b6933b8ef12c (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.13)
2025-12-14T13:24:59,317   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.5-py3-none-any.whl#sha256=309d08295fb57df65dd74d1fbbef32ae527d90631f38c8de9d9a2f9adefeba84 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.13)
2025-12-14T13:24:59,317   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.3-py3-none-any.whl#sha256=749a8afea82f3bf34e73b60719ffb417d3e6469aa507361fea9852c963d5e2e2 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12)
2025-12-14T13:24:59,318   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,319   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,319   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,320   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,321   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,321   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,322   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,323   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,323   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,323   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,324   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,324   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,325   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,326   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,326   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,327   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,327   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,328   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,329   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,329   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,329   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.0-py3-none-any.whl#sha256=8ee6ffe7598de726928b8c1293494bb2b2a0974c6e6e1c8bcc82ef94244115a2 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2025-12-14T13:24:59,330   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,330   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,331   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,331   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,332   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,332   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,333   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,333   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,334   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,335   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,335   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,335   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,336   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,336   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,337   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,337   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,338   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,339   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,339   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,340   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,340   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,341   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,341   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2025-12-14T13:24:59,342 Skipping link: not a file: https://www.piwheels.org/simple/isabelle-client/
2025-12-14T13:24:59,342 Skipping link: not a file: https://pypi.org/simple/isabelle-client/
2025-12-14T13:24:59,368 Given no hashes to check 1 links for project 'isabelle-client': discarding no candidates
2025-12-14T13:24:59,386 Collecting isabelle-client==1.0.1
2025-12-14T13:24:59,389   Created temporary directory: /tmp/pip-unpack-rq2p92d_
2025-12-14T13:24:59,530   Downloading isabelle_client-1.0.1.tar.gz (21 kB)
2025-12-14T13:24:59,594   Added isabelle-client==1.0.1 from https://files.pythonhosted.org/packages/1e/af/f0a35a9d215efb62a9e3c583d9b3381e8960d8456ca6d6d71c0f9d296111/isabelle_client-1.0.1.tar.gz to build tracker '/tmp/pip-build-tracker-6koqh8pi'
2025-12-14T13:24:59,600   Created temporary directory: /tmp/pip-build-env-yh6cvxkp
2025-12-14T13:24:59,604   Installing build dependencies: started
2025-12-14T13:24:59,606   Running command pip subprocess to install build dependencies
2025-12-14T13:25:00,737   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2025-12-14T13:25:01,354   DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2025-12-14T13:25:01,377   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-12-14T13:25:01,913   Collecting poetry-core>=1.0.1
2025-12-14T13:25:01,946     Using cached https://www.piwheels.org/simple/poetry-core/poetry_core-2.2.1-py3-none-any.whl (338 kB)
2025-12-14T13:25:04,448   Installing collected packages: poetry-core
2025-12-14T13:25:05,680   Successfully installed poetry-core-2.2.1
2025-12-14T13:25:05,908   Installing build dependencies: finished with status 'done'
2025-12-14T13:25:05,915   Getting requirements to build wheel: started
2025-12-14T13:25:05,916   Running command Getting requirements to build wheel
2025-12-14T13:25:06,378   Getting requirements to build wheel: finished with status 'done'
2025-12-14T13:25:06,382   Created temporary directory: /tmp/pip-modern-metadata-o71_rd1c
2025-12-14T13:25:06,384   Preparing metadata (pyproject.toml): started
2025-12-14T13:25:06,385   Running command Preparing metadata (pyproject.toml)
2025-12-14T13:25:07,373   Preparing metadata (pyproject.toml): finished with status 'done'
2025-12-14T13:25:07,378   Source in /tmp/pip-wheel-9cjb0bbp/isabelle-client_16827651871e47eeba30b617e24447ab has version 1.0.1, which satisfies requirement isabelle-client==1.0.1 from https://files.pythonhosted.org/packages/1e/af/f0a35a9d215efb62a9e3c583d9b3381e8960d8456ca6d6d71c0f9d296111/isabelle_client-1.0.1.tar.gz
2025-12-14T13:25:07,379   Removed isabelle-client==1.0.1 from https://files.pythonhosted.org/packages/1e/af/f0a35a9d215efb62a9e3c583d9b3381e8960d8456ca6d6d71c0f9d296111/isabelle_client-1.0.1.tar.gz from build tracker '/tmp/pip-build-tracker-6koqh8pi'
2025-12-14T13:25:07,386 Created temporary directory: /tmp/pip-unpack-nrsf3j8m
2025-12-14T13:25:07,387 Building wheels for collected packages: isabelle-client
2025-12-14T13:25:07,391   Created temporary directory: /tmp/pip-wheel-wstow8ej
2025-12-14T13:25:07,391   Destination directory: /tmp/pip-wheel-wstow8ej
2025-12-14T13:25:07,393   Building wheel for isabelle-client (pyproject.toml): started
2025-12-14T13:25:07,394   Running command Building wheel for isabelle-client (pyproject.toml)
2025-12-14T13:25:08,440   Building wheel for isabelle-client (pyproject.toml): finished with status 'done'
2025-12-14T13:25:08,445   Created wheel for isabelle-client: filename=isabelle_client-1.0.1-py3-none-any.whl size=28172 sha256=b215425389018bd57109a4f66535afb804a88aa81bac7a4381c679d541c638e2
2025-12-14T13:25:08,446   Stored in directory: /tmp/pip-ephem-wheel-cache-mi2phfdv/wheels/38/75/96/66f8688e8892a6a2e4eca48297270cea2bf08da1431a6d3d32
2025-12-14T13:25:08,457 Successfully built isabelle-client
2025-12-14T13:25:08,461 Removed build tracker: '/tmp/pip-build-tracker-6koqh8pi'