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'
