diff --git a/projects/buildsystem/host-dependencies.md b/projects/buildsystem/host-dependencies.md
index 68ee0dd65d..cee28b39a8 100644
--- a/projects/buildsystem/host-dependencies.md
+++ b/projects/buildsystem/host-dependencies.md
@@ -17,7 +17,7 @@ The following instructions describe how to set up the required dependencies on y
 
 ## Get Google's Repo tool
 
-The primary way of obtaining and managing seL4 project source is through the use of Google's repo tool. To get repo, follow the instructions described in the section “Installing Repo” [here](https://source.android.com/setup/develop#installing-repo).
+The primary way of obtaining and managing seL4 project source is through the use of Google's repo tool. To get repo, follow the instructions described in the section “Install” [here](https://gerrit.googlesource.com/git-repo#install).
 
 See the [RepoCheatsheet](repo-cheatsheet) page for a quick explanation of how we use Repo.