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

[Felix Yan]

    Date: Friday, August 25, 2017 @ 15:13:30
  Author: felixonmars
Revision: 253383

upgpkg: cryptol 2.5.0-2

fix dependency on z3

Modified:
  cryptol/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-08-25 15:01:39 UTC (rev 253382)
+++ PKGBUILD	2017-08-25 15:13:30 UTC (rev 253383)
@@ -3,12 +3,12 @@
 
 pkgname=cryptol
 pkgver=2.5.0
-pkgrel=1
+pkgrel=2
 pkgdesc="The Language of Cryptography"
 url="http://www.cryptol.net"
 license=("custom:BSD3")
 arch=('i686' 'x86_64')
-depends=('ghc-libs' 'haskell-base-compat' 'haskell-async' 'haskell-gitrev' 'haskell-graphscc'
+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'
          'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'