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

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


    Date: Monday, November 20, 2017 @ 11:46:09
  Author: arodseth
Revision: 267544

upgpkg: clingo 5.2.2-2

Modified:
  clingo/trunk/PKGBUILD

----------+
 PKGBUILD |   12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-11-20 11:45:11 UTC (rev 267543)
+++ PKGBUILD	2017-11-20 11:46:09 UTC (rev 267544)
@@ -4,15 +4,15 @@
 
 pkgname=clingo
 pkgver=5.2.2
-pkgrel=1
+pkgrel=2
 pkgdesc='Grounding tools for (disjunctive) logic programs'
 arch=('x86_64')
 url='https://potassco.org/'
 license=('GPL3')
-depends=('python' 'lua')
-makedepends=('bison' 'clang' 'cmake' 'git' 'ninja' 're2c')
-conflicts=('clasp' 'gringo')
-provides=('clasp' 'gringo')
+depends=('lua' 'python')
+makedepends=('clang' 'cmake' 'git' 'ninja' 're2c')
+conflicts=('clasp')
+provides=('clasp')
 source=("git+https://github.com/potassco/clingo#tag=v$pkgver")
 md5sums=('SKIP')
 
@@ -40,4 +40,4 @@
   DESTDIR="$pkgdir" ninja -C build install
 }
 
-# vim:ts=2 sw=2 et:
+# vim: ts=2 sw=2 et:



More information about the arch-commits mailing list