Date: Saturday, March 13, 2021 @ 10:20:41 Author: felixonmars Revision: 890175
upgpkg: haskell-sbv 8.11-1: rebuild with sbv 8.11 Modified: haskell-sbv/trunk/PKGBUILD ----------+ PKGBUILD | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-03-13 10:05:50 UTC (rev 890174) +++ PKGBUILD 2021-03-13 10:20:41 UTC (rev 890175) @@ -3,19 +3,19 @@ _hkgname=sbv pkgname=haskell-sbv -pkgver=8.10 -pkgrel=16 +pkgver=8.11 +pkgrel=1 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving" url="https://leventerkok.github.com/sbv"; license=("BSD") arch=('x86_64') -depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 'haskell-random' +depends=('ghc-libs' 'haskell-quickcheck' 'haskell-async' 'haskell-libbf' 'haskell-random' 'haskell-syb' 'haskell-uniplate') makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 'haskell-tasty-golden' 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') checkdepends=('abc' 'cvc4' 'yices' 'z3') source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";) -sha512sums=('5a5d50e773ae6551212c8a821c2f8df1c64d87dfc2006375fddf07725bebe2d65e4711fb6b6d6cabaddaa2106dea803d97f9e456adc2a84a9629b6b75fe8c78e') +sha512sums=('a0c176bfe10f782c2e49aa467d2bee9146d81735e1dc419962efdbe4c52c217148988a9a02bd8705c9bef9bc94192759a8899a0487747a994e8920eb7409c6e2') prepare() { cd $_hkgname-$pkgver
