[arch-commits] Commit in clingo/trunk (PKGBUILD)

Alexander Rødseth arodseth at archlinux.org
Mon Nov 20 14:23:19 UTC 2017


    Date: Monday, November 20, 2017 @ 14:23:15
  Author: arodseth
Revision: 267595

upgpkg: clingo 5.2.2-5

Modified:
  clingo/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-11-20 14:19:26 UTC (rev 267594)
+++ PKGBUILD	2017-11-20 14:23:15 UTC (rev 267595)
@@ -4,7 +4,7 @@
 
 pkgname=clingo
 pkgver=5.2.2
-pkgrel=4
+pkgrel=5
 pkgdesc='Grounding tools for (disjunctive) logic programs'
 arch=('x86_64')
 url='https://potassco.org/'



More information about the arch-commits mailing list