302 Found
The resource was found at https://files.pythonhosted.org/packages/23/ca/4f514147eed58c1fde78683941d3909c26bf8a351a01143474dd3bce4315/isabelle_client-0.3.13-py3-none-any.whl; you should be redirected automatically.