Date: Monday, September 14, 2020 @ 12:27:13 Author: felixonmars Revision: 705978
upgpkg: cryptol 2.9.1-6: switch to sbv8.7 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-09-14 12:18:21 UTC (rev 705977) +++ PKGBUILD 2020-09-14 12:27:13 UTC (rev 705978) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=5 +pkgrel=6 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net" license=("BSD") @@ -10,7 +10,7 @@ depends=('ghc-libs' 'z3' 'haskell-async' 'haskell-base-compat' 'haskell-bv-sized' 'haskell-cryptohash-sha1' 'haskell-exceptions' 'haskell-gitrev' 'haskell-graphscc' 'haskell-heredoc' 'haskell-libbf' 'haskell-monad-control' 'haskell-monadlib' - 'haskell-parameterized-utils' 'haskell-panic' 'haskell-random' 'haskell-sbv' + 'haskell-parameterized-utils' 'haskell-panic' 'haskell-random' 'haskell-sbv8.7' 'haskell-simple-smt' 'haskell-strict' 'haskell-tf-random' 'haskell-transformers-base' 'haskell-what4' 'haskell-ansi-terminal' 'haskell-blaze-html') makedepends=('ghc' 'alex' 'happy')