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

[Felix Yan]

    Date: Thursday, February 7, 2019 @ 12:34:38
  Author: felixonmars
Revision: 429905

upgpkg: agda 2.5.99.20190207-1

Modified:
  agda/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2019-02-07 12:34:26 UTC (rev 429904)
+++ PKGBUILD	2019-02-07 12:34:38 UTC (rev 429905)
@@ -3,9 +3,9 @@
 
 _hkgname=Agda
 pkgname=agda
-pkgver=2.5.99.20181017
-_commit=795be65611565b75b253952f6b9690c062747537
-pkgrel=11
+pkgver=2.5.99.20190207
+_commit=3048fdaa1840c352fc00aa7222c50bcd622580d8
+pkgrel=1
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
@@ -14,11 +14,12 @@
          'haskell-cpphs' 'haskell-data-hash' 'haskell-edisoncore' 'haskell-edit-distance'
          'haskell-equivalence' 'haskell-geniplate-mirror' 'haskell-gitrev' 'haskell-hashable'
          'haskell-hashtables' 'haskell-ieee754' 'haskell-murmur-hash' 'haskell-regex-tdfa'
-         'haskell-strict' 'haskell-unordered-containers' 'haskell-uri-encode' 'haskell-zlib')
+         'haskell-split' 'haskell-strict' 'haskell-unordered-containers' 'haskell-uri-encode'
+         'haskell-zlib')
 optdepends=('agda-stdlib: for standard library')
 makedepends=('alex' 'happy' 'ghc' 'haskell-filemanip')
 source=("$_hkgname-$_commit.tar.gz::https://github.com/agda/agda/archive/$_commit.tar.gz")
-sha512sums=('394226100693e8fa326f8e182b479369797eae2d28882d15f393433a92f417401d6e165bc14668e9b523b5577be00a244505d9eff0aeb9a800a5cb69e4033d1a')
+sha512sums=('21b061fada9b3ddfb1348366f270990192eefe49e79943a061d843d6fe78c049b87fde73ff3cf70c586e955c8aa5007365723b380686931a55547deae87e0043')
 
 prepare() {
     mv $pkgname-{$_commit,$pkgver}