Commit d87da62b authored by Armaël Guéneau's avatar Armaël Guéneau

README: Fix pinning instructions

parent 8bdc41ec
...@@ -17,7 +17,7 @@ Compilation ...@@ -17,7 +17,7 @@ Compilation
The recommended way is by using `opam` to pin the repository: The recommended way is by using `opam` to pin the repository:
opam pin add coq-cfml https://gitlab.inria.fr/charguer/cfml opam pin add coq-cfml https://gitlab.inria.fr/charguer/cfml.git
Note that you will need in particular a working installation Note that you will need in particular a working installation
of [TLC](https://gitlab.inria.fr/charguer/tlc/). of [TLC](https://gitlab.inria.fr/charguer/tlc/).
......
Markdown is supported
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