[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