2 files changed, 4 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index da84481fd4c2..b6f66c02a255 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,3 +1,5 @@
+# Generated by mksrcinfo v8
+# Wed Oct 12 21:46:55 UTC 2016
 pkgbase = aspcud
 	pkgdesc = Solver for package dependencies
 	pkgver = 1.9.1
@@ -13,7 +15,7 @@ pkgbase = aspcud
 	makedepends = cmake
 	makedepends = re2c
 	depends = clasp>=2.1.3
-	depends = gringo>=4.2.1
+	depends = clingo>=5.0.0
 	conflicts = aspcud-svn
 	source = http://downloads.sourceforge.net/project/potassco/aspcud/1.9.1/aspcud-1.9.1-source.tar.gz
 	sha1sums = db1ce85814699fb77aff41f4f6df0721d6851756
diff --git a/PKGBUILD b/PKGBUILD
index b5780a03c1d0..0dc9df7af339 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-svn')
 makedepends=('boost' 'cmake' 're2c')
 source=(