Date: Sunday, May 20, 2018 @ 05:44:58 Author: felixonmars Revision: 325044
upgpkg: haskell-sbv 7.8-1 rebuild with sbv,7.8 Modified: haskell-sbv/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-05-20 05:39:31 UTC (rev 325043) +++ PKGBUILD 2018-05-20 05:44:58 UTC (rev 325044) @@ -4,8 +4,8 @@ _hkgname=sbv pkgname=haskell-sbv -pkgver=7.7 -pkgrel=9 +pkgver=7.8 +pkgrel=1 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving" url="http://leventerkok.github.com/sbv"; license=("custom:BSD3") @@ -16,7 +16,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=('96670f21896ae921759f09767d08dc6c4c7592461ca135c2b11678d1b2a2f7980a52aff555dfd3616b8cfd4a592f7407fd0ec493e0b5a099cc2b36f2ed337bcb') +sha512sums=('ec7e7d715d6a82b0201c91a83deae238b6c366316a3734d6916327fc9849de0b1263541ff57e0689a43f4ca0f7c1e073a3c99b18adc30288067594e6458c5f61') build() { cd $_hkgname-$pkgver
