summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorSimon Cruanes2021-06-14 12:31:34 -0400
committerSimon Cruanes2021-06-14 12:31:34 -0400
commit7f2edb0a6bc46b8729f9050dc7f0ac14c3f6df08 (patch)
treed406a8c96bcef7c8ce527c8005433af1330e3186
parenteea2cc7acd6a0a66384ba201fab95d55c7ea7427 (diff)
downloadaur-dolmenls.tar.gz
edit metadata
Diffstat
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index a0f4d2896c69..47500b06fdcc 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
pkgname=dolmenls
pkgver=0.6
pkgrel=0
-pkgdesc="LSP server for Dolmen"
+pkgdesc="LSP server for Dolmen, a tool for logic and theorem proving."
arch=('x86_64')
url="https://github.com/gbury/dolmen"
license=('BSD-2-Clauses')