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

[Felix Yan]

    Date: Monday, November 25, 2019 @ 04:46:52
  Author: felixonmars
Revision: 533172

upgpkg: haskell-sbv 8.4-1

rebuild with sbv 8.4

Modified:
  haskell-sbv/trunk/PKGBUILD

----------+
 PKGBUILD |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2019-11-25 04:39:48 UTC (rev 533171)
+++ PKGBUILD	2019-11-25 04:46:52 UTC (rev 533172)
@@ -3,8 +3,8 @@
 
 _hkgname=sbv
 pkgname=haskell-sbv
-pkgver=8.3
-pkgrel=37
+pkgver=8.4
+pkgrel=1
 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"
 url="https://leventerkok.github.com/sbv"
 license=("BSD")
@@ -14,7 +14,7 @@
 makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 'haskell-tasty-golden'
              'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
 source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
-sha512sums=('8efec98e296331a00202a7ded35205160628b59e1129a50eb2cb7c26deec4a553c4d9cd9055f1fdd3fec206a82601017fa91268871774f1816894dc79fc18408')
+sha512sums=('49323762cc9ca53ba117ab417cad354c271877c09a683182ddd9a189e9db6bf8008b4fa50667ecc847c397ce93cb1eeebfbb10518753981d5995354c98a3ba75')
 
 build() {
     cd $_hkgname-$pkgver