st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-06 06:48:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fixci

Browse source
This commit is contained in:
danyaberezun 2023-05-31 11:39:09 +02:00
parent 2a42e1e176
commit 3a5a85a87e
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Lama.opam
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" }
]