[ new ] Release Agda v2.7.0.1 Language Server v0

banacorn · banacorn · commit 0fd129ca306d · 2024-12-02T14:45:19.000+08:00
diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name:                agda-language-server
-version:             0.2.6.4.3.0
+version:             0.2.7.0.1.0
 github:              "banacorn/agda-language-server"
 license:             MIT
 author:              "Ting-Gian LUA"
diff --git a/src/Options.hs b/src/Options.hs
@@ -59,7 +59,7 @@ options =
   ]
 
 usage :: String
-usage = "Agda Language Server v0.0.3.0 \nUsage: als [Options...]\n"
+usage = "Agda v2.7.0.1 Language Server v0\nUsage: als [Options...]\n"
 
 usageAboutAgdaOptions :: String
 usageAboutAgdaOptions =

Original file line number	Diff line number	Diff line change
`@@ -59,7 +59,7 @@ options =`
`59`	`59`	`]`
`60`	`60`
`61`	`61`	`usage :: String`
`62`		`-usage = "Agda Language Server v0.0.3.0 \nUsage: als [Options...]\n"`
	`62`	`+usage = "Agda v2.7.0.1 Language Server v0\nUsage: als [Options...]\n"`
`63`	`63`
`64`	`64`	`usageAboutAgdaOptions :: String`
`65`	`65`	`usageAboutAgdaOptions =`