2026-05-04T02:53:54,418 Created temporary directory: /tmp/pip-ephem-wheel-cache-qz38bdbw
2026-05-04T02:53:54,420 Created temporary directory: /tmp/pip-build-tracker-iu62wy1p
2026-05-04T02:53:54,421 Initialized build tracking at /tmp/pip-build-tracker-iu62wy1p
2026-05-04T02:53:54,421 Created build tracker: /tmp/pip-build-tracker-iu62wy1p
2026-05-04T02:53:54,422 Entered build tracker: /tmp/pip-build-tracker-iu62wy1p
2026-05-04T02:53:54,422 Created temporary directory: /tmp/pip-wheel-iqnl81wb
2026-05-04T02:53:54,426 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
2026-05-04T02:53:54,428 Created temporary directory: /tmp/pip-ephem-wheel-cache-bfim_64t
2026-05-04T02:53:54,449 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-05-04T02:53:54,453 2 location(s) to search for versions of isabelle-client:
2026-05-04T02:53:54,453 * https://pypi.org/simple/isabelle-client/
2026-05-04T02:53:54,453 * https://www.piwheels.org/simple/isabelle-client/
2026-05-04T02:53:54,454 Fetching project page and analyzing links: https://pypi.org/simple/isabelle-client/
2026-05-04T02:53:54,454 Getting page https://pypi.org/simple/isabelle-client/
2026-05-04T02:53:54,456 Found index url https://pypi.org/simple
2026-05-04T02:53:54,606 Fetched page https://pypi.org/simple/isabelle-client/ as application/vnd.pypi.simple.v1+json
2026-05-04T02:53:54,629   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
2026-05-04T02:53:54,630   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)
2026-05-04T02:53:54,631   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
2026-05-04T02:53:54,632   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)
2026-05-04T02:53:54,633   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
2026-05-04T02:53:54,634   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)
2026-05-04T02:53:54,635   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
2026-05-04T02:53:54,636   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)
2026-05-04T02:53:54,637   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
2026-05-04T02:53:54,638   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)
2026-05-04T02:53:54,639   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
2026-05-04T02:53:54,640   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)
2026-05-04T02:53:54,641   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
2026-05-04T02:53:54,642   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)
2026-05-04T02:53:54,643   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
2026-05-04T02:53:54,644   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)
2026-05-04T02:53:54,645   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
2026-05-04T02:53:54,645   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)
2026-05-04T02:53:54,646   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
2026-05-04T02:53:54,647   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)
2026-05-04T02:53:54,648   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
2026-05-04T02:53:54,649   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)
2026-05-04T02:53:54,650   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
2026-05-04T02:53:54,651   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)
2026-05-04T02:53:54,652   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
2026-05-04T02:53:54,653   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)
2026-05-04T02:53:54,653   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
2026-05-04T02:53:54,654   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)
2026-05-04T02:53:54,655   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
2026-05-04T02:53:54,656   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)
2026-05-04T02:53:54,657   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
2026-05-04T02:53:54,657   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)
2026-05-04T02:53:54,659   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
2026-05-04T02:53:54,659   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)
2026-05-04T02:53:54,660   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
2026-05-04T02:53:54,661   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)
2026-05-04T02:53:54,662   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
2026-05-04T02:53:54,663   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)
2026-05-04T02:53:54,664   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
2026-05-04T02:53:54,665   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)
2026-05-04T02:53:54,666   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
2026-05-04T02:53:54,667   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)
2026-05-04T02:53:54,668   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
2026-05-04T02:53:54,668   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)
2026-05-04T02:53:54,669   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
2026-05-04T02:53:54,670   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)
2026-05-04T02:53:54,671   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
2026-05-04T02:53:54,672   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)
2026-05-04T02:53:54,673   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
2026-05-04T02:53:54,674   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)
2026-05-04T02:53:54,675   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
2026-05-04T02:53:54,675   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)
2026-05-04T02:53:54,676   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
2026-05-04T02:53:54,678   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)
2026-05-04T02:53:54,679   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
2026-05-04T02:53:54,679   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)
2026-05-04T02:53:54,680   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
2026-05-04T02:53:54,681   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)
2026-05-04T02:53:54,682   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
2026-05-04T02:53:54,682   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)
2026-05-04T02:53:54,684   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
2026-05-04T02:53:54,684   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)
2026-05-04T02:53:54,685   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
2026-05-04T02:53:54,686   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)
2026-05-04T02:53:54,687   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
2026-05-04T02:53:54,688   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)
2026-05-04T02:53:54,689   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)
2026-05-04T02:53:54,690   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
2026-05-04T02:53:54,691   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)
2026-05-04T02:53:54,692   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
2026-05-04T02:53:54,692   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)
2026-05-04T02:53:54,693   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
2026-05-04T02:53:54,694   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)
2026-05-04T02:53:54,695   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
2026-05-04T02:53:54,696   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)
2026-05-04T02:53:54,696   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
2026-05-04T02:53:54,697   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)
2026-05-04T02:53:54,698   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
2026-05-04T02:53:54,699   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)
2026-05-04T02:53:54,700   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
2026-05-04T02:53:54,701   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)
2026-05-04T02:53:54,702   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
2026-05-04T02:53:54,703   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)
2026-05-04T02:53:54,704   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
2026-05-04T02:53:54,705   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)
2026-05-04T02:53:54,705   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
2026-05-04T02:53:54,706   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)
2026-05-04T02:53:54,707   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
2026-05-04T02:53:54,708   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)
2026-05-04T02:53:54,709   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
2026-05-04T02:53:54,710   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)
2026-05-04T02:53:54,711   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
2026-05-04T02:53:54,711   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)
2026-05-04T02:53:54,712   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
2026-05-04T02:53:54,713   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)
2026-05-04T02:53:54,715   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
2026-05-04T02:53:54,715   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)
2026-05-04T02:53:54,716   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
2026-05-04T02:53:54,717   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)
2026-05-04T02:53:54,718   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
2026-05-04T02:53:54,718   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)
2026-05-04T02:53:54,719   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
2026-05-04T02:53:54,720   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)
2026-05-04T02:53:54,721   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
2026-05-04T02:53:54,722   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)
2026-05-04T02:53:54,723   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
2026-05-04T02:53:54,724   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)
2026-05-04T02:53:54,725   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
2026-05-04T02:53:54,726   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)
2026-05-04T02:53:54,727   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
2026-05-04T02:53:54,728   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)
2026-05-04T02:53:54,728   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
2026-05-04T02:53:54,729   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)
2026-05-04T02:53:54,730   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
2026-05-04T02:53:54,731   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)
2026-05-04T02:53:54,732   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
2026-05-04T02:53:54,733   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)
2026-05-04T02:53:54,734   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
2026-05-04T02:53:54,735   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)
2026-05-04T02:53:54,736   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
2026-05-04T02:53:54,737   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)
2026-05-04T02:53:54,738   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
2026-05-04T02:53:54,738   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)
2026-05-04T02:53:54,740   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
2026-05-04T02:53:54,740   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/50/90/c28f2f2ac7feaea54b66a839b03f6cbac070e43532ea9e9a28b9a3c5eb3f/isabelle_client-1.0.2-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.15,>=3.10)
2026-05-04T02:53:54,741   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/6c/54/110dc41ce0431b8a5ae77b1f19cae9f8b8a2f7e5bb9693d8ff79565ef359/isabelle_client-1.1.0-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.15,>=3.10)
2026-05-04T02:53:54,742   Found link https://files.pythonhosted.org/packages/90/bc/c5d3e058c641b05f9c121e0d578a5a146627acdd3ef64a049d7b17720ae5/isabelle_client-1.1.0.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.15,>=3.10), version: 1.1.0
2026-05-04T02:53:54,742   Skipping link: No binaries permitted for isabelle-client: https://files.pythonhosted.org/packages/02/a6/cec6723076d3fcb7e14f79d12139cce0a8fe42f2d9d20fa4e629640bef8f/isabelle_client-1.1.1-py3-none-any.whl (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.15,>=3.10)
2026-05-04T02:53:54,743   Found link https://files.pythonhosted.org/packages/62/40/41857b1737d490559033f7f505602ef847bec3183c9683bcf649087a0edc/isabelle_client-1.1.1.tar.gz (from https://pypi.org/simple/isabelle-client/) (requires-python:<3.15,>=3.10), version: 1.1.1
2026-05-04T02:53:54,744 Fetching project page and analyzing links: https://www.piwheels.org/simple/isabelle-client/
2026-05-04T02:53:54,745 Getting page https://www.piwheels.org/simple/isabelle-client/
2026-05-04T02:53:54,746 Found index url https://www.piwheels.org/simple
2026-05-04T02:53:54,917 Fetched page https://www.piwheels.org/simple/isabelle-client/ as text/html
2026-05-04T02:53:54,935   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-1.1.0-py3-none-any.whl#sha256=3003c446a2d74fe382b6e7ea850b5f528d5eff32b184a20efea21cb20c250880 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.10, <3.15)
2026-05-04T02:53:54,936   Skipping link: No binaries permitted for isabelle-client: https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-1.0.1-py3-none-any.whl#sha256=b215425389018bd57109a4f66535afb804a88aa81bac7a4381c679d541c638e2 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>= 3.10, < 3.15)
2026-05-04T02:53:54,937   Skipping link: No binaries permitted for isabelle-client: https://archive1.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)
2026-05-04T02:53:54,937   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)
2026-05-04T02:53:54,938   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)
2026-05-04T02:53:54,938   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)
2026-05-04T02:53:54,939   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)
2026-05-04T02:53:54,940   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)
2026-05-04T02:53:54,940   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)
2026-05-04T02:53:54,941   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)
2026-05-04T02:53:54,941   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)
2026-05-04T02:53:54,942   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)
2026-05-04T02:53:54,942   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)
2026-05-04T02:53:54,943   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)
2026-05-04T02:53:54,944   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)
2026-05-04T02:53:54,945   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)
2026-05-04T02:53:54,945   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)
2026-05-04T02:53:54,946   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)
2026-05-04T02:53:54,947   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)
2026-05-04T02:53:54,947   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)
2026-05-04T02:53:54,947   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)
2026-05-04T02:53:54,948   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)
2026-05-04T02:53:54,948   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)
2026-05-04T02:53:54,949   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)
2026-05-04T02:53:54,950   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)
2026-05-04T02:53:54,950   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)
2026-05-04T02:53:54,951   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)
2026-05-04T02:53:54,952   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)
2026-05-04T02:53:54,952   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)
2026-05-04T02:53:54,953   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)
2026-05-04T02:53:54,954   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)
2026-05-04T02:53:54,954   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)
2026-05-04T02:53:54,955   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)
2026-05-04T02:53:54,955   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)
2026-05-04T02:53:54,956   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)
2026-05-04T02:53:54,956   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)
2026-05-04T02:53:54,957   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)
2026-05-04T02:53:54,957   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)
2026-05-04T02:53:54,958   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)
2026-05-04T02:53:54,959   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)
2026-05-04T02:53:54,959   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)
2026-05-04T02:53:54,960   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)
2026-05-04T02:53:54,960   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)
2026-05-04T02:53:54,961   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)
2026-05-04T02:53:54,962   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)
2026-05-04T02:53:54,962   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)
2026-05-04T02:53:54,962   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)
2026-05-04T02:53:54,963   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)
2026-05-04T02:53:54,963   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)
2026-05-04T02:53:54,964   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)
2026-05-04T02:53:54,965   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)
2026-05-04T02:53:54,965   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)
2026-05-04T02:53:54,966   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)
2026-05-04T02:53:54,966   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)
2026-05-04T02:53:54,967   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)
2026-05-04T02:53:54,968   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)
2026-05-04T02:53:54,968   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)
2026-05-04T02:53:54,968   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)
2026-05-04T02:53:54,969   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)
2026-05-04T02:53:54,969   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)
2026-05-04T02:53:54,970   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)
2026-05-04T02:53:54,971   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)
2026-05-04T02:53:54,971   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)
2026-05-04T02:53:54,972 Skipping link: not a file: https://www.piwheels.org/simple/isabelle-client/
2026-05-04T02:53:54,972 Skipping link: not a file: https://pypi.org/simple/isabelle-client/
2026-05-04T02:53:55,000 Given no hashes to check 1 links for project 'isabelle-client': discarding no candidates
2026-05-04T02:53:55,020 Collecting isabelle-client==1.1.1
2026-05-04T02:53:55,022   Created temporary directory: /tmp/pip-unpack-_drzxryu
2026-05-04T02:53:55,169   Downloading isabelle_client-1.1.1.tar.gz (20 kB)
2026-05-04T02:53:55,232   Added isabelle-client==1.1.1 from https://files.pythonhosted.org/packages/62/40/41857b1737d490559033f7f505602ef847bec3183c9683bcf649087a0edc/isabelle_client-1.1.1.tar.gz to build tracker '/tmp/pip-build-tracker-iu62wy1p'
2026-05-04T02:53:55,238   Created temporary directory: /tmp/pip-build-env-v94ojfx4
2026-05-04T02:53:55,243   Installing build dependencies: started
2026-05-04T02:53:55,244   Running command pip subprocess to install build dependencies
2026-05-04T02:53:56,379   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2026-05-04T02:53:56,821   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
2026-05-04T02:53:56,843   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-05-04T02:53:58,359   Collecting uv_build
2026-05-04T02:53:58,386     Using cached uv_build-0.11.8-py3-none-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.5 MB)
2026-05-04T02:54:01,036   Installing collected packages: uv_build
2026-05-04T02:54:01,183   Successfully installed uv_build-0.11.8
2026-05-04T02:54:01,457   Installing build dependencies: finished with status 'done'
2026-05-04T02:54:01,464   Getting requirements to build wheel: started
2026-05-04T02:54:01,465   Running command Getting requirements to build wheel
2026-05-04T02:54:01,601   Getting requirements to build wheel: finished with status 'done'
2026-05-04T02:54:01,604   Created temporary directory: /tmp/pip-modern-metadata-h2yu6442
2026-05-04T02:54:01,606   Preparing metadata (pyproject.toml): started
2026-05-04T02:54:01,607   Running command Preparing metadata (pyproject.toml)
2026-05-04T02:54:01,764   Preparing metadata (pyproject.toml): finished with status 'done'
2026-05-04T02:54:01,768   Source in /tmp/pip-wheel-iqnl81wb/isabelle-client_156eceaf899c41cba6710faf155aa9a1 has version 1.1.1, which satisfies requirement isabelle-client==1.1.1 from https://files.pythonhosted.org/packages/62/40/41857b1737d490559033f7f505602ef847bec3183c9683bcf649087a0edc/isabelle_client-1.1.1.tar.gz
2026-05-04T02:54:01,769   Removed isabelle-client==1.1.1 from https://files.pythonhosted.org/packages/62/40/41857b1737d490559033f7f505602ef847bec3183c9683bcf649087a0edc/isabelle_client-1.1.1.tar.gz from build tracker '/tmp/pip-build-tracker-iu62wy1p'
2026-05-04T02:54:01,776 Created temporary directory: /tmp/pip-unpack-l8bfbrtu
2026-05-04T02:54:01,776 Building wheels for collected packages: isabelle-client
2026-05-04T02:54:01,781   Created temporary directory: /tmp/pip-wheel-auvmv59b
2026-05-04T02:54:01,781   Destination directory: /tmp/pip-wheel-auvmv59b
2026-05-04T02:54:01,784   Building wheel for isabelle-client (pyproject.toml): started
2026-05-04T02:54:01,785   Running command Building wheel for isabelle-client (pyproject.toml)
2026-05-04T02:54:01,974   Building wheel for isabelle-client (pyproject.toml): finished with status 'done'
2026-05-04T02:54:01,978   Created wheel for isabelle-client: filename=isabelle_client-1.1.1-py3-none-any.whl size=30581 sha256=3cecf0bb902795bfc07c6991efba14e42ccac7ca6ad7438bf8d5bd85636c3a8c
2026-05-04T02:54:01,980   Stored in directory: /tmp/pip-ephem-wheel-cache-bfim_64t/wheels/bd/0d/9c/71b09e8162990cc473439443df40c375e57c455ef1a12f8f02
2026-05-04T02:54:01,993 Successfully built isabelle-client
2026-05-04T02:54:01,997 Removed build tracker: '/tmp/pip-build-tracker-iu62wy1p'