Date: Tuesday, November 29, 2016 @ 09:07:52 Author: felixonmars Revision: 197346
upgpkg: idris 0.12.3-4 rebuild with trifecta-1.6.1 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-11-29 08:26:09 UTC (rev 197345) +++ PKGBUILD 2016-11-29 09:07:52 UTC (rev 197346) @@ -4,7 +4,7 @@ pkgname=idris pkgver=0.12.3 -pkgrel=3 +pkgrel=4 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3")
