302 Found

The resource was found at https://files.pythonhosted.org/packages/17/01/aff2f3c71746b5660f9a8293c8aa11b03f1b66f9b41d32561157a373950c/lean_repl_py-0.1.12-py3-none-any.whl; you should be redirected automatically.