diff options
| author | Cyril Cohen | 2019-05-22 09:55:48 +0200 |
|---|---|---|
| committer | GitHub | 2019-05-22 09:55:48 +0200 |
| commit | 65ba1f810f43a5fc200e41298a07b1663ee3d9bd (patch) | |
| tree | 70d12d8322bb2348204372c243d3082ecc9afc3d | |
| parent | a48d052a858e88b0d84dbf74fe6427656b12cc3a (diff) | |
Update README.md
| -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 |