diff --git a/agda-language-server.cabal b/agda-language-server.cabal index 312e2fb..88e2bdd 100644 --- a/agda-language-server.cabal +++ b/agda-language-server.cabal @@ -5,7 +5,7 @@ cabal-version: 1.12 -- see: https://github.com/sol/hpack name: agda-language-server -version: 0.2.2.6.2 +version: 0.2.6.2.2 synopsis: An implementation of language server protocal (LSP) for Agda 2. description: Please see the README on GitHub at category: Development diff --git a/package.yaml b/package.yaml index 5e09d68..78887c9 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: agda-language-server -version: 0.2.2.6.2 +version: 0.2.6.2.2 github: "banacorn/agda-language-server" license: MIT author: "Ting-Gian LUA"