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}
