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
