Merge pull request #208 from mattpolzin/update-idris2-070

Create branch for Idris 2 (v0.7.0) and updated LSP-lib.
idris-community · Dec 23, 2023 · dec260f · dec260f
2 parents 526902b + f7baa6c
commit dec260f
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/Idris2 b/Idris2
diff --git a/LSP-lib b/LSP-lib
diff --git a/idris2-lsp.ipkg b/idris2-lsp.ipkg
@@ -1,10 +1,12 @@
 package idris2-lsp
-version = 0.6.0
+version = 0.7.0
 
 opts = "-Wno-shadowing"
 
 depends = idris2, contrib, lsp-lib
 
+langversion >= 0.7.0
+
 sourcedir = "src"
 
 main = Server.Main