diff options
author | Simon Cruanes | 2021-06-14 12:31:34 -0400 |
---|---|---|
committer | Simon Cruanes | 2021-06-14 12:31:34 -0400 |
commit | 7f2edb0a6bc46b8729f9050dc7f0ac14c3f6df08 (patch) | |
tree | d406a8c96bcef7c8ce527c8005433af1330e3186 | |
parent | eea2cc7acd6a0a66384ba201fab95d55c7ea7427 (diff) | |
download | aur-7f2edb0a6bc46b8729f9050dc7f0ac14c3f6df08.tar.gz |
edit metadata
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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') |