Update README.md
Clarifying install instructions
## Dependencies
-The coq libraries uses `compcert` for machine signed and unsigned integer modulo arithmetic, and `coqprime` for finite field arithmetic on prime modulus (to support hacspec's `nat_mod p` type). These can be installed through `opam`:
+The coq libraries uses `compcert` for machine signed and unsigned integer modulo arithmetic, and `coqprime` for finite field arithmetic on prime modulus (to support hacspec's `nat_mod p` type).
+These requires the following repository:
```
-opam install coq-compcert coq-coqprime
+opam repo add coq-released https://coq.inria.fr/opam/released --all-switches
```
-(assuming you have coq installed through opam).
-Note that this requires the coq repository, which you can add as follows.
+Then one can install the dependencies through `opam`:
```
-opam repo add coq-released https://coq.inria.fr/opam/released --all-switches
+opam install coq-compcert coq-coqprime
```
+(assuming you have coq installed through opam).
## Compiling the coq files
