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

Felix Yan felixonmars at archlinux.org
Thu Apr 22 22:20:14 UTC 2021


    Date: Thursday, April 22, 2021 @ 22:20:14
  Author: felixonmars
Revision: 921821

upgpkg: haskell-sbv 8.14-2: rebuild with hspec 2.7.10, hspec-core 2.7.10, hspec-discover 2.7.10

Modified:
  haskell-sbv/trunk/PKGBUILD

----------+
 PKGBUILD |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-04-22 22:09:58 UTC (rev 921820)
+++ PKGBUILD	2021-04-22 22:20:14 UTC (rev 921821)
@@ -4,7 +4,7 @@
 _hkgname=sbv
 pkgname=haskell-sbv
 pkgver=8.14
-pkgrel=1
+pkgrel=2
 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"
 url="https://leventerkok.github.com/sbv"
 license=("BSD")
@@ -38,7 +38,7 @@
 
 check() {
     cd $_hkgname-$pkgver
-    runhaskell Setup test
+    runhaskell Setup test --show-details=direct
 }
 
 package() {



More information about the arch-commits mailing list