Fix broken link

coq · Jan 8, 2025 · 4252d94 · 4252d94
1 parent dd5571d
commit 4252d94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/tutorials/getting-started/1_00_install_Rocq.md b/data/tutorials/getting-started/1_00_install_Rocq.md
@@ -108,7 +108,7 @@ or from PowerShell:
 (& opam env) -split '\r?\n' | ForEach-Object { Invoke-Expression $_ }
 ```
 
-Opam initialisation may take several minutes. While waiting for its installation and configuration to complete, start reading [A Tour of OCaml](tour-of-ocaml).
+Opam initialisation may take several minutes. While waiting for its installation and configuration to complete, start reading [A Tour of Rocq](tour-of-rocq).
 
 **Note**: opam can manage something called _switches_. This is key when switching between several OCaml projects. However, in this “getting started” series of tutorials, switches are not needed. If interested, you can read an introduction to [opam switches here](/docs/opam-switch-introduction).