Update the information of the opam repository in README

Author: pi8027

README.md.mustache

@@ -111,7 +111,7 @@ The easiest way to install the latest released version of {{& fullname }}
 is via [OPAM](https://opam.ocaml.org/doc/Install.html):
 
 ```shell
-opam repo add coq-released https://coq.inria.fr/opam/released
+opam repo add rocq-released https://rocq-prover.org/opam/released
 opam install {{ opam_name }}{{^ opam_name }}coq-{{ shortname }}{{/ opam_name }}
 ```