summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
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