fix linnk to Lama version in opam pin

This commit is contained in:
danyaberezun 2024-02-29 15:44:08 +02:00
parent c89fe93bb5
commit 904b1aa9b1

View file

@ -99,7 +99,7 @@ Ubuntu-based variant of WSL is recommended.
3. Pin Lama package using `opam` and right URL (remember of "#" being a comment character in various shells) 3. Pin Lama package using `opam` and right URL (remember of "#" being a comment character in various shells)
```bash ```bash
opam pin add Lama https://github.com/PLTools/Lama.git\#v1.2 --no-action opam pin add Lama https://github.com/PLTools/Lama.git\#1.20 --no-action
``` ```
The extra '#' sign is added because in various Shells it is the start of a comment The extra '#' sign is added because in various Shells it is the start of a comment