depends: replace gringo by clingo

2 files changed, 4 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index b384bcfcbddc..50553e52e00b 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,3 +1,5 @@
+# Generated by mksrcinfo v8
+# Wed Oct 12 21:49:10 UTC 2016
 pkgbase = aspcud-svn
 	pkgdesc = Solver for package dependencies
 	pkgver = r8385
@@ -13,7 +15,7 @@ pkgbase = aspcud-svn
 	makedepends = cmake
 	makedepends = re2c
 	depends = clasp>=2.1.3
-	depends = gringo>=4.2.1
+	depends = clingo>=5.0.0
 	provides = aspcud
 	conflicts = aspcud
 	source = aspcud-svn::svn+svn://svn.code.sf.net/p/potassco/code/trunk/aspcud
diff --git a/PKGBUILD b/PKGBUILD
index 5929cb1766f9..54d34e361f2b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -8,7 +8,7 @@ pkgdesc="Solver for package dependencies"
 arch=('x86_64' 'i686' 'armv6h' 'armv7h')
 url="http://potassco.sourceforge.net/"
 license=('GPL3')
-depends=('clasp>=2.1.3' 'gringo>=4.2.1')
+depends=('clasp>=2.1.3' 'clingo>=5.0.0')
 conflicts=('aspcud')
 provides=('aspcud')
 makedepends=('boost' 'cmake' 're2c')