diff options
author | mb64 | 2021-09-20 22:16:30 -0700 |
---|---|---|
committer | mb64 | 2021-09-20 22:16:30 -0700 |
commit | 49e6bf32e83e214894ca3d9c4547361e06d2bb7a (patch) | |
tree | 71ed444c919b3a0ceca5b22f5fb0f3123d58fba9 /.SRCINFO | |
parent | b109b76b9e133d7acdb2397ba172e70686298fab (diff) | |
download | aur-49e6bf32e83e214894ca3d9c4547361e06d2bb7a.tar.gz |
Update for changes as of version 0.5.1
This adds the test and idris2-api packages to the install, as well as
including their source code, with the goal of supporting the new LSP
server out of the box. It works with the code in this PR:
<https://github.com/idris-community/idris2-lsp/pull/96>
It also includes the new Bash completions.
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -1,6 +1,6 @@ pkgbase = idris2-git pkgdesc = Funtional Programming Lanugage with Dependent Types - pkgver = 0.3.0.r154.g37a4c6f1 + pkgver = 0.5.1.r2.ga0846af5 pkgrel = 1 url = https://www.idris-lang.org/ arch = x86_64 @@ -13,4 +13,3 @@ pkgbase = idris2-git md5sums = SKIP pkgname = idris2-git - |