[ new ] Fix the versioning and release v0.2.6.4.0.0

agda · Dec 11, 2023 · 0e18ff2 · 0e18ff2
1 parent e2925cf
commit 0e18ff2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"