Date: Thursday, October 29, 2020 @ 10:27:35 Author: felixonmars Revision: 736489
upgpkg: haskell-sbv 8.9-1 Modified: haskell-sbv/trunk/PKGBUILD ----------+ PKGBUILD | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-10-29 10:27:30 UTC (rev 736488) +++ PKGBUILD 2020-10-29 10:27:35 UTC (rev 736489) @@ -3,19 +3,19 @@ _hkgname=sbv pkgname=haskell-sbv -pkgver=8.8 -pkgrel=22 +pkgver=8.9 +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' - 'haskell-syb') + '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=('495bff0220c85ae3ce712b25983643a2f81dbdccd26f668963bd52b99cafccdae2d47dcd831fb6a6e4e571379be8a759b838b0c4b4ca9168bca07bf7e2892374') +sha512sums=('be90cce34973bc22fa2e9d6b95ea949b3ba53124ee666845587970003a3b194351f48bdd275dc691a288d79f09647fbf08893d53112519b376de4f157d43ece1') prepare() { cd $_hkgname-$pkgver
