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

[Felix Yan]

    Date: Sunday, June 3, 2018 @ 05:25:00
  Author: felixonmars
Revision: 338555

upgpkg: agda 2.5.4-1

Modified:
  agda/trunk/PKGBUILD

----------+
 PKGBUILD |   23 +++++++++++------------
 1 file changed, 11 insertions(+), 12 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-06-03 05:16:12 UTC (rev 338554)
+++ PKGBUILD	2018-06-03 05:25:00 UTC (rev 338555)
@@ -4,23 +4,22 @@
 
 _hkgname=Agda
 pkgname=agda
-pkgver=2.5.3.20180519
-pkgrel=6
+pkgver=2.5.4
+pkgrel=1
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
 arch=('x86_64')
-depends=('ghc-libs' "alex" "happy" "haskell-async" "haskell-blaze-html" "haskell-boxes"
-         "haskell-cpphs" "haskell-data-hash" "haskell-edisonapi" "haskell-edisoncore"
-         "haskell-edit-distance" "haskell-equivalence" "haskell-geniplate-mirror" "haskell-gitrev"
-         "haskell-hashable" "haskell-hashtables" "haskell-ieee754" "haskell-monadplus"
-         "haskell-murmur-hash" "haskell-parallel" "haskell-regex-tdfa"
-         "haskell-strict" "haskell-unordered-containers" "haskell-uri-encode"
-         "haskell-zlib")
+depends=('ghc-libs' 'haskell-async' 'haskell-blaze-html' 'haskell-boxes'
+         'haskell-cpphs' 'haskell-data-hash' 'haskell-edisonapi' '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')
 optdepends=('agda-stdlib: for standard library')
-makedepends=('ghc')
-source=("https://github.com/agda/agda/archive/v$pkgver.tar.gz")
-sha512sums=('85fc6855cd1bf54aa8d2d235e7544872a9f2e38f8697b7990252a2217c21fe8831dc78f946c87225217bb942f5bbdc7225b60804e5c835aa719ecfbca8057137')
+makedepends=('alex' 'happy' 'ghc')
+source=("$_Hkgname-$pkgver.tar.gz::https://github.com/agda/agda/archive/v$pkgver.tar.gz")
+sha512sums=('8565d365cc2e5dab997bf36e5c3353efdc8575cacd2b399767e4653cfae2e4a410161d15b92d7e00f99421ef7df58e6c11176ce078752712b525d51fbed8b283')
 
 prepare() {
     mkdir -p lib-target