.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

pkgbase = clingo
	pkgdesc = Grounding tools for (disjunctive) logic programs
	pkgver = 5.7.1
	pkgrel = 1
	url = https://potassco.org/
	arch = i686
	arch = x86_64
	arch = pentium4
	license = MIT
	makedepends = clang
	makedepends = cmake
	makedepends = git
	makedepends = ninja
	makedepends = re2c
	depends = lua
	depends = python
	conflicts = clasp
	options = !lto
	source = git+https://github.com/potassco/clingo#tag=v5.7.1
	sha256sums = SKIP

pkgname = clingo