blob: 303c0affd629bf31eecc212e4f96f743a725aadd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
pkgbase = idris-git
pkgdesc = Functional Programming Language with Dependent Types
pkgver = v0.9.19.r7.4932d1c
pkgrel = 1
url = http://www.idris-lang.org/
install = idris-git.install
arch = i686
arch = x86_64
license = custom:BSD3
depends = gmp
depends = libffi
depends = zlib
depends = gcc
provides = idris
conflicts = idris
options = staticlibs
source = git://github.com/idris-lang/Idris-dev.git
md5sums = SKIP
pkgname = idris-git
|