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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.4.0-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.5.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), debhelper-compat (= 12), dpkg-dev (>= 1.16.1~), pkg-kde-tools, g++-9 (>= 9.2.1), cmake (>= 3.1.0), re2c, bison, liblua5.3-dev, python3 (>= 3.8.2), libpython3-dev (>= 3.8.2), python3-distutils (>= 3.8.2)
Package-List:
 gringo deb interpreters optional arch=any
Checksums-Sha1:
 69e1a999b96ae399b5354909ec3e90cdd06c7f4c 2822810 gringo_5.4.0.orig.tar.gz
 545a0fbb7ddeaf0d721677174a1ff6f4a460fb77 23148 gringo_5.4.0-2ubuntu1.debian.tar.xz
Checksums-Sha256:
 e2de331ee0a6d254193aab5995338a621372517adcf91568092be8ac511c18f3 2822810 gringo_5.4.0.orig.tar.gz
 6bcf591840c86a53fd0b734180fef537f7996b2d779ba220fc6f8a53b274796a 23148 gringo_5.4.0-2ubuntu1.debian.tar.xz
Files:
 242bddbfc7bb136e5b73893bff9fd7d5 2822810 gringo_5.4.0.orig.tar.gz
 ed64023bfa3b4679ef7c23db84786946 23148 gringo_5.4.0-2ubuntu1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl7rUccQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9Ww6D/9vDsRZWwitAUcKeozDfVvPbQefzsCGQlS/
HqO2Ko2LLKhf6y1s7zXCaoPyekSt46bhhQWIkSEEy8WA86ysMsfClxEB4RtvImvR
ReeONaXrk5xT+s6lHWlQk2xSR6xC/5HsHAZBxVk3qstrCBeC5botKf/kNH843BOQ
b4dfFO2URDYvgAltuzSZZiK+zFVuT95yX1bhgSXv0Pdtkt+RqthwoNuAx6wwDbtV
4w8+0dnfzI4JfthqEnbVMeXU5iGQHtewMYzq2uoHRv19CqjQhIWmYeuf/hvLs05g
9BlLarVKKOwiVKJWSyGwleGpSDgDzGdMJNKl3gCaaOjDbSSbZwTeZVk2pIfUUTd3
GKEiTYFgCmTVlFJlCB5m9//lvxHqkOCPj9yiW/w+jQeXgbhhR3F9L8YmIovOW+8c
iCiVKKeNOzahXBbyJMy0ZXMbAoiPo/xZsIh/+gJ+phAxx+tOrPRLWyfFq5JaJPuY
8Er+Kv8RALDS4ecDfr584ejYAONcNfB/smuycXgQR3aTFfB8kNqagZEag3thNmW/
oT85qR7Z/R+/nCjO2v6V0/aYCyF/VjPAJSOB9XwjMpzSFLP3O/YH73Muw7e1MABd
dUupKxOLDur4reNtdJB2oSFLaE33TbYRAL1lAmI2Ay3XNPc4RVN5I8ZyqMzLI5GI
JNQs/IZJmg==
=5jF7
-----END PGP SIGNATURE-----