diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 24 |
1 files changed, 14 insertions, 10 deletions
@@ -1,18 +1,22 @@ # Generated by mksrcinfo v8 -# Wed Mar 27 15:15:38 UTC 2019 +# Wed Mar 27 15:19:17 UTC 2019 pkgbase = clingo - pkgdesc = Grounding tools for (disjunctive) logic programs. - pkgver = 5.1.0 - pkgrel = 1 - url = https://potassco.org + pkgdesc = Grounding tools for (disjunctive) logic programs + pkgver = 5.3.0 + pkgrel = 2 + url = https://potassco.org/ arch = x86_64 - groups = potassco license = GPL3 - makedepends = bison + makedepends = clang + makedepends = cmake + makedepends = git + makedepends = ninja makedepends = re2c - makedepends = scons - source = https://github.com/potassco/clingo/archive/v5.1.0.tar.gz - sha1sums = 6025b97e64de4f938c76c98d2e3b6e0a0c366c1f + depends = lua + depends = python + conflicts = clasp + source = git+https://github.com/potassco/clingo#tag=v5.3.0 + md5sums = SKIP pkgname = clingo |