Date: Friday, April 24, 2020 @ 20:58:31 Author: felixonmars Revision: 619572
upgpkg: agda 2.6.1-30: rebuild with ghc 8.10.1, protolude 0.3.0, repline 0.3.0.0, ghc-lib-parser-ex 8.10.0.1, th-desugar 1.11, singletons 2.7 Modified: agda/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-04-24 20:55:54 UTC (rev 619571) +++ PKGBUILD 2020-04-24 20:58:31 UTC (rev 619572) @@ -4,7 +4,7 @@ _hkgname=Agda pkgname=agda pkgver=2.6.1 -pkgrel=29 +pkgrel=30 pkgdesc="A dependently typed functional programming language and proof assistant" url="https://wiki.portal.chalmers.se/agda/"; license=("custom") @@ -11,7 +11,7 @@ arch=('x86_64') depends=('ghc-libs' 'haskell-aeson' 'haskell-async' 'haskell-blaze-html' 'haskell-boxes' 'haskell-cpphs' 'haskell-data-hash' 'haskell-edit-distance' 'haskell-equivalence' - 'haskell-exceptions' 'haskell-geniplate-mirror' 'haskell-gitrev' 'haskell-hashable' + 'haskell-geniplate-mirror' 'haskell-gitrev' 'haskell-hashable' 'haskell-hashtables' 'haskell-ieee754' 'haskell-murmur-hash' 'haskell-regex-tdfa' 'haskell-split' 'haskell-strict' 'haskell-unordered-containers' 'haskell-uri-encode' 'haskell-zlib')
