fix opam installation instructions

uwplse · May 31, 2020 · 8bad708 · 8bad708
1 parent 3a472cf
commit 8bad708
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -32,7 +32,7 @@ The easiest way to install the latest released version of StructTact
 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 coq-extra-dev https://coq.inria.fr/opam/extra-dev
 opam install coq-struct-tact
 ```