blob: 54a9107ac85293f11683148440dff9cc56c00382 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = idris2
pkgdesc = Funtional Programming Lanugage with Dependent Types
pkgver = 0.2.1
pkgrel = 1
url = https://www.idris-lang.org/
arch = x86_64
license = custom
makedepends = git
depends = chez-scheme
source = https://www.idris-lang.org/idris2-src/idris2-0.2.1.tgz
sha256sums = 8a32f6e93479deaf7674671ce7f06e5cc3c32afc10dccb96bd0aed34d47e9334
pkgname = idris2
|