blob: 4b763132f86e58d2208a2b78923872c775309f4d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
pkgbase = idris2
pkgdesc = Funtional Programming Lanugage with Dependent Types
pkgver = 0.5.1
pkgrel = 2
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.5.1.tgz
sha256sums = a8cf6f60756b93fd97f9d4e9c48473e6e41179a6312ae10d93005591eec48859
pkgname = idris2
|