Date: Tuesday, February 7, 2017 @ 05:23:24 Author: felixonmars Revision: 210690
upgpkg: idris 0.99-23 rebuild with safe,0.3.12 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-02-07 04:38:10 UTC (rev 210689) +++ PKGBUILD 2017-02-07 05:23:24 UTC (rev 210690) @@ -4,7 +4,7 @@ pkgname=idris pkgver=0.99 -pkgrel=22 +pkgrel=23 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/" license=("custom:BSD3")