Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.2.1-2
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Homepage: https://www.potassco.org/clingo/
Standards-Version: 4.1.1
Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/gringo.git
Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/gringo.git
Build-Depends: debhelper (>= 10), dpkg-dev (>= 1.16.1~), pkg-kde-tools, g++-7 (>= 7.2.0), cmake (>= 3.9.3), re2c, bison, liblua5.3-dev, libpython2.7-dev
Package-List:
 gringo deb interpreters optional arch=any
