diff options
| author | johngowers | 2020-11-12 20:24:32 +0000 |
|---|---|---|
| committer | johngowers | 2020-11-12 20:24:32 +0000 |
| commit | 36353a2ac740600315ec150b8037801c50a02c68 (patch) | |
| tree | 2551cd1eb787430be1ac69c65d158b2aca5d7ba9 | |
| parent | f96fadefde5f27eed92d257eda7c2244e3759f1e (diff) | |
| download | aur-agda-git.tar.gz | |
Add haskell-case-insensitive dependency.
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,14 +2,14 @@ # Patch to v2.6.0 supplied by Sean Anderson <seanga2 AT gmail DOT com> # See also the 'agda' package in the 'community' repository. pkgname=agda-git -pkgver=2.5.1.r8151.g4108da695 +pkgver=2.5.1.r8948.g45bc89357 pkgrel=1 pkgdesc="A dependently typed functional programming language and proof assistant: development version" arch=('x86_64') url="http://wiki.portal.chalmers.se/agda/" license=('custom') groups=() -depends=('ghc-libs' 'haskell-async' 'haskell-bifunctors' 'haskell-blaze-html' 'haskell-boxes' +depends=('ghc-libs' 'haskell-async' 'haskell-bifunctors' 'haskell-blaze-html' 'haskell-boxes' 'haskell-case-insensitive' 'haskell-cpphs' 'haskell-data-hash' 'haskell-edisonapi' 'haskell-edisoncore' 'haskell-edit-distance' 'haskell-equivalence' 'haskell-filemanip' 'haskell-aeson' 'haskell-geniplate-mirror' 'haskell-gitrev' 'haskell-hashable' 'haskell-hashtables' |