.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

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

pkgname = idris2-git
	options = staticlibs