Date: Saturday, May 7, 2016 @ 16:13:01 Author: fyan Revision: 174110 upgpkg: idris 0.11.1-3
rebuild with conduit-1.2.6.6, http-conduit-2.1.10.1, resourcet-1.1.7.4, socks-0.5.5, tagsoup-0.13.10 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-05-07 13:42:39 UTC (rev 174109) +++ PKGBUILD 2016-05-07 14:13:01 UTC (rev 174110) @@ -4,7 +4,7 @@ pkgname=idris pkgver=0.11.1 -pkgrel=2 +pkgrel=3 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3")
