summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO4
1 files changed, 3 insertions, 1 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