Date: Tuesday, March 30, 2021 @ 10:53:19 Author: felixonmars Revision: 910443
upgpkg: haskell-sbv 8.13-1: rebuild with sbv 8.13 Modified: haskell-sbv/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-03-30 10:42:36 UTC (rev 910442) +++ PKGBUILD 2021-03-30 10:53:19 UTC (rev 910443) @@ -3,8 +3,8 @@ _hkgname=sbv pkgname=haskell-sbv -pkgver=8.12 -pkgrel=6 +pkgver=8.13 +pkgrel=1 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving" url="https://leventerkok.github.com/sbv" license=("BSD") @@ -15,7 +15,7 @@ '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=('819c3f58a36018a6260424a6361e67576afa6824a2e811ce4facc4fbb65665ce6953a6f3e5ee92385dafc4e4fc7191b9f161b0276ac4c4efe60eca73d946250d') +sha512sums=('429144c2e3cbef5c5a105322cc5314ff7bc439775efe1231db83ed169246e2aa669e15c32f930bf227db61c0ab7a483d7af6d6395b4d76e4574c6d46fcd9dfa5') prepare() { cd $_hkgname-$pkgver