Date: Friday, February 12, 2016 @ 07:59:30 Author: fyan Revision: 161393
upgpkg: idris 0.10-8 rebuild with vault-0.3.0.6, reflection-2.1.2 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-02-12 06:25:04 UTC (rev 161392) +++ PKGBUILD 2016-02-12 06:59:30 UTC (rev 161393) @@ -4,7 +4,7 @@ pkgname=idris pkgver=0.10 -pkgrel=7 +pkgrel=8 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3")
