Date: Tuesday, September 6, 2016 @ 14:41:07 Author: felixonmars Revision: 188762
upgpkg: idris 0.12.2-3 rebuild with JuicyPixels-3.2.8, cpphs-1.20.2, darcs-2.12.1, dlist-0.8.0.2, unix-time-0.3.7, wai-extra-3.0.17, wai-websockets-3.0.1.1, yaml-0.8.18.5 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-09-06 14:41:00 UTC (rev 188761) +++ PKGBUILD 2016-09-06 14:41:07 UTC (rev 188762) @@ -4,7 +4,7 @@ pkgname=idris pkgver=0.12.2 -pkgrel=2 +pkgrel=3 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3")
