From 904b1aa9b140a16642b95f3a75a95e710b8ca160 Mon Sep 17 00:00:00 2001 From: danyaberezun Date: Thu, 29 Feb 2024 15:44:08 +0200 Subject: [PATCH] fix linnk to Lama version in opam pin --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 534a58c44..8e1d0faef 100644 --- a/README.md +++ b/README.md @@ -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) ```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