[arch-commits] Commit in idris/trunk (PKGBUILD)

[Felix Yan]

    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"