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>
This commit is contained in:
kakadu 2023-03-30 21:10:20 +03:00
parent d23a0fcf61
commit 9834194180

View file

@ -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" }
]