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