2024-01-04T22:19:18,342 Created temporary directory: /tmp/pip-build-tracker-if5vsjjq
2024-01-04T22:19:18,343 Initialized build tracking at /tmp/pip-build-tracker-if5vsjjq
2024-01-04T22:19:18,344 Created build tracker: /tmp/pip-build-tracker-if5vsjjq
2024-01-04T22:19:18,344 Entered build tracker: /tmp/pip-build-tracker-if5vsjjq
2024-01-04T22:19:18,345 Created temporary directory: /tmp/pip-wheel-vo8df56s
2024-01-04T22:19:18,349 Created temporary directory: /tmp/pip-ephem-wheel-cache-724ir_14
2024-01-04T22:19:18,371 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-01-04T22:19:18,374 2 location(s) to search for versions of isabelle-client:
2024-01-04T22:19:18,374 * https://pypi.org/simple/isabelle-client/
2024-01-04T22:19:18,374 * https://www.piwheels.org/simple/isabelle-client/
2024-01-04T22:19:18,375 Fetching project page and analyzing links: https://pypi.org/simple/isabelle-client/
2024-01-04T22:19:18,376 Getting page https://pypi.org/simple/isabelle-client/
2024-01-04T22:19:18,377 Found index url https://pypi.org/simple/
2024-01-04T22:19:18,655 Fetched page https://pypi.org/simple/isabelle-client/ as application/vnd.pypi.simple.v1+json
2024-01-04T22:19:18,672   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
2024-01-04T22:19:18,672   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)
2024-01-04T22:19:18,673   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
2024-01-04T22:19:18,674   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)
2024-01-04T22:19:18,675   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
2024-01-04T22:19:18,676   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)
2024-01-04T22:19:18,677   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
2024-01-04T22:19:18,678   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)
2024-01-04T22:19:18,679   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
2024-01-04T22:19:18,679   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)
2024-01-04T22:19:18,680   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
2024-01-04T22:19:18,681   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)
2024-01-04T22:19:18,682   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
2024-01-04T22:19:18,683   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)
2024-01-04T22:19:18,684   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
2024-01-04T22:19:18,684   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)
2024-01-04T22:19:18,685   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
2024-01-04T22:19:18,686   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)
2024-01-04T22:19:18,687   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
2024-01-04T22:19:18,688   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)
2024-01-04T22:19:18,689   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
2024-01-04T22:19:18,689   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)
2024-01-04T22:19:18,690   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
2024-01-04T22:19:18,691   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)
2024-01-04T22:19:18,692   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
2024-01-04T22:19:18,692   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)
2024-01-04T22:19:18,694   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
2024-01-04T22:19:18,694   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)
2024-01-04T22:19:18,695   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
2024-01-04T22:19:18,696   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)
2024-01-04T22:19:18,697   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
2024-01-04T22:19:18,697   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)
2024-01-04T22:19:18,698   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
2024-01-04T22:19:18,699   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)
2024-01-04T22:19:18,700   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
2024-01-04T22:19:18,700   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)
2024-01-04T22:19:18,701   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
2024-01-04T22:19:18,702   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)
2024-01-04T22:19:18,703   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
2024-01-04T22:19:18,704   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)
2024-01-04T22:19:18,705   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
2024-01-04T22:19:18,706   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)
2024-01-04T22:19:18,707   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
2024-01-04T22:19:18,707   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)
2024-01-04T22:19:18,708   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
2024-01-04T22:19:18,709   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)
2024-01-04T22:19:18,710   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
2024-01-04T22:19:18,710   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)
2024-01-04T22:19:18,711   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
2024-01-04T22:19:18,712   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)
2024-01-04T22:19:18,713   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
2024-01-04T22:19:18,714   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)
2024-01-04T22:19:18,715   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
2024-01-04T22:19:18,716   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)
2024-01-04T22:19:18,717   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
2024-01-04T22:19:18,717   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)
2024-01-04T22:19:18,718   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
2024-01-04T22:19:18,719   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)
2024-01-04T22:19:18,720   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
2024-01-04T22:19:18,720   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)
2024-01-04T22:19:18,721   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
2024-01-04T22:19:18,722   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)
2024-01-04T22:19:18,723   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
2024-01-04T22:19:18,724   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)
2024-01-04T22:19:18,725   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
2024-01-04T22:19:18,726   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)
2024-01-04T22:19:18,727   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)
2024-01-04T22:19:18,728   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
2024-01-04T22:19:18,728   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)
2024-01-04T22:19:18,730   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
2024-01-04T22:19:18,730   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)
2024-01-04T22:19:18,731   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
2024-01-04T22:19:18,732   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)
2024-01-04T22:19:18,733   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
2024-01-04T22:19:18,733   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)
2024-01-04T22:19:18,734   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
2024-01-04T22:19:18,735   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)
2024-01-04T22:19:18,736   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
2024-01-04T22:19:18,737   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)
2024-01-04T22:19:18,738   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
2024-01-04T22:19:18,739   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)
2024-01-04T22:19:18,740   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
2024-01-04T22:19:18,741   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)
2024-01-04T22:19:18,742   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
2024-01-04T22:19:18,743   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)
2024-01-04T22:19:18,743   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
2024-01-04T22:19:18,744   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)
2024-01-04T22:19:18,745   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
2024-01-04T22:19:18,746   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)
2024-01-04T22:19:18,746   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
2024-01-04T22:19:18,747   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)
2024-01-04T22:19:18,748   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
2024-01-04T22:19:18,749   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)
2024-01-04T22:19:18,750   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
2024-01-04T22:19:18,751 Fetching project page and analyzing links: https://www.piwheels.org/simple/isabelle-client/
2024-01-04T22:19:18,751 Getting page https://www.piwheels.org/simple/isabelle-client/
2024-01-04T22:19:18,753 Found index url https://www.piwheels.org/simple/
2024-01-04T22:19:18,910 Fetched page https://www.piwheels.org/simple/isabelle-client/ as text/html
2024-01-04T22:19:18,923   Skipping link: No binaries permitted for isabelle-client: https://www.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)
2024-01-04T22:19:18,924   Skipping link: No binaries permitted for isabelle-client: https://www.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)
2024-01-04T22:19:18,925   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.4.2-py3-none-any.whl#sha256=a8667d8abf153d478a42cf6708e5ef15f4b76c70389c309824f435b6d16a864c (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12)
2024-01-04T22:19:18,925   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.4.1-py3-none-any.whl#sha256=fe8cd9299edf4ba5cd96582853475a7c65d73eb349b338213c23be53a4edd889 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12)
2024-01-04T22:19:18,926   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.4.0-py3-none-any.whl#sha256=6badca5042274d713ff136fa54911b567819c36675e5292e86acdd3de3557f70 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.8.1,<3.12)
2024-01-04T22:19:18,926   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.17-py3-none-any.whl#sha256=6b78e0dd04bfd2a55e0471f1d4aea62f2940a2518ca45d3e9c92e5ac440f890c (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2024-01-04T22:19:18,927   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.16-py3-none-any.whl#sha256=eca7fe52ff2a50aed05a8f65e15b1e2b60c786d4e04e3d32267bd303e6fcb0a8 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2024-01-04T22:19:18,927   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.15-py3-none-any.whl#sha256=0c80428d6877a433cd7cfa6261500559cc20bca827b7e5048744569cdc08cdbb (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2024-01-04T22:19:18,928   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.14-py3-none-any.whl#sha256=4edf9d26662d7d5ecf1b162e98d56dff301b4446fe80bf071cc049265a51c8c8 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2024-01-04T22:19:18,929   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.13-py3-none-any.whl#sha256=1d55ef3dc97af1518ebc296a950c4b17880a366735dfc46c6bb4bde4ce5fc9fe (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2024-01-04T22:19:18,929   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.12-py3-none-any.whl#sha256=894d607cd03870311c30bb06d0bd84bc563de562578888e53f9b4f91df25275c (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2024-01-04T22:19:18,930   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.11-py3-none-any.whl#sha256=181a06e059bc603bde52e24f5e2648930f63e93a179f217fe8cd6809631ee922 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2024-01-04T22:19:18,930   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.10-py3-none-any.whl#sha256=0c899464ef11f33c1911b5da33d11adb5c24b6ca7306a853ceeb0dd5f2ac7ba4 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<3.12)
2024-01-04T22:19:18,931   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.9-py3-none-any.whl#sha256=0763378c19e72c73f481d40f1478bb4b979ff545e1e27ea05b29ae8fc4e67ead (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<4.0)
2024-01-04T22:19:18,932   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.8-py3-none-any.whl#sha256=d4e75da109428bd74d36e454b52b65a4f4e7afaeae8dd7926d8f361872f8593d (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<4.0)
2024-01-04T22:19:18,932   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.7-py3-none-any.whl#sha256=3f2d906dbc9d4a060582d2fbe35c5ad3d2a03b42e4cd86c525ac00dbf3cdcf8a (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.7.1,<4.0)
2024-01-04T22:19:18,933   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.6-py3-none-any.whl#sha256=cce0304361cbb637c3084b11a65f46e406c925c0057f734ee6dbc23d80d20aeb (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2024-01-04T22:19:18,933   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.5-py3-none-any.whl#sha256=727e13f3432c6006e3aff7b998a6567af1740f245db0e5c69b7f7e54208e150d (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2024-01-04T22:19:18,933   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.4-py3-none-any.whl#sha256=3717073e1231bfa29a518cc9498ded7ff10856c27309be6ae43dd553a1291b7b (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2024-01-04T22:19:18,934   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.3-py3-none-any.whl#sha256=fb2899343f31e69d1195aa51b87227323bf6dd77d49a250046a361183de60404 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2024-01-04T22:19:18,935   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.2-py3-none-any.whl#sha256=fda623047b8c51fd7ab57b5e7a030231784b3bd8f2520e95e6ea903acce16ef4 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.2,<4.0)
2024-01-04T22:19:18,935   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.3.1-py3-none-any.whl#sha256=7d88507eb88d3843915b614af2f878f8044806fff0a569674b5c65cc3a145a5f (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2024-01-04T22:19:18,936   Skipping link: No binaries permitted for isabelle-client: https://www.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)
2024-01-04T22:19:18,936   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.10-py3-none-any.whl#sha256=ca87f6f5b3f9d7830453f2c45a9f030eae8c09f963fdd494b6cfdc669db219cb (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2024-01-04T22:19:18,937   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.9-py3-none-any.whl#sha256=f90f7cb8efff9adf419ca6bbb958e893460fe64a8f2bf998872cbe513f1cb995 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2024-01-04T22:19:18,938   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.8-py3-none-any.whl#sha256=db86c39ade7bb91c56032a292f8c70be3b00d3a1c1e6885e3d7af43196c9d2d2 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2024-01-04T22:19:18,938   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.7-py3-none-any.whl#sha256=ab44549489f24417fd61473dc080463827d90e06a5d02f73bc6a74dc345b62d2 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2024-01-04T22:19:18,939   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.5-py3-none-any.whl#sha256=2705357a48ea73b5030eca5ac2dc241022425be205e56899a90b7c33aef9c4e1 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6.1,<4.0)
2024-01-04T22:19:18,939   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.4-py3-none-any.whl#sha256=c3d47328bd6e0c377fecd40366ef4a7373215296a605b6689322a794668b14bc (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6,<4.0)
2024-01-04T22:19:18,940   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.3-py3-none-any.whl#sha256=91848295509cc07bc6226d0eea8e58efe90e60cc25b5e3cdee8331e34d55a651 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6,<4.0)
2024-01-04T22:19:18,940   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.2-py3-none-any.whl#sha256=846fff0a5e396b058f5be9de91d601aa63faf7ff3196f4245aacf03ebd6688d8 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.6,<4.0)
2024-01-04T22:19:18,940   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.1-py3-none-any.whl#sha256=453d9b010051b6dfa3a5d95653df5dab5f35b647f8b4d92ca5024bd7aecf06d6 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,941   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.2.0-py3-none-any.whl#sha256=3c7cb0f9c4669105ac5c4c970a6f3567b2e1bec592098c7368d2b2708668b817 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,942   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.1.5-py3-none-any.whl#sha256=322489dea7c0df84da2ec4a94f4e3763959bbaeab6906275b0e8509a84f215be (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,942   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.1.4-py3-none-any.whl#sha256=8376a9880a530d11e7358eeb4c3185826c3576b5d163371fb2f437f815010e0d (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,943   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.1.3-py3-none-any.whl#sha256=150ece8b1c9d45302153bf501be0d1c5b44af9263696474ffbf437d3a2922d1f (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,943   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.1.2-py3-none-any.whl#sha256=e49db5350d6a8e294d9960919f8dafd619dd8d7f9cdac8e150fd8866e5ca61c8 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,944   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.1.1-py3-none-any.whl#sha256=2ecb149a12f7d9ec6295ab75d44c16768baec3d208178d46f97ebe11f2611bf9 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,944   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.1.0-py3-none-any.whl#sha256=29f332186b5d6ca061593e0a8486dcc98cdd10a0911f57e7575357d089cc2161 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,945   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.7-py3-none-any.whl#sha256=7ba3bb6abedf5675f7a5a4a8d3f42c0bfff0292cc2e37a09684ff1b6a773ddf7 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,945   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.6-py3-none-any.whl#sha256=0fd0d5d4af56488f1baeb4557db08abffbdd025dc5de1df69b5f91c1321ee86a (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,946   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.5-py3-none-any.whl#sha256=734a671c81863573fea9d5e56e5aa3d169a8b3026f1cf224baddd65e0e018085 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,947   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.4-py3-none-any.whl#sha256=6e60d40e823df77fa221f6d67a8865b93b7c22dd497f9b5d4ba8461821328bc4 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,947   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.3-py3-none-any.whl#sha256=a2a5d5c73b1d22eab9eef39a363871edac32560c033cf7a178cc251f5da27338 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,947   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.2-py3-none-any.whl#sha256=129cdb15fc14fe8c6123f2f73339ce04fece558650979c9858f9b28ffc0f7ce4 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,948   Skipping link: No binaries permitted for isabelle-client: https://www.piwheels.org/simple/isabelle-client/isabelle_client-0.0.1-py3-none-any.whl#sha256=a2a458332c3a417f478561bd276aa2a473cbe492a9b03e15962ecaf0f379cf82 (from https://www.piwheels.org/simple/isabelle-client/) (requires-python:>=3.9,<4.0)
2024-01-04T22:19:18,949 Skipping link: not a file: https://www.piwheels.org/simple/isabelle-client/
2024-01-04T22:19:18,949 Skipping link: not a file: https://pypi.org/simple/isabelle-client/
2024-01-04T22:19:18,973 Given no hashes to check 1 links for project 'isabelle-client': discarding no candidates
2024-01-04T22:19:18,991 Collecting isabelle-client==0.4.6
2024-01-04T22:19:18,994   Created temporary directory: /tmp/pip-unpack-l_7ad6xw
2024-01-04T22:19:19,218   Downloading isabelle_client-0.4.6.tar.gz (20 kB)
2024-01-04T22:19:19,280   Added isabelle-client==0.4.6 from https://files.pythonhosted.org/packages/99/bf/ae96d2d7c965ef6d26b9cc801c89ef2cfbca156097317068dd2373cd4291/isabelle_client-0.4.6.tar.gz to build tracker '/tmp/pip-build-tracker-if5vsjjq'
2024-01-04T22:19:19,286   Created temporary directory: /tmp/pip-build-env-e_q_za82
2024-01-04T22:19:19,291   Installing build dependencies: started
2024-01-04T22:19:19,292   Running command pip subprocess to install build dependencies
2024-01-04T22:19:20,428   Using pip 23.3.1 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11)
2024-01-04T22:19:20,943   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-01-04T22:19:21,431   Collecting poetry-core>=1.0.0
2024-01-04T22:19:21,446     Using cached https://www.piwheels.org/simple/poetry-core/poetry_core-1.8.1-py3-none-any.whl (306 kB)
2024-01-04T22:19:23,689   Installing collected packages: poetry-core
2024-01-04T22:19:24,821   Successfully installed poetry-core-1.8.1

2024-01-04T22:19:25,178   [notice] A new release of pip is available: 23.3.1 -> 23.3.2
2024-01-04T22:19:25,178   [notice] To update, run: python3 -m pip install --upgrade pip
2024-01-04T22:19:25,411   Installing build dependencies: finished with status 'done'
2024-01-04T22:19:25,627   Getting requirements to build wheel: started
2024-01-04T22:19:25,628   Running command Getting requirements to build wheel
2024-01-04T22:19:26,003   Getting requirements to build wheel: finished with status 'done'
2024-01-04T22:19:26,006   Created temporary directory: /tmp/pip-modern-metadata-37ujfm_w
2024-01-04T22:19:26,008   Preparing metadata (pyproject.toml): started
2024-01-04T22:19:26,009   Running command Preparing metadata (pyproject.toml)
2024-01-04T22:19:26,844   Preparing metadata (pyproject.toml): finished with status 'done'
2024-01-04T22:19:26,849   Source in /tmp/pip-wheel-vo8df56s/isabelle-client_5cc76fbefbc34f329016e23fe1548035 has version 0.4.6, which satisfies requirement isabelle-client==0.4.6 from https://files.pythonhosted.org/packages/99/bf/ae96d2d7c965ef6d26b9cc801c89ef2cfbca156097317068dd2373cd4291/isabelle_client-0.4.6.tar.gz
2024-01-04T22:19:26,850   Removed isabelle-client==0.4.6 from https://files.pythonhosted.org/packages/99/bf/ae96d2d7c965ef6d26b9cc801c89ef2cfbca156097317068dd2373cd4291/isabelle_client-0.4.6.tar.gz from build tracker '/tmp/pip-build-tracker-if5vsjjq'
2024-01-04T22:19:26,856 Created temporary directory: /tmp/pip-unpack-kavcw9h0
2024-01-04T22:19:26,857 Created temporary directory: /tmp/pip-unpack-c6ytao80
2024-01-04T22:19:26,864 Building wheels for collected packages: isabelle-client
2024-01-04T22:19:26,868   Created temporary directory: /tmp/pip-wheel-x8b6hkrr
2024-01-04T22:19:26,868   Destination directory: /tmp/pip-wheel-x8b6hkrr
2024-01-04T22:19:26,871   Building wheel for isabelle-client (pyproject.toml): started
2024-01-04T22:19:26,872   Running command Building wheel for isabelle-client (pyproject.toml)
2024-01-04T22:19:27,645   fatal: not a git repository (or any of the parent directories): .git
2024-01-04T22:19:27,770   Building wheel for isabelle-client (pyproject.toml): finished with status 'done'
2024-01-04T22:19:27,774   Created wheel for isabelle-client: filename=isabelle_client-0.4.6-py3-none-any.whl size=26172 sha256=32322e155345a100fd4d703eeab71a7d619bc967081e71838ab7b6933b8ef12c
2024-01-04T22:19:27,776   Stored in directory: /tmp/pip-ephem-wheel-cache-724ir_14/wheels/8f/a4/73/a3129ac244b890409ff2e9cf486147f12d03a8763a765c2087
2024-01-04T22:19:27,787 Successfully built isabelle-client
2024-01-04T22:19:27,791 Removed build tracker: '/tmp/pip-build-tracker-if5vsjjq'