summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
authorCodingCellist2022-11-11 10:59:39 +0100
committerCodingCellist2022-11-11 10:59:39 +0100
commit9a2ad66b72ef4e9600c12abb31b1f83f525edf83 (patch)
tree8ba4fd82fbdd06eb48367dd7ec78874a545990e3 /.SRCINFO
parente37eacd8898fd4368d13702ec7b33e06c0e5da85 (diff)
downloadaur-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--.SRCINFO3
1 files changed, 1 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index aab130d07f38..6e80280c960d 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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