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

Alexander Rødseth arodseth at archlinux.org
Mon Nov 20 10:51:06 UTC 2017


    Date: Monday, November 20, 2017 @ 10:51:05
  Author: arodseth
Revision: 267535

upgpkg: clingo 5.2.2-1

Modified:
  clingo/trunk/PKGBUILD

----------+
 PKGBUILD |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-11-20 10:14:57 UTC (rev 267534)
+++ PKGBUILD	2017-11-20 10:51:05 UTC (rev 267535)
@@ -3,7 +3,7 @@
 # Contributor: Vincent Bernardoff <vb at luminar.eu.org>
 
 pkgname=clingo
-pkgver=5.2.1
+pkgver=5.2.2
 pkgrel=1
 pkgdesc='Grounding tools for (disjunctive) logic programs'
 arch=('x86_64')
@@ -10,7 +10,7 @@
 url='https://potassco.org/'
 license=('GPL3')
 depends=('python' 'lua')
-makedepends=('bison' 're2c' 'cmake' 'ninja' 'clang' 'git')
+makedepends=('bison' 'clang' 'cmake' 'git' 'ninja' 're2c')
 conflicts=('clasp' 'gringo')
 provides=('clasp' 'gringo')
 source=("git+https://github.com/potassco/clingo#tag=v$pkgver")



More information about the arch-commits mailing list