agda-language-server 0.2.0 → 0.2.1

raw patch · 2 files changed

+2/−2 lines, 2 filesdep ~lspPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: lsp

API changes (from Hackage documentation)

Files

• agda-language-server.cabal +1/−1
• package.yaml +1/−1

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           agda-language-server-version:        0.2.0+version:        0.2.1 synopsis:       An implementation of language server protocal (LSP) for Agda 2. description:    Please see the README on GitHub at <https://github.com/banacorn/agda-language-server#readme> category:       Development

@@ -1,5 +1,5 @@ name:                agda-language-server-version:             0.2.0+version:             0.2.1 github:              "banacorn/agda-language-server" license:             MIT author:              "Ting-Gian LUA"