diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |