# Generated by makepkg 5.0.2
# using fakeroot version 1.22
# Tue Jan  2 16:48:46 UTC 2018
pkgname = gringo
pkgver = 4.5.4-1
pkgdesc = Grounding tools for (disjunctive) logic programs.
url = http://potassco.sourceforge.net/
builddate = 1514911725
packager = Andreas Grapentin <andreas@grapentin.org>
size = 1432576
arch = armv7h
license = GPL3
group = potassco
makedepend = patch
makedepend = bison
makedepend = re2c
makedepend = scons
