Date: Thursday, March 17, 2016 @ 09:34:23 Author: fyan Revision: 166977
upgpkg: idris 0.10.2-7 rebuild with case-insensitive-1.2.0.6, http2-1.5.4, tagsoup-0.13.9 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-03-17 08:34:07 UTC (rev 166976) +++ PKGBUILD 2016-03-17 08:34:23 UTC (rev 166977) @@ -4,7 +4,7 @@ pkgname=idris pkgver=0.10.2 -pkgrel=6 +pkgrel=7 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/" license=("custom:BSD3")