[arch-commits] Commit in haskell-refinery/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Fri Oct 16 08:33:28 UTC 2020
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
More information about the arch-commits
mailing list