From 0fd129ca306d646b35d17c20e2f0899492dbfd77 Mon Sep 17 00:00:00 2001 From: Ting-Gian LUA Date: Mon, 2 Dec 2024 14:44:32 +0800 Subject: [PATCH] [ new ] Release Agda v2.7.0.1 Language Server v0 --- package.yaml | 2 +- src/Options.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package.yaml b/package.yaml index 854273e..3ef3ac6 100644 --- 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 index 6d74773..83a0019 100644 --- 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 =