Date: Saturday, February 15, 2020 @ 14:25:33
  Author: felixonmars
Revision: 571563

upgpkg: haskell-presburger 1.3.1-12: rebuild with ghc 8.8.2

Modified:
  haskell-presburger/trunk/PKGBUILD

----------+
 PKGBUILD |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2020-02-15 14:24:46 UTC (rev 571562)
+++ PKGBUILD    2020-02-15 14:25:33 UTC (rev 571563)
@@ -4,7 +4,7 @@
 _hkgname=presburger
 pkgname=haskell-presburger
 pkgver=1.3.1
-pkgrel=11
+pkgrel=12
 pkgdesc="A decision procedure for quantifier-free linear arithmetic"
 url="https://github.com/yav/presburger";
 license=("BSD")

Reply via email to