[arch-commits] Commit in idris/trunk (PKGBUILD)

[Felix Yan]

    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")