-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.2.3-2ubuntu1
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.4
Vcs-Browser: https://salsa.debian.org/science-team/gringo
Vcs-Git: https://salsa.debian.org/science-team/gringo.git
Testsuite: autopkgtest
Build-Depends: debhelper (>= 11), dpkg-dev (>= 1.16.1~), pkg-kde-tools, g++-7 (>= 7.2.0), cmake (>= 3.1.0), re2c, bison, liblua5.3-dev, python3, libpython3-dev, python3-distutils
Package-List:
 gringo deb interpreters optional arch=any
Checksums-Sha1:
 8c10dfb6a2a66692a12decbde6bce9fb2e7cf714 2651628 gringo_5.2.3.orig.tar.gz
 53df5ff2e6dfedcc02d36c8e0931a1abff1b7f9f 16672 gringo_5.2.3-2ubuntu1.debian.tar.xz
Checksums-Sha256:
 7b582b4a774a83bb50e3a5ef1edef9617c85118e4ba13f25620044c444ef5e90 2651628 gringo_5.2.3.orig.tar.gz
 03205a6fce65c21558c7fa1ad6eca26cfa5bc494435b904800b16e7808ab10d9 16672 gringo_5.2.3-2ubuntu1.debian.tar.xz
Files:
 d1e2fe70292a67470ea23fc021aa5b38 2651628 gringo_5.2.3.orig.tar.gz
 3b990767d4ca596c24f5d3f54d8ea2a7 16672 gringo_5.2.3-2ubuntu1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlvb9PwQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9WVrEACzbmvCG5NKn1OZeeU6f01xxBsVHfK7lkvV
rSsawbsuFudZdQeAxCZYhuDQQdUpc3TTndeGjUay5f8rbwlnawdfwGg4Mc3qm0vl
lXEm58+N1rGv9GhGmztdsUtyCAvv2N8P1sMUndqRi3WV72QAkaai7ijPYkq3enxX
2yREJNy1YbW9KX3V/RnmxIhQu+XnGGt6F627bePjH7RsafbTxAaOMT0YQDIWT8pz
GXBW1h4qZpHRHd74XPM/Y5PunxCClmchV7YYW0+WFKIPkggW8QoGnIcVLIdoARv+
8Q+5OPAYTYNeZmPCGV6RRMeXzpfk5B4pkH9EY0BX9x6sXdft4CPw+srq9hyz7d5J
7MF4+zENDWRVEr4Q5HdwHqDYykphMWQPVBOXFGv95B4HzZC45G8jc+jpHdKFxszk
se4aaWNOZyy/U1nLlbHWKglw6UaUu3IyNn5jluIe+PQii1re6063VX4Nax/bHB+7
0EiwudZdMJsXznqyPnJ2i7itwfs9yL4klXKvErhHjF7KXV96qcZHRnTsmOzm799o
I0nehOuqyjHlaBvR3aw6/rqELu8CMb9w8CRNW+4iKsy9lLwNCLctKLBdRTYKFl/X
tzWPeP43/MYvxdY/7879hJlfxVhvM6mnerYD5dzdeTjHLzHZi1cPzmCbHD4IXMIm
n/ZA+bMQ7g==
=M4XO
-----END PGP SIGNATURE-----