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

[Felix Yan]

    Date: Saturday, March 13, 2021 @ 10:20:41
  Author: felixonmars
Revision: 890175

upgpkg: haskell-sbv 8.11-1: rebuild with sbv 8.11

Modified:
  haskell-sbv/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-03-13 10:05:50 UTC (rev 890174)
+++ PKGBUILD	2021-03-13 10:20:41 UTC (rev 890175)
@@ -3,19 +3,19 @@
 
 _hkgname=sbv
 pkgname=haskell-sbv
-pkgver=8.10
-pkgrel=16
+pkgver=8.11
+pkgrel=1
 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"
 url="https://leventerkok.github.com/sbv"
 license=("BSD")
 arch=('x86_64')
-depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 'haskell-random'
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-async' 'haskell-libbf' 'haskell-random'
          'haskell-syb' 'haskell-uniplate')
 makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 'haskell-tasty-golden'
              'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
 checkdepends=('abc' 'cvc4' 'yices' 'z3')
 source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
-sha512sums=('5a5d50e773ae6551212c8a821c2f8df1c64d87dfc2006375fddf07725bebe2d65e4711fb6b6d6cabaddaa2106dea803d97f9e456adc2a84a9629b6b75fe8c78e')
+sha512sums=('a0c176bfe10f782c2e49aa467d2bee9146d81735e1dc419962efdbe4c52c217148988a9a02bd8705c9bef9bc94192759a8899a0487747a994e8920eb7409c6e2')
 
 prepare() {
     cd $_hkgname-$pkgver