[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Sat Sep 16 17:54:46 UTC 2017
Date: Saturday, September 16, 2017 @ 17:54:45
Author: felixonmars
Revision: 258555
upgpkg: haskell-sbv 7.3-1
rebuild with sbv,7.3
Modified:
haskell-sbv/trunk/PKGBUILD
----------+
PKGBUILD | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-09-16 17:54:01 UTC (rev 258554)
+++ PKGBUILD 2017-09-16 17:54:45 UTC (rev 258555)
@@ -4,8 +4,8 @@
_hkgname=sbv
pkgname=haskell-sbv
-pkgver=7.2
-pkgrel=2
+pkgver=7.3
+pkgrel=1
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"
url="http://leventerkok.github.com/sbv"
license=("custom:BSD3")
@@ -15,7 +15,7 @@
'haskell-generic-deriving')
makedepends=('ghc')
source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
-sha512sums=('1bbcd4afc29a83da10ab390a0eae5ced2ee3949e312e5690613895552f29c8932ac5d8de6da04e12eca926b6504e85c5256fa13fd9e9374935b0ce838fe11ac8')
+sha512sums=('df4a94f811573cf3c48892ce0a121f0cbea090784d92dc376f68caf1d2d9e5f9fee2ba7efb44e6dbfeb41c397946eb2b0136d2324b9f47a2889a8fb4cec5892f')
build() {
cd "${srcdir}/${_hkgname}-${pkgver}"
More information about the arch-commits
mailing list