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