302 Found

The resource was found at https://files.pythonhosted.org/packages/7a/73/227c3b381cc0023bc3686fec86b144028688b7f8fbe12f28c7a8fb0b2525/isabelle_client-0.5.0.tar.gz; you should be redirected automatically.