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

[Felix Yan]

    Date: Thursday, October 29, 2020 @ 10:27:35
  Author: felixonmars
Revision: 736489

upgpkg: haskell-sbv 8.9-1

Modified:
  haskell-sbv/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-10-29 10:27:30 UTC (rev 736488)
+++ PKGBUILD	2020-10-29 10:27:35 UTC (rev 736489)
@@ -3,19 +3,19 @@
 
 _hkgname=sbv
 pkgname=haskell-sbv
-pkgver=8.8
-pkgrel=22
+pkgver=8.9
+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'
-         'haskell-syb')
+         '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=('495bff0220c85ae3ce712b25983643a2f81dbdccd26f668963bd52b99cafccdae2d47dcd831fb6a6e4e571379be8a759b838b0c4b4ca9168bca07bf7e2892374')
+sha512sums=('be90cce34973bc22fa2e9d6b95ea949b3ba53124ee666845587970003a3b194351f48bdd275dc691a288d79f09647fbf08893d53112519b376de4f157d43ece1')
 
 prepare() {
     cd $_hkgname-$pkgver