[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