Date: Friday, October 16, 2020 @ 08:33:27 Author: felixonmars Revision: 724358
upgpkg: haskell-refinery 0.3.0.0-1 Modified: haskell-refinery/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-10-16 08:31:21 UTC (rev 724357) +++ PKGBUILD 2020-10-16 08:33:27 UTC (rev 724358) @@ -2,8 +2,8 @@ _hkgname=refinery pkgname=haskell-refinery -pkgver=0.2.0.0 -pkgrel=2 +pkgver=0.3.0.0 +pkgrel=1 pkgdesc="Toolkit for building proof automation systems" url="https://github.com/totbwf/refinery#readme"; license=("BSD") @@ -11,7 +11,7 @@ depends=('ghc-libs' 'haskell-logict' 'haskell-mmorph') makedepends=('ghc' 'haskell-quickcheck' 'haskell-checkers' 'haskell-hspec') source=("https://hackage.haskell.org/packages/archive/$_hkgname/$pkgver/$_hkgname-$pkgver.tar.gz";) -sha256sums=('988f39852c04fc0211651efd57907cd915c591057b0038a0551078e4cbaa4e5b') +sha512sums=('6fa5e7b2bf6607d43c6422ed67fb3c8b035e853d55dd5df0f333efe5dd3e3489fca6e4b77ddbd56f10f52a2cf7527327f014db728757bafe7452c11a93abc517') build() { cd $_hkgname-$pkgver
