[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