From b91ac1b610fd43dd5afd794a046d606bc0d4c63f Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Fri, 15 Nov 2024 23:22:30 +0300
Subject: [PATCH] opam changed

---
 Lama.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Lama.opam b/Lama.opam
index f0852421d..2de3a899a 100644
--- a/Lama.opam
+++ b/Lama.opam
@@ -8,7 +8,7 @@ license: "GPL-3.0-only"
 homepage: "https://github.com/PLTools/Lama"
 bug-reports: "https://github.com/PLTools/Lama/issues"
 depends: [
-  "dune" {>= "3.3"}
+  "dune" {>= "3.11"}
   "posix-uname"
   "GT"
   "ostap" {>= "0.6"}