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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.4.1-3ubuntu3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Homepage: https://www.potassco.org/clingo/
Standards-Version: 4.5.1
Vcs-Browser: https://salsa.debian.org/science-team/gringo
Vcs-Git: https://salsa.debian.org/science-team/gringo.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 13), dpkg-dev (>= 1.16.1~), pkg-kde-tools, g++-10 (>= 10.2.1), cmake (>= 3.1.0), catch, catch2, re2c, bison, liblua5.4-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:
 d7dde8764a13eeea07338f3399b36c12badd4de4 2822845 gringo_5.4.1.orig.tar.gz
 f2766c35b8190d778ac8e87c901a57be0a0f8e4c 25156 gringo_5.4.1-3ubuntu3.debian.tar.xz
Checksums-Sha256:
 ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02 2822845 gringo_5.4.1.orig.tar.gz
 8d606271b96cac1c4ab8a4685d9a3c0a4d89118485462ea8febe50f5169726eb 25156 gringo_5.4.1-3ubuntu3.debian.tar.xz
Files:
 7a1e91d024cb1a8db2ed2cdc4b05e899 2822845 gringo_5.4.1.orig.tar.gz
 323bb42a5453fdc0724026a0a7a5a527 25156 gringo_5.4.1-3ubuntu3.debian.tar.xz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>

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

iQIzBAEBCgAdFiEEvmGi93UQ0LG+1oIxWInBerHI2JAFAmHn+m0ACgkQWInBerHI
2JDwRRAAsKWePnoCsNFS2nf+lajR8g2BvwxjVfoHOVx0EnL4n7HNbGkL1iC/fPEE
X9rV8W7Y27XrgOktoXrW27emJFVFaX2DOXuN0BbZKGijLBTjzMu356NtzuZXrEBP
VYUbgI3lBiutAOVLSYOD/kd+eGlSJYVHVt0e+fpfE9rCpIsgWwvypPLRw3n4k7XZ
4v66THjZsmAs4qsGf9IxbIhJlrP6CLIyQTB4XTjs7FOJdJC10CBCt6N7ZpS01q7S
qGN+/yh4p9Tu3uWqUffxq2OG3zN4VhNxtxws3PYyX6N/tU/V6f/woBjKiLmUeFrQ
Yg2jyKh3kJvw4+4oAXY6wx3hju008vptPBJZv5JZf3lRcM49lwewAmOL0epcreMR
Xn6IusBf+RmG+sTRLZi1vPXK6W6+0oO1g1e7sKMDRPJV/6vnhwbaWN648TT/zxUD
ioCAyM0X/wjCRJoBP+8iloDTbcX8NhTGa6erJCPN7Uezj+l+52ifqjOnwN57DnLZ
valcAUEoR+wjToFDm7fAzmC5BpvRoPpbnyo1d13yMEKLCZ38ZDvf6QhQdnBSYpUW
70Z59Vyh2Iw/z8PzmzOI/Gi4euPiea8k4ellMTJmdajm35/ZsB2LkEetUbkN0763
O1gAFH/iGksp0DZvFKnqibMcsn9ez1qUK6pEZKEUxPLZtiR7ncM=
=YmFo
-----END PGP SIGNATURE-----