[arch-commits] Commit in clingo/trunk (PKGBUILD)
Evangelos Foutras
foutrelis at archlinux.org
Mon Jul 23 16:18:52 UTC 2018
Date: Monday, July 23, 2018 @ 16:18:51
Author: foutrelis
Revision: 363143
Python 3.7 rebuild
Modified:
clingo/trunk/PKGBUILD
----------+
PKGBUILD | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2018-07-23 16:18:18 UTC (rev 363142)
+++ PKGBUILD 2018-07-23 16:18:51 UTC (rev 363143)
@@ -4,7 +4,7 @@
pkgname=clingo
pkgver=5.3.0
-pkgrel=1
+pkgrel=2
pkgdesc='Grounding tools for (disjunctive) logic programs'
arch=('x86_64')
url='https://potassco.org/'
More information about the arch-commits
mailing list