Fixed README

This commit is contained in:
Dmitry Boulytchev 2018-11-07 15:05:01 +03:00
parent 8917ae20e7
commit d575f2ca15
3 changed files with 3 additions and 3 deletions

View file

@ -6,7 +6,7 @@ Prerequisites: ocaml [http://ocaml.org], opam [http://opam.ocaml.org].
Building:
* `opam pin add GT https://github.com/dboulytchev/GT.git`
* `opam pin add GT https://github.com/kakasu/GT.git#ppx`
* `opam pin add ostap https://github.com/dboulytchev/ostap.git`
* `opam install ostap`
* `opam install GT`