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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.4.1-3
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, g++-10 (>= 10.2.1), cmake (>= 3.1.0), 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
 b3cb1d5e88da599583df6f453a2ea94708cd231c 23188 gringo_5.4.1-3.debian.tar.xz
Checksums-Sha256:
 ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02 2822845 gringo_5.4.1.orig.tar.gz
 ac6de74b51b4275a7b9b0ddb4d1b9c510d5bb1da609f887fdf6187007e948e62 23188 gringo_5.4.1-3.debian.tar.xz
Files:
 7a1e91d024cb1a8db2ed2cdc4b05e899 2822845 gringo_5.4.1.orig.tar.gz
 40ec74909fcc1d3045989d95de3899e0 23188 gringo_5.4.1-3.debian.tar.xz

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAl/p3jYACgkQJ5ffdKZm
mqm0JA/9FmXo+i5vW9Gc5syqgtfhdUtYDb894Rfh5KT4s7ulad0aiAVgLGFCUEBX
GpaLdpYRHsmXZAdinmWaXYuGTkNZd3bXlGQoDbaF/++QV9KCDZCpf0GF6RmYSRHU
cfQTjrMAFnBYLryYTK3BOt9L11dj+KH38HyqjkfmNGn/C86Z2WMt7wXxoDBjjepc
tZMfYjjG0/yAeUKtiVBohkVHuEkUhkXRLEMSdxKQ6ukLKwZF9faNSNYDWm7wbXL4
MvRNFaEhdqMtkKmtx4kVgtGziweCbuohLVOmLgJxDGx94zDkdg7z6XDaN8VTDBYi
hlfZxhPd2dVsc4ral1DySM7Db3Kl51efXf7r7QiOMtiHre9eSpaH/w5f0XdKty5P
MrEvxUn/K6a8dM1B2S8XcM00KhP/9bW9qTZZGKWCd+qMCt75cLjMStCIC5D9IdmK
Vea0Ngb+Iy7hq94mHU4OfT7rtbaPA3Rg43H5iQq3U76Mpfuf0efFlqC/qCkX/gk+
dp7E4FLoIrtWMoZjAhgYaWf0XOuKm7sRIPTyodwhmYZyPUD5Ai2Hb4mmHu7nv8Ox
WHHGr5unfmnBW2vuMkBdbG7mwyPmgw2swz0a2AGAk+dPjFWMHiLEDHenNWhJbTf5
gt/ggwtbUUvTahVKKJ/klYs39YSyB6JL46usIu+d7AM3PMDicjI=
=Uotb
-----END PGP SIGNATURE-----