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

[Felix Yan]

    Date: Monday, April 3, 2017 @ 14:39:04
  Author: felixonmars
Revision: 220395

upgpkg: idris 1.0-1

Modified:
  idris/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-04-03 14:32:49 UTC (rev 220394)
+++ PKGBUILD	2017-04-03 14:39:04 UTC (rev 220395)
@@ -3,8 +3,8 @@
 # Contributor: Arch Haskell Team <arch-haskell at haskell.org>
 
 pkgname=idris
-pkgver=0.99.2
-pkgrel=2
+pkgver=1.0
+pkgrel=1
 pkgdesc="Functional Programming Language with Dependent Types"
 url="http://www.idris-lang.org/"
 license=("custom:BSD3")
@@ -20,7 +20,7 @@
              "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=('c59968429de3c846034d078bebb7200e745d143d8c17d8b770ff3b6ac7a00aba855ad6add35a5c7e93d3f89d6041a083b0dfc1b3241f28936bf654c21144468e')
+sha512sums=('a350004a8510f01d1cc8f965a9a4e2dab219f003980b98354ebb5ae42f73b32c90c98dce193943e9709d994cb92ad35814a46b79412a1afc85d42e1018c6ba10')
 
 build() {
     cd "$srcdir"/Idris-dev-$pkgver