[arch-commits] Commit in clingo/trunk (PKGBUILD)
Alexander Rødseth
arodseth at archlinux.org
Mon Nov 20 14:18:57 UTC 2017
Date: Monday, November 20, 2017 @ 14:18:57
Author: arodseth
Revision: 267592
upgpkg: clingo 5.2.2-4
Modified:
clingo/trunk/PKGBUILD
----------+
PKGBUILD | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-11-20 14:18:23 UTC (rev 267591)
+++ PKGBUILD 2017-11-20 14:18:57 UTC (rev 267592)
@@ -4,7 +4,7 @@
pkgname=clingo
pkgver=5.2.2
-pkgrel=3
+pkgrel=4
pkgdesc='Grounding tools for (disjunctive) logic programs'
arch=('x86_64')
url='https://potassco.org/'
@@ -11,9 +11,7 @@
license=('GPL3')
depends=('lua' 'python')
makedepends=('clang' 'cmake' 'git' 'ninja' 're2c')
-provides=('clingo' 'clasp')
conflicts=('clasp')
-replaces=('clasp' 'clingo')
source=("git+https://github.com/potassco/clingo#tag=v$pkgver")
md5sums=('SKIP')
More information about the arch-commits
mailing list