[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Wed May 22 08:10:55 UTC 2019
Date: Wednesday, May 22, 2019 @ 08:10:55
Author: felixonmars
Revision: 468310
upgpkg: haskell-sbv 8.2-1
rebuild with cryptol 2.7.0, sbv 8.2
Modified:
haskell-sbv/trunk/PKGBUILD
----------+
PKGBUILD | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2019-05-22 08:09:10 UTC (rev 468309)
+++ PKGBUILD 2019-05-22 08:10:55 UTC (rev 468310)
@@ -3,8 +3,8 @@
_hkgname=sbv
pkgname=haskell-sbv
-pkgver=7.13
-pkgrel=40
+pkgver=8.2
+pkgrel=1
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"
url="http://leventerkok.github.com/sbv"
license=("BSD")
@@ -14,7 +14,7 @@
makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 'haskell-tasty-golden'
'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
-sha512sums=('6c44083fee95a711bc0153a4f1530338f0893522b481251365f4d35e0d990ba299c55acdf404803a5d1a5a4044d97e07eac6aecba82d052586b346be16c3ce1d')
+sha512sums=('c26fc5448d03c9df2b3ec80930e2b67f4bc57c6cc211ed554163de305fc1193b186a0983ef587ab136711c1d44a1f0d4008e7a4b1d83fdd98fa8dad49ebd2c68')
build() {
cd $_hkgname-$pkgver
More information about the arch-commits
mailing list