We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 99cdb92 commit d4eb378Copy full SHA for d4eb378
agda-language-server.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
5
-- see: https://github.com/sol/hpack
6
7
name: agda-language-server
8
-version: 0.2.2.6.2
+version: 0.2.6.2.2
9
synopsis: An implementation of language server protocal (LSP) for Agda 2.
10
description: Please see the README on GitHub at <https://github.com/agda/agda-language-server#readme>
11
category: Development
package.yaml
@@ -1,5 +1,5 @@
1
2
3
github: "banacorn/agda-language-server"
4
license: MIT
author: "Ting-Gian LUA"
0 commit comments