diff options
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -13,7 +13,7 @@ These formal theories cover a wide spectrum of topics, ranging from the formal t ## Installation -If you already have OPAM installed: +If you already have OPAM installed (a fresh or up to date version of opam 2 is required): ``` opam repo add coq-released https://coq.inria.fr/opam/released |