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

[Felix Yan]

    Date: Wednesday, August 30, 2017 @ 07:52:51
  Author: felixonmars
Revision: 254746

upgpkg: haskell-sbv 7.2-2

rebuild with sbv,7.2

Modified:
  haskell-sbv/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-08-30 07:38:30 UTC (rev 254745)
+++ PKGBUILD	2017-08-30 07:52:51 UTC (rev 254746)
@@ -4,8 +4,8 @@
 
 _hkgname=sbv
 pkgname=haskell-sbv
-pkgver=7.1
-pkgrel=1
+pkgver=7.2
+pkgrel=2
 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"
 url="http://leventerkok.github.com/sbv"
 license=("custom:BSD3")
@@ -15,7 +15,7 @@
          'haskell-generic-deriving')
 makedepends=('ghc')
 source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
-sha512sums=('5f3399281c8e397fe370ab9515ff2766825d99dd1649615d729b166b59eb62582192dccc59ace5ce68b721ad64b510af1b7100e2b0943a1069d82d070e1d2414')
+sha512sums=('1bbcd4afc29a83da10ab390a0eae5ced2ee3949e312e5690613895552f29c8932ac5d8de6da04e12eca926b6504e85c5256fa13fd9e9374935b0ce838fe11ac8')
 
 build() {
     cd "${srcdir}/${_hkgname}-${pkgver}"