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

[Felix Yan]

    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')