Date: Monday, December 12, 2016 @ 09:12:50 Author: felixonmars Revision: 198947
upgpkg: idris 0.99-3 rebuild with mmorph-1.0.9 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-12-12 08:55:58 UTC (rev 198946) +++ PKGBUILD 2016-12-12 09:12:50 UTC (rev 198947) @@ -4,7 +4,7 @@ pkgname=idris pkgver=0.99 -pkgrel=2 +pkgrel=3 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3")
