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

[Felix Yan]

    Date: Thursday, November 9, 2017 @ 17:00:09
  Author: felixonmars
Revision: 266032

upgpkg: cryptol 2.5.0-8

rebuild with sbv,7.4

Modified:
  cryptol/trunk/PKGBUILD

----------+
 PKGBUILD |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-11-09 16:56:55 UTC (rev 266031)
+++ PKGBUILD	2017-11-09 17:00:09 UTC (rev 266032)
@@ -3,11 +3,11 @@
 
 pkgname=cryptol
 pkgver=2.5.0
-pkgrel=7
+pkgrel=8
 pkgdesc="The Language of Cryptography"
 url="http://www.cryptol.net"
 license=("custom:BSD3")
-arch=('i686' 'x86_64')
+arch=('x86_64')
 depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 'haskell-gitrev' 'haskell-graphscc'
          'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 'haskell-old-time'
          'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 'haskell-sbv' 'haskell-smtlib'