diff options
| -rw-r--r-- | .SRCINFO | 14 |
1 files changed, 8 insertions, 6 deletions
@@ -1,13 +1,15 @@ pkgbase = idris2 - pkgdesc = Funtional Programming Lanugage with Dependent Types - pkgver = 0.5.1 - pkgrel = 2 - url = https://www.idris-lang.org/ + pkgdesc = Functional Programming Language with Dependent Types + pkgver = 0.6.0 + pkgrel = 1 + url = https://idris-lang.github.io/ arch = x86_64 license = custom makedepends = git depends = chez-scheme - source = https://www.idris-lang.org/idris2-src/idris2-0.5.1.tgz - sha256sums = a8cf6f60756b93fd97f9d4e9c48473e6e41179a6312ae10d93005591eec48859 + optdepends = nodejs: for the node backend + optdepends = racket: for the racket backend + source = https://www.idris-lang.org/idris2-src/idris2-0.6.0.tgz + sha256sums = 4db59312ed954778d135c78d8e41701bb37b1c4911a8f414a2074e87b246a153 pkgname = idris2 |