Date: Saturday, August 15, 2020 @ 09:38:20 Author: felixonmars Revision: 679660
upgpkg: haskell-sbv 8.7-16: rebuild with ghc-lib-parser-ex 8.10.0.16 Modified: haskell-sbv/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-08-15 09:28:41 UTC (rev 679659) +++ PKGBUILD 2020-08-15 09:38:20 UTC (rev 679660) @@ -4,7 +4,7 @@ _hkgname=sbv pkgname=haskell-sbv pkgver=8.7 -pkgrel=15 +pkgrel=16 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving" url="https://leventerkok.github.com/sbv" license=("BSD")