Date: Thursday, November 9, 2017 @ 10:09:55 Author: felixonmars Revision: 265894
upgpkg: idris 1.1.1-10 rebuild with cookie,0.4.3 Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-11-09 09:56:57 UTC (rev 265893) +++ PKGBUILD 2017-11-09 10:09:55 UTC (rev 265894) @@ -4,11 +4,11 @@ pkgname=idris pkgver=1.1.1 -pkgrel=9 +pkgrel=10 pkgdesc="Functional Programming Language with Dependent Types" url="http://www.idris-lang.org/"; license=("custom:BSD3") -arch=('i686' 'x86_64') +arch=('x86_64') depends=('ghc-libs' "haskell-aeson" "haskell-annotated-wl-pprint" "haskell-ansi-terminal" "haskell-ansi-wl-pprint" "haskell-async" "haskell-base64-bytestring" "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate" "haskell-code-page" "haskell-fingertree"
