Date: Saturday, February 15, 2020 @ 15:58:29 Author: felixonmars Revision: 571655
upgpkg: haskell-smtlib 1.1-5: rebuild with ghc 8.8.2 Modified: haskell-smtlib/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-02-15 15:57:31 UTC (rev 571654) +++ PKGBUILD 2020-02-15 15:58:29 UTC (rev 571655) @@ -4,7 +4,7 @@ _hkgname=smtLib pkgname=haskell-smtlib pkgver=1.1 -pkgrel=4 +pkgrel=5 pkgdesc="A library for working with the SMTLIB format" url="https://github.com/yav/smtLib" license=("BSD")