resolve merge

This commit is contained in:
Danya Berezun 2023-10-04 12:11:33 +02:00
commit 9fbd99ab7a
5 changed files with 5 additions and 5 deletions

View file

@ -14,7 +14,7 @@ bug-reports: "https://github.com/PLTools/Lama/issues"
depends: [
"ocaml" { >= "4.13.1" }
"ocamlfind" { build }
"camlp5" { >= "8.00.05"}
"camlp5" { >= "8.00.05" }
"ostap" { >= "0.5"}
"GT" { >= "0.5.1" }
]