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

[Felix Yan]

    Date: Tuesday, March 1, 2016 @ 13:38:48
  Author: fyan
Revision: 163897

upgpkg: idris 0.10.2-1

Modified:
  idris/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2016-03-01 11:57:25 UTC (rev 163896)
+++ PKGBUILD	2016-03-01 12:38:48 UTC (rev 163897)
@@ -3,8 +3,8 @@
 # Contributor: Arch Haskell Team <arch-haskell at haskell.org>
 
 pkgname=idris
-pkgver=0.10
-pkgrel=11
+pkgver=0.10.2
+pkgrel=1
 pkgdesc="Functional Programming Language with Dependent Types"
 url="http://www.idris-lang.org/"
 license=("custom:BSD3")
@@ -19,12 +19,8 @@
              "haskell-vector-binary-instances" "haskell-zip-archive")
 options=('staticlibs')
 source=("http://hackage.haskell.org/packages/archive/${pkgname}/${pkgver}/${pkgname}-${pkgver}.tar.gz")
-sha256sums=('5593feca2cdd00ff819f37135da496111b3af06b664f4cd1f4aecba6ac6e6a10')
+sha256sums=('797f848d073b14772e20b13507272a2bf490644e005a978423c4bf057d021d19')
 
-prepare() {
-    sed -i "s/, async < 2.1/, async < 2.2/" ${pkgname}-${pkgver}/${pkgname}.cabal
-}
-
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"