302 Found

The resource was found at https://files.pythonhosted.org/packages/a9/1d/ec06cab08dd6fba1d36f06ccb46f4d844333e4f28cdc08363e1f51ac466e/isabelle_client-0.4.7-py3-none-any.whl; you should be redirected automatically.