blob: aab130d07f38406ac5f7aa04fc3bf0e52bbce578 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = idris2
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
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
|