-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.3.0-10
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.3.0
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++-8 (>= 8.2.0-21), cmake (>= 3.1.0), re2c, bison, liblua5.3-dev, python3.7, libpython3.7-dev, python3.7-distutils
Package-List:
 gringo deb interpreters optional arch=any
Checksums-Sha1:
 1def58e947da5d28df48c6ecd822afd0a6b89a99 2684848 gringo_5.3.0.orig.tar.gz
 7a62ba3608414e23830e5766b65bf70d6ad64008 18496 gringo_5.3.0-10.debian.tar.xz
Checksums-Sha256:
 b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976 2684848 gringo_5.3.0.orig.tar.gz
 d99a193b28294456bcc8b0ed4c7a89af491d4222a7eb7d939d9a4ed4161e4cf4 18496 gringo_5.3.0-10.debian.tar.xz
Files:
 05678e1c194a1ad776174d311d900738 2684848 gringo_5.3.0.orig.tar.gz
 736088a475de0c6b78216d02a166491c 18496 gringo_5.3.0-10.debian.tar.xz

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlx6PTsACgkQJ5ffdKZm
mqly6g/+IAVYVkVubQPOzBCG4xFIFw+3GZvxt3di4HHAozMv67ivJr5QRDR+QPSU
hEBY/oWb+aXxruYXzVmwWq2SOYzMLsC5EjkuOqTSLhLtzt/9sp+4Sync0kE5+wk2
SsJV5ZEUSUYhnRgKuFAc9CKCzZfW1yaPEfqsjcZQG5u8u81W/ht3TU8zwtiJJcUn
/1Bc5p4DiL6tG1wLM+smqo7UGSCxI5FY5C1ApxZOvdzme/8ZZRGfygYcaBjgqRi5
woDVHNFnkfkRauzmGEdKYuF8VKj60Z4RScP7qQBAlAf1TjVQwqi36xmuaHzPgEkD
RdmFoq00+R3dxhWzMoubKL0/eZOJSWYR6YQM648l1RBz5RYTVMK8WmYtN7DFpDBV
KxYCHwB9UYRRHJuP4jug2eQkHiVurXTtbCb9hWUcpW0PInZDfqyhoX6mO8PUsUHC
kAZK2PchVj7qYk5f0qyQKoywMUgH9aYy7vG0LgX0fNwPPQvoA2pomoOImUuPNPYq
vFN133AamrWikzwPuwNshgMw2WQfZ0d1Y91RhFW3YPkIsGhisykUFkEc7g/Nc394
iKsQpVstKNRhnNMlFGOqOEkdJsjdPD0URXMh/9sFpQW7O6AV95kcVtqqKWJVnNqL
I0+QzTfKPscFuwv8M/D5iaih1i6QjfSF2BX3eTWfcatM5Iu3yWA=
=PCyV
-----END PGP SIGNATURE-----