Date: Sunday, January 31, 2021 @ 02:01:41 Author: felixonmars Revision: 836915
upgpkg: haskell-sbv 8.9-56: rebuild with vector 0.12.2.0 Modified: haskell-sbv/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-01-31 01:52:59 UTC (rev 836914) +++ PKGBUILD 2021-01-31 02:01:41 UTC (rev 836915) @@ -4,7 +4,7 @@ _hkgname=sbv pkgname=haskell-sbv pkgver=8.9 -pkgrel=55 +pkgrel=56 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving" url="https://leventerkok.github.com/sbv" license=("BSD")