From 50d28b12d48c8f59243dfaa163411ee59e4b3a6b Mon Sep 17 00:00:00 2001 From: Dmitry Boulytchev Date: Wed, 28 Aug 2024 20:45:52 +0300 Subject: [PATCH] Added tag --- src/stdpath.ml | 2 +- src/version.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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"