Date: Sunday, July 11, 2021 @ 14:44:18 Author: felixonmars Revision: 976571
upgpkg: haskell-refinery 0.4.0.0-1 Modified: haskell-refinery/trunk/PKGBUILD ----------+ PKGBUILD | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-07-11 14:42:45 UTC (rev 976570) +++ PKGBUILD 2021-07-11 14:44:18 UTC (rev 976571) @@ -2,16 +2,16 @@ _hkgname=refinery pkgname=haskell-refinery -pkgver=0.3.0.0 -pkgrel=77 +pkgver=0.4.0.0 +pkgrel=1 pkgdesc="Toolkit for building proof automation systems" url="https://github.com/totbwf/refinery#readme"; license=("BSD") arch=('x86_64') -depends=('ghc-libs' 'haskell-logict' 'haskell-mmorph') +depends=('ghc-libs' 'haskell-mmorph') makedepends=('ghc' 'haskell-quickcheck' 'haskell-checkers' 'haskell-hspec') source=("https://hackage.haskell.org/packages/archive/$_hkgname/$pkgver/$_hkgname-$pkgver.tar.gz";) -sha512sums=('6fa5e7b2bf6607d43c6422ed67fb3c8b035e853d55dd5df0f333efe5dd3e3489fca6e4b77ddbd56f10f52a2cf7527327f014db728757bafe7452c11a93abc517') +sha512sums=('5b174c80409df39d16291fa2456677331b83c14396aacd55802f22b6d68eb06092a4c269c62610f8b078503cad7862b377e3ebb71d8c7efba0725c9a7a05ebf1') build() { cd $_hkgname-$pkgver
