Date: Saturday, April 30, 2016 @ 15:15:09 Author: fyan Revision: 173141
upgpkg: idris 0.11-8 rebuild with darcs-2.12.0, extra-1.4.5, hpack-0.13.0, lens-4.14, tasty-0.11.0.3 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-04-30 13:14:58 UTC (rev 173140) +++ PKGBUILD 2016-04-30 13:15:09 UTC (rev 173141) @@ -4,7 +4,7 @@ pkgname=idris pkgver=0.11 -pkgrel=7 +pkgrel=8 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3")
