diff options
author | Leif Warner | 2015-09-01 14:22:11 -0700 |
---|---|---|
committer | Leif Warner | 2015-09-01 16:13:39 -0700 |
commit | 17db666970691db3eb7f6665f8d52799f8c61b24 (patch) | |
tree | 0a6abcdafc28e1f14e54d7c999d8c4b6f2e24f1d | |
parent | 34567fb05a5cd840a06e9439d8b70583a8905b90 (diff) | |
download | aur-17db666970691db3eb7f6665f8d52799f8c61b24.tar.gz |
Updated haskell-annotated-wl-pprint version constraint in wake of 0.9.19 release
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,6 @@ pkgbase = idris-git pkgdesc = Functional Programming Language with Dependent Types - pkgver = v0.9.18.r472.7642503 + pkgver = v0.9.19.r7.4932d1c pkgrel = 1 url = http://www.idris-lang.org/ install = idris-git.install @@ -1,13 +1,13 @@ # Maintainer: Leif Warner <abimelech@gmail.com> _gitname=Idris-dev pkgname=idris-git -pkgver=v0.9.18.r472.7642503 +pkgver=v0.9.19.r7.4932d1c pkgrel=1 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/" license=('custom:BSD3') arch=('i686' 'x86_64') -makedpends=('ghc' 'haskell-annotated-wl-pprint<0.7' 'haskell-ansi-terminal<0.7' 'haskell-ansi-wl-pprint<0.7' 'haskell-base64-bytestring<1.1' 'haskell-binary<0.8' 'haskell-blaze-html<0.8' 'haskell-blaze-markup<0.6.3.0' 'haskell-bytestring' 'haskell-cheapskate<0.2' 'haskell-containers' 'haskell-deepseq' 'haskell-directory' 'haskell-filepath' 'haskell-fingertree<0.2' 'haskell-haskeline<0.8' 'haskell-mtl' 'haskell-network' 'haskell-optparse-applicative<0.12' 'haskell-parsers<0.13' 'haskell-pretty' 'haskell-process' 'haskell-safe' 'haskell-split<0.3' 'haskell-text' 'haskell-time' 'haskell-transformers' 'haskell-transformers-compat>=0.3' 'haskell-trifecta<1.6' 'haskell-uniplate<1.7' 'haskell-unix' 'haskell-unordered-containers<0.3' 'haskell-utf8-string<0.4' 'haskell-vector<0.11' 'haskell-vector-binary-instances<0.3' 'haskell-zip-archive<0.2.4' 'haskell-zlib' 'haskell-libffi') +makedpends=('ghc' 'haskell-annotated-wl-pprint>=0.7' 'haskell-annotated-wl-pprint<0.8' 'haskell-ansi-terminal<0.7' 'haskell-ansi-wl-pprint<0.7' 'haskell-base64-bytestring<1.1' 'haskell-binary<0.8' 'haskell-blaze-html<0.8' 'haskell-blaze-markup<0.6.3.0' 'haskell-bytestring' 'haskell-cheapskate<0.2' 'haskell-containers' 'haskell-deepseq' 'haskell-directory' 'haskell-filepath' 'haskell-fingertree<0.2' 'haskell-haskeline<0.8' 'haskell-mtl' 'haskell-network' 'haskell-optparse-applicative<0.12' 'haskell-parsers<0.13' 'haskell-pretty' 'haskell-process' 'haskell-safe' 'haskell-split<0.3' 'haskell-text' 'haskell-time' 'haskell-transformers' 'haskell-transformers-compat>=0.3' 'haskell-trifecta<1.6' 'haskell-uniplate<1.7' 'haskell-unix' 'haskell-unordered-containers<0.3' 'haskell-utf8-string<0.4' 'haskell-vector<0.11' 'haskell-vector-binary-instances<0.3' 'haskell-zip-archive<0.2.4' 'haskell-zlib' 'haskell-libffi') depends=('gmp' 'libffi' 'gcc') options=('staticlibs') provides=('idris') |