[arch-commits] Commit in haskell-presburger/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Fri Jun 1 17:08:06 UTC 2018
Date: Friday, June 1, 2018 @ 17:08:06
Author: felixonmars
Revision: 336296
upgpkg: haskell-presburger 1.3.1-5
rebuild with ghc 8.4.3
Modified:
haskell-presburger/trunk/PKGBUILD
----------+
PKGBUILD | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2018-06-01 17:07:20 UTC (rev 336295)
+++ PKGBUILD 2018-06-01 17:08:06 UTC (rev 336296)
@@ -5,7 +5,7 @@
_hkgname=presburger
pkgname=haskell-presburger
pkgver=1.3.1
-pkgrel=4
+pkgrel=5
pkgdesc="A decision procedure for quantifier-free linear arithmetic"
url="https://github.com/yav/presburger"
license=("custom:BSD3")
More information about the arch-commits
mailing list