fix README

thery · Feb 6, 2024 · 0ffcb3c · 0ffcb3c
1 parent 82711ef
commit 0ffcb3c
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/README.md b/README.md
@@ -34,15 +34,8 @@ Le Monde en 2013 comme énigmes mathématiques.
 
 ## Building and installation instructions
 
-The easiest way to install the latest released version of lemonde
-is via [OPAM](https://opam.ocaml.org/doc/Install.html):
 
-```shell
-opam repo add coq-released https://coq.inria.fr/opam/released
-opam install coq-lemonde
-```
-
-To instead build and install manually, do:
+To build and install manually, do:
 
 ``` shell
 git clone https://github.com/thery/lemonde.git