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

[Alexander Rødseth]

    Date: Monday, June 5, 2017 @ 20:52:26
  Author: arodseth
Revision: 234423

upgpkg: clingo 5.2.0-2

Modified:
  clingo/trunk/PKGBUILD

----------+
 PKGBUILD |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-06-05 20:41:33 UTC (rev 234422)
+++ PKGBUILD	2017-06-05 20:52:26 UTC (rev 234423)
@@ -4,7 +4,7 @@
 
 pkgname=clingo
 pkgver=5.2.0
-pkgrel=1
+pkgrel=2
 pkgdesc='Grounding tools for (disjunctive) logic programs'
 arch=('x86_64' 'i686')
 url='https://potassco.org/'
@@ -11,6 +11,8 @@
 license=('GPL3')
 depends=('python' 'lua')
 makedepends=('bison' 're2c' 'cmake' 'ninja' 'python' 'lua')
+conflicts=('clasp')
+provides=('clasp')
 source=("https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz")
 sha256sums=('57d8979b0972a091e1921309ca9ba9c18dd0cf83afcfb1586a8c0bff54ed8b9b')