diff options
author | CodingCellist | 2022-11-11 10:59:39 +0100 |
---|---|---|
committer | CodingCellist | 2022-11-11 10:59:39 +0100 |
commit | 9a2ad66b72ef4e9600c12abb31b1f83f525edf83 (patch) | |
tree | 8ba4fd82fbdd06eb48367dd7ec78874a545990e3 /.SRCINFO | |
parent | e37eacd8898fd4368d13702ec7b33e06c0e5da85 (diff) | |
download | aur-9a2ad66b72ef4e9600c12abb31b1f83f525edf83.tar.gz |
Exclude base/system_info001 until next release
The base/system_info001 test has a bug that was not discovered until
recently, due to the systems we (the Idris community) have access to not
showing it. It has been fixed as of idris-lang/idris2#2754, but that
won't land in this package until the next official release.
Also removed git as a makedepends. It was likely left over from the
idris2-git package; the official release doesn't need git to build.
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -1,11 +1,10 @@ pkgbase = idris2 pkgdesc = Functional Programming Language with Dependent Types pkgver = 0.6.0 - pkgrel = 1 + pkgrel = 2 url = https://idris-lang.github.io/ arch = x86_64 license = custom - makedepends = git depends = chez-scheme optdepends = nodejs: for the node backend optdepends = racket: for the racket backend |