302 Found
The resource was found at https://files.pythonhosted.org/packages/96/17/cf05040fb2e530c1ae62700dc1f2ea5e6ac8cb5b419a6add0dcdb3ed2c95/isabelle_client-0.2.5-py3-none-any.whl; you should be redirected automatically.