diff --git a/README.md b/README.md
index 305cf53..34bb3ce 100644
--- a/README.md
+++ b/README.md
@@ -105,7 +105,16 @@ Pkg.resolve()
 
 # Specific version of [1712.07167](https://arxiv.org/abs/1712.07167)
 
-You need to run `julia-0.6`. In REPL execute
+You need to run `julia-0.6`.
+
+Clone `https://git.wmi.amu.edu.pl/kalmar/GroupsWithPropertyT` and checkout the `1712.07167` branch:
+```
+git clone https://git.wmi.amu.edu.pl/kalmar/GroupsWithPropertyT.git
+cd ./GroupsWithPropertyT
+git checkout 1712.07167
+```
+
+In `julia`s REPL execute
 ```julia
 Pkg.add("ArgParse")
 Pkg.add("Nemo")