Commit 23570f31 authored by Ralf Jung's avatar Ralf Jung
Browse files

README: that opam repo is not just for ssreflect, also for Coq itself

parent 62f16bb9
...@@ -10,7 +10,7 @@ This version is known to compile with: ...@@ -10,7 +10,7 @@ This version is known to compile with:
- Ssreflect 1.6.1 - Ssreflect 1.6.1
The easiest way to install the correct versions of the dependencies is The easiest way to install the correct versions of the dependencies is
through opam. Ssreflect is available on the coq-released repository, through opam. Coq packages are available on the coq-released repository,
set up by the command: set up by the command:
opam repo add coq-released https://coq.inria.fr/opam/released opam repo add coq-released https://coq.inria.fr/opam/released
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment