.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

pkgbase = idris2-git
	pkgdesc = A purely functional programming language with first class types
	pkgver = latest
	pkgrel = 2
	url = https://www.idris-lang.org/
	arch = x86_64
	license = custom
	checkdepends = nodejs
	makedepends = git
	depends = chez-scheme
	provides = idris2
	conflicts = idris2
	options = staticlibs
	source = idris2::git+https://github.com/idris-lang/Idris2.git
	sha256sums = SKIP

pkgname = idris2-git