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

[Felix Yan]

    Date: Monday, December 17, 2018 @ 04:43:41
  Author: felixonmars
Revision: 416495

upgpkg: haskell-sbv 7.13-1

rebuild with sbv 7.13

Modified:
  haskell-sbv/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-12-17 03:46:47 UTC (rev 416494)
+++ PKGBUILD	2018-12-17 04:43:41 UTC (rev 416495)
@@ -3,19 +3,18 @@
 
 _hkgname=sbv
 pkgname=haskell-sbv
-pkgver=7.12
-pkgrel=34
+pkgver=7.13
+pkgrel=1
 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"
 url="http://leventerkok.github.com/sbv"
 license=("BSD")
 arch=('x86_64')
 depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async'
-         'haskell-random' 'haskell-syb' 'haskell-reinterpret-cast'
-         'haskell-generic-deriving')
+         'haskell-random' 'haskell-syb' 'haskell-generic-deriving')
 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=('5c64a2bdd3817f893e7f25f969afd7fab4f24acb695370b19e87ecb5064b24a4ed5d13861fb6afa1a4cf6f59fcf3ee801a117dc34a28d9abda826e9f30f8f382')
+sha512sums=('6c44083fee95a711bc0153a4f1530338f0893522b481251365f4d35e0d990ba299c55acdf404803a5d1a5a4044d97e07eac6aecba82d052586b346be16c3ce1d')
 
 build() {
     cd $_hkgname-$pkgver