Update to the new OPAM repo urls

coq-io · Jul 3, 2015 · 9d6d089 · 9d6d089
1 parent c64ff5d
commit 9d6d089
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -6,7 +6,7 @@ A Hello World program in Coq.
 ## Run
 Install the extraction library for System effects:
 
-    opam repo add coq-stable https://github.com/coq/repo-stable.git
+    opam repo add coq-released https://coq.inria.fr/opam/released
     opam install -j4 coq:io:system
 
 Compile the Coq code: