diff --git a/src/stdpath.ml b/src/stdpath.ml index e94b5487d..3ee6c2ed0 100644 --- a/src/stdpath.ml +++ b/src/stdpath.ml @@ -1 +1 @@ -let path = "/home/db/.opam/4.14.0+flambda/share/Lama" +let path = "/home/db/.opam/lama/share/Lama" diff --git a/src/version.ml b/src/version.ml index ecd4cf514..8e3642712 100644 --- a/src/version.ml +++ b/src/version.ml @@ -1 +1 @@ -let version = "Version 1.10, 1bafe839d, Sun Mar 12 05:30:58 2023 +0300" +let version = "Version 1.30, 983419418, Thu Mar 30 21:10:20 2023 +0300"