diff --git a/package.yaml b/package.yaml index 2518b43..0aa08c4 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: agda-language-server -version: 0.2.6.4.1 +version: 0.2.6.4.0.0 github: "banacorn/agda-language-server" license: MIT author: "Ting-Gian LUA"