From 9834194180d60279e27edc76a1c2fedc271313c4 Mon Sep 17 00:00:00 2001
From: kakadu <kakadu@pm.me>
Date: Thu, 30 Mar 2023 21:10:20 +0300
Subject: [PATCH] Add camlp5 >= 8.00.05 constaraints to fix CI

this version should no longer need PERL system packages

Signed-off-by: Kakadu <Kakadu@pm.me>
---
 Lama.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Lama.opam b/Lama.opam
index ff20e2093..4ecc52d0e 100644
--- a/Lama.opam
+++ b/Lama.opam
@@ -10,7 +10,7 @@ bug-reports: "https://github.com/JetBrains-Research/Lama/issues"
 depends: [
   "ocaml"       { >= "4.07.1" }
   "ocamlfind"   { build }
-  "camlp5"      { >= "8.00"}
+  "camlp5"      { >= "8.00.05" }
   "ostap"       { >= "0.5"}
   "GT"          { >= "0.5.0" }
 ]