From d4eb37867fcf6569f17c659afb4b044ad6c0a370 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Tue, 21 Nov 2023 20:19:59 +0800
Subject: [PATCH] Correct version number to 0.2.6.2.2 (WAS: 0.2.2.6.2)

---
 agda-language-server.cabal | 2 +-
 package.yaml               | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/agda-language-server.cabal b/agda-language-server.cabal
index 312e2fb..88e2bdd 100644
--- a/agda-language-server.cabal
+++ b/agda-language-server.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           agda-language-server
-version:        0.2.2.6.2
+version:        0.2.6.2.2
 synopsis:       An implementation of language server protocal (LSP) for Agda 2.
 description:    Please see the README on GitHub at <https://github.com/agda/agda-language-server#readme>
 category:       Development
diff --git a/package.yaml b/package.yaml
index 5e09d68..78887c9 100644
--- a/package.yaml
+++ b/package.yaml
@@ -1,5 +1,5 @@
 name:                agda-language-server
-version:             0.2.2.6.2
+version:             0.2.6.2.2
 github:              "banacorn/agda-language-server"
 license:             MIT
 author:              "Ting-Gian LUA"