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

[Felix Yan]

    Date: Saturday, August 6, 2016 @ 06:14:24
  Author: felixonmars
Revision: 185461

upgpkg: idris 0.12.2-1

rebuild with cabal-helper-0.7.2.0, dlist-0.8.0.1, ghc-mod-5.6.0.0, haskell-src-exts-1.18.2, idris-0.12.2, language-python-0.5.4, microlens-0.4.6.0, network-2.6.3.1, shakespeare-2.0.11, stylish-haskell-0.6.2.0, wai-app-static-3.1.6, wai-websockets-3.0.1, warp-3.2.8

Modified:
  idris/trunk/PKGBUILD

----------+
 PKGBUILD |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2016-08-06 06:14:12 UTC (rev 185460)
+++ PKGBUILD	2016-08-06 06:14:24 UTC (rev 185461)
@@ -3,7 +3,7 @@
 # Contributor: Arch Haskell Team <arch-haskell at haskell.org>
 
 pkgname=idris
-pkgver=0.12.1
+pkgver=0.12.2
 pkgrel=1
 pkgdesc="Functional Programming Language with Dependent Types"
 url="http://www.idris-lang.org/"
@@ -20,7 +20,7 @@
              "haskell-utf8-string" "haskell-vector" "haskell-vector-binary-instances"
              "haskell-zip-archive")
 source=("http://hackage.haskell.org/packages/archive/${pkgname}/${pkgver}/${pkgname}-${pkgver}.tar.gz")
-sha256sums=('2d3e4d1768975db5f786796d0d9a98037c011a3bf7765e41b17aa585680a49bb')
+sha256sums=('7df31d4eae5aabdd11b6940aeed89693f9c49f01826e7355bf80133da8947562')
 
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"