diff options
| author | Alexander F. Rødseth | 2019-03-27 16:19:21 +0100 |
|---|---|---|
| committer | Alexander F. Rødseth | 2019-03-27 16:19:21 +0100 |
| commit | 0b1fef7a72f32cf23ab17181a4ff980df94a7889 (patch) | |
| tree | 2e8cd6fc9071530e184cc5110c90b98dab053e46 /.SRCINFO | |
| parent | efd911fce411e5159f1da9d6a0a54b32259b6fc3 (diff) | |
| download | aur-0b1fef7a72f32cf23ab17181a4ff980df94a7889.tar.gz | |
Move from [community] to AUR in connection with the semi-annual spring cleaning
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 |