[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)

Felix Yan felixonmars at archlinux.org
Fri Jun 14 10:58:04 UTC 2019


    Date: Friday, June 14, 2019 @ 10:58:03
  Author: felixonmars
Revision: 481416

upgpkg: haskell-sbv 8.3-1

rebuild with sbv 8.3

Modified:
  haskell-sbv/trunk/PKGBUILD

----------+
 PKGBUILD |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2019-06-14 10:25:38 UTC (rev 481415)
+++ PKGBUILD	2019-06-14 10:58:03 UTC (rev 481416)
@@ -3,8 +3,8 @@
 
 _hkgname=sbv
 pkgname=haskell-sbv
-pkgver=8.2
-pkgrel=11
+pkgver=8.3
+pkgrel=1
 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"
 url="https://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=('c26fc5448d03c9df2b3ec80930e2b67f4bc57c6cc211ed554163de305fc1193b186a0983ef587ab136711c1d44a1f0d4008e7a4b1d83fdd98fa8dad49ebd2c68')
+sha512sums=('8efec98e296331a00202a7ded35205160628b59e1129a50eb2cb7c26deec4a553c4d9cd9055f1fdd3fec206a82601017fa91268871774f1816894dc79fc18408')
 
 build() {
     cd $_hkgname-$pkgver


More information about the arch-commits mailing list