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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.4.1-3.1
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.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, 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
 798850eb7f4ef4045682c6ba7fb6dbb88b0677f1 21592 gringo_5.4.1-3.1.debian.tar.xz
Checksums-Sha256:
 ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02 2822845 gringo_5.4.1.orig.tar.gz
 3b40f14945cd7d7e614200da06c501372680c7b555032c6fe601f654f50d23e9 21592 gringo_5.4.1-3.1.debian.tar.xz
Files:
 7a1e91d024cb1a8db2ed2cdc4b05e899 2822845 gringo_5.4.1.orig.tar.gz
 28fbdde6e24ae0e1e9b7e9d7d67af433 21592 gringo_5.4.1-3.1.debian.tar.xz

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

iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmN4utoACgkQiNJCh6LY
mLF44BAAqt9sFtP62sltlf+mMXeS96Mc3zE4gKM98w4LwvcCLSLLy/HVNfmFHn5Y
Wq1OkLGvKKWSgPW6pTGOe1S4cf6L5pWpWoK5AjbloyvOIFjmcMLofAT8xmpY8XUc
Y7sd7DITAJlnBYiaHEjGK6zch79K6wdFY9rGXE32sJkfNmFhGFmiGR3NGfBysJGN
Ob46aoKdkXcLtGqCTW0Bd1Du68RR2ze/DZdFEJdSzSW2f+ABja745ljPP43GwrAy
sDvzWbz3wCinIgJATZ+XgbnRbRRuXdn/cHD+6u/aSOsN3VOK+/tzEs3g+ucd01wK
4EdzLlOdIOuI1LNns54HvWhUj/Zs6UJ3ZeC4+6BA6pzrIuQsE4RyXYyoNtpppXS8
zAMI1KRntgme8XsEz8+77K3JH9d5INrru0hjBPLZrBDwkK/0BnDkhT3X4FjKIFpg
ux8mHOoZ+tBMxa3n+IkeQMU+haxofZ8g0OZgS0vuKZC454glzmfADb7G99IrK+ok
sXyZZnByYxSRUDIEzPrFOgvEm5xXj2uk4141Ma+pWQkIACcE5+qZA3Xzf0/pnjTp
BNiQ7QX33olc5jNi4lMmQAS+Xd/Xcs4UixEMOnElKzM5oF9ifGxA06EXzTxAM3nR
pmQyC6LQlUxhWryCxuuxxYIcKpr4Py1Ob7KHohbTT/MbSxr1qCE=
=EGqM
-----END PGP SIGNATURE-----