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

[Felix Yan]

    Date: Tuesday, March 22, 2016 @ 13:15:41
  Author: fyan
Revision: 167892

upgpkg: idris 0.10.3-3

rebuild with language-javascript-0.6.0.2, pandoc-1.17.0.1, zip-archive-0.3

Modified:
  idris/trunk/PKGBUILD

----------+
 PKGBUILD |    6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2016-03-22 11:34:55 UTC (rev 167891)
+++ PKGBUILD	2016-03-22 12:15:41 UTC (rev 167892)
@@ -4,7 +4,7 @@
 
 pkgname=idris
 pkgver=0.10.3
-pkgrel=2
+pkgrel=3
 pkgdesc="Functional Programming Language with Dependent Types"
 url="http://www.idris-lang.org/"
 license=("custom:BSD3")
@@ -21,6 +21,10 @@
 source=("http://hackage.haskell.org/packages/archive/${pkgname}/${pkgver}/${pkgname}-${pkgver}.tar.gz")
 sha256sums=('63fd7bade38873e3c9933fa883bacdedffc73c5fec5a6e79a981ccf7ae990e85')
 
+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
+}
+
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"