Cabal revisions of agda-language-server-0.2.1

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

  name:           agda-language-server version:        0.2.1+x-revision: 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     , base >=4.7 && <5     , bytestring     , containers-    , lsp <2+    , lsp < 1.4     , mtl     , network     , network-simple     , base >=4.7 && <5     , bytestring     , containers-    , lsp <2+    , lsp     , mtl     , network     , network-simple     , base >=4.7 && <5     , bytestring     , containers-    , lsp <2+    , lsp < 1.4     , mtl     , network     , network-simple