.SRCINFO


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