Opam file: increase lower bounds

Signed-off-by: Kakadu <Kakadu@pm.me>
PLTools · Aug 29, 2024 · 7abc22a · 7abc22a
1 parent b429ebb
commit 7abc22a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -25,7 +25,10 @@
  (bug_reports "https://github.com/PLTools/ostap/issues")
  (depends
   GT
-  re
+  (ocaml
+   (>= 4.14))
+  (re
+   (>= 1.10))
   (ocamlfind :build)
   (camlp5
    (>= 8))))
diff --git a/ostap.opam b/ostap.opam
@@ -13,7 +13,8 @@ bug-reports: "https://github.com/PLTools/ostap/issues"
 depends: [
   "dune" {>= "3.7"}
   "GT"
-  "re"
+  "ocaml" {>= "4.14"}
+  "re" {>= "1.10"}
   "ocamlfind" {build}
   "camlp5" {>= "8"}
   "odoc" {with-doc}