[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