<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.2.2-5
Maintainer: Debian Science Maintainers &lt;debian-science-maintainers@lists.alioth.debian.org&gt;
Uploaders: Thomas Krennwallner &lt;tkren@kr.tuwien.ac.at&gt;
Homepage: https://www.potassco.org/clingo/
Standards-Version: 4.1.3
Vcs-Browser: https://salsa.debian.org/science-team/gringo
Vcs-Git: https://salsa.debian.org/science-team/gringo.git
Testsuite: autopkgtest
Build-Depends: debhelper (&gt;= 11), dpkg-dev (&gt;= 1.16.1~), pkg-kde-tools, g++-7 (&gt;= 7.2.0), cmake (&gt;= 3.1.0), re2c, bison, liblua5.3-dev, python3, libpython3-dev
Package-List:
 gringo deb interpreters optional arch=any

</pre></body></html>
