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

[Felix Yan]

    Date: Wednesday, August 2, 2017 @ 17:43:11
  Author: felixonmars
Revision: 247519

upgpkg: idris 1.1.0-1

Modified:
  idris/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-08-02 16:53:32 UTC (rev 247518)
+++ PKGBUILD	2017-08-02 17:43:11 UTC (rev 247519)
@@ -3,8 +3,8 @@
 # Contributor: Arch Haskell Team <arch-haskell at haskell.org>
 
 pkgname=idris
-pkgver=1.0
-pkgrel=52
+pkgver=1.1.0
+pkgrel=1
 pkgdesc="Functional Programming Language with Dependent Types"
 url="http://www.idris-lang.org/"
 license=("custom:BSD3")
@@ -18,7 +18,7 @@
          "haskell-trifecta" "haskell-uniplate" "haskell-unordered-containers" "haskell-utf8-string"
          "haskell-vector" "haskell-vector-binary-instances" "haskell-zip-archive")
 source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz")
-sha512sums=('a350004a8510f01d1cc8f965a9a4e2dab219f003980b98354ebb5ae42f73b32c90c98dce193943e9709d994cb92ad35814a46b79412a1afc85d42e1018c6ba10')
+sha512sums=('689f98315a835a623d5bfdb8419ff6888ab82e357f243f0adad47f496ee388cf521172d147855ccf63f5d95c6d4ef0977b1ec99c61b755772bd316d49daa1c44')
 
 prepare() {
     sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls ../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \