From 0e6f496b8e8ef5a80c815fce544c1437c93b4744 Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Thu, 15 Feb 2018 12:24:15 +1100 Subject: [PATCH] chore(README.md) fixing link to download page --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 5133aa5a8c..cb49c3a3b0 100644 --- a/README.md +++ b/README.md @@ -25,7 +25,7 @@ About Installation ------------ -Stable and nightly binary releases of Lean are available on the [homepage](http://leanprover.github.io/downloads). For building Lean from source, see the [build instructions](doc/make/index.md). +Stable and nightly binary releases of Lean are available on the [homepage](https://leanprover.github.io/download/). For building Lean from source, see the [build instructions](doc/make/index.md). Miscellaneous -------------