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