Transition to GT 0.5.0

This commit is contained in:
Dmitry Boulytchev 2022-04-14 17:35:18 +03:00
parent 7160b84748
commit f0eec7aaf5
4 changed files with 4 additions and 4 deletions

View file

@ -1 +1 @@
let path = "/home/db/.opam/lama/share/Lama"
let path = "/home/db/.opam/4.13.1+flambda/share/Lama"