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() {
