Fix spelling.

Author: Zimmi48

README.md.mustache

@@ -91,7 +91,7 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 - License: [{{& fullname }}]({{ file }}{{^ file }}LICENSE{{/ file }})
 {{/ license }}
 {{# supported_coq_versions }}
-- Compatible Rcoq/Coq versions: {{& text }}
+- Compatible Rocq/Coq versions: {{& text }}
 {{/ supported_coq_versions }}
 {{# supported_ocaml_versions }}
 - Compatible OCaml versions: {{& text }}