diff options
author | Marc Jakobi | 2022-01-20 23:53:07 +0100 |
---|---|---|
committer | Marc Jakobi | 2022-01-20 23:53:07 +0100 |
commit | 718d4ae588b1c25e68d4c84f62dbf427b07e67dc (patch) | |
tree | 9cc1822fe40850dc4e06da894cf95539b549dac5 | |
parent | 6d2f7936aaf7ce2897480cb9ec901e81a24b0bf7 (diff) | |
download | aur-718d4ae588b1c25e68d4c84f62dbf427b07e67dc.tar.gz |
Update .SRCINFO
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = idris2-lsp-git pkgdesc = [WIP] Idris 2 language server pkgver = 0.5.1 - pkgrel = 1 + pkgrel = 2 url = https://github.com/idris-community/idris2-lsp arch = any license = BSD-3 |