blob: dbce551f85ff6432cc594bf518b56dc65816852f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# Generated by mksrcinfo v8
# Wed Mar 27 15:15:38 UTC 2019
pkgbase = clingo
pkgdesc = Grounding tools for (disjunctive) logic programs.
pkgver = 5.1.0
pkgrel = 1
url = https://potassco.org
arch = x86_64
groups = potassco
license = GPL3
makedepends = bison
makedepends = re2c
makedepends = scons
source = https://github.com/potassco/clingo/archive/v5.1.0.tar.gz
sha1sums = 6025b97e64de4f938c76c98d2e3b6e0a0c366c1f
pkgname = clingo
|