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

Merge branch '1.10' of github.com:JetBrains-Research/Lama-devel into 1.10

Browse source
This commit is contained in:
Dmitry Boulytchev 2022-04-14 17:20:58 +03:00
commit 7160b84748
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

@ -12,7 +12,7 @@ depends: [
"ocamlfind" { build }
"camlp5" { >= "8.00"}
"ostap" { >= "0.5"}
"GT" { >= "0.4.0"}
"GT" { >= "0.4.0" & < "0.5" }
]
build: [