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

[Felix Yan]

    Date: Monday, May 21, 2018 @ 14:09:17
  Author: felixonmars
Revision: 326166

upgpkg: agda 2.5.3.20180519-1

Modified:
  agda/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-05-21 14:08:48 UTC (rev 326165)
+++ PKGBUILD	2018-05-21 14:09:17 UTC (rev 326166)
@@ -4,8 +4,8 @@
 
 _hkgname=Agda
 pkgname=agda
-pkgver=2.5.3
-pkgrel=29
+pkgver=2.5.3.20180519
+pkgrel=1
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="http://wiki.portal.chalmers.se/agda/"
 license=("custom")
@@ -13,14 +13,14 @@
 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-mtl"
-         "haskell-murmur-hash" "haskell-parallel" "haskell-regex-tdfa" "haskell-stm"
-         "haskell-strict" "haskell-text" "haskell-unordered-containers" "haskell-uri-encode"
+         "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")
 optdepends=('agda-stdlib: for standard library')
 makedepends=('ghc')
 source=("https://github.com/agda/agda/archive/v$pkgver.tar.gz")
-sha512sums=('89cf67d095cb3694a8f266445092620746a04aa866ab3af277f73b304d8c0f54dc7880a6093336f0c4893ee3861fc853bcf7ca48c430f2c8c83b2c24bf6cb97a')
+sha512sums=('85fc6855cd1bf54aa8d2d235e7544872a9f2e38f8697b7990252a2217c21fe8831dc78f946c87225217bb942f5bbdc7225b60804e5c835aa719ecfbca8057137')
 
 prepare() {
     mkdir -p lib-target
@@ -28,8 +28,6 @@
     sed -e "s|rawSystem agda \\[|rawSystem \"env\" [\"Agda_datadir=$PWD/lib-target\", \"LD_LIBRARY_PATH=$PWD/$pkgname-$pkgver/dist/build\", agda,|" \
         -e "s|(ms, datadir dirs|(ms, \"$PWD/lib-target\"|" \
         -i $pkgname-$pkgver/Setup.hs
-
-    sed -i 's/, EdisonCore >= 1.3.1.1 && < 1.3.2/, EdisonCore >= 1.3.1.1/' $pkgname-$pkgver/$_hkgname.cabal
 }
 
 build() {