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

[Felix Yan]

    Date: Saturday, March 26, 2016 @ 11:33:26
  Author: fyan
Revision: 168457

upgpkg: idris 0.11-1

rebuild with cryptohash-0.11.9, idris-0.11

Modified:
  idris/trunk/PKGBUILD

----------+
 PKGBUILD |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2016-03-26 10:06:12 UTC (rev 168456)
+++ PKGBUILD	2016-03-26 10:33:26 UTC (rev 168457)
@@ -3,8 +3,8 @@
 # Contributor: Arch Haskell Team <arch-haskell at haskell.org>
 
 pkgname=idris
-pkgver=0.10.3
-pkgrel=5
+pkgver=0.11
+pkgrel=1
 pkgdesc="Functional Programming Language with Dependent Types"
 url="http://www.idris-lang.org/"
 license=("custom:BSD3")
@@ -19,7 +19,7 @@
              "haskell-vector" "haskell-vector-binary-instances" "haskell-zip-archive")
 options=('staticlibs')
 source=("http://hackage.haskell.org/packages/archive/${pkgname}/${pkgver}/${pkgname}-${pkgver}.tar.gz")
-sha256sums=('63fd7bade38873e3c9933fa883bacdedffc73c5fec5a6e79a981ccf7ae990e85')
+sha256sums=('e0ea4df41f63f9d4292fe2ae9d3031cbc511a96c80e43240df16374335261a2a')
 
 prepare() {
     sed -i 's/zip-archive > 0.2.3.5 && < 0.2.4/zip-archive > 0.2.3.5 \&\& < 0.4/' ${pkgname}-${pkgver}/${pkgname}.cabal