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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.2.3-2
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.1.4
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++-7 (>= 7.2.0), cmake (>= 3.1.0), re2c, bison, liblua5.3-dev, python3, libpython3-dev, python3-distutils
Package-List:
 gringo deb interpreters optional arch=any
Checksums-Sha1:
 8c10dfb6a2a66692a12decbde6bce9fb2e7cf714 2651628 gringo_5.2.3.orig.tar.gz
 4d9e288b7ca1a24a68f9bf94dfc8bba2610c5224 14848 gringo_5.2.3-2.debian.tar.xz
Checksums-Sha256:
 7b582b4a774a83bb50e3a5ef1edef9617c85118e4ba13f25620044c444ef5e90 2651628 gringo_5.2.3.orig.tar.gz
 993c92678a7ba5f89ae632b43e7782954a9a36a9e10faf1321f564d95fd1d34e 14848 gringo_5.2.3-2.debian.tar.xz
Files:
 d1e2fe70292a67470ea23fc021aa5b38 2651628 gringo_5.2.3.orig.tar.gz
 911642e027c46d93ae130db2c6426154 14848 gringo_5.2.3-2.debian.tar.xz

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAls7AjEACgkQJ5ffdKZm
mqlFWxAAiLLyrBLvSZEbhwhu6OmoY8fknJhv5R0Z56aSJ0ePM/OKblaan6AWDYx+
MutAjQPSR1OiQc2xf7EuY8nKhOEEFkXAMMcJinhkA6WUGXio/A1608Lj7XhHXjuQ
/2KRVXusaD7z+wONSYlJN8fW98eqLCD2et5T4QdiQVH5TV9lCg/+xfGQUjklCQq0
CvTztfMHqSzRmSHZhS4aExTROMkDmk/MSao8NG/FzkqZ0zLa60E7A6pK5DKoarOJ
qS8T2JMDaLMKgbwaLJUd4K/YFXayEJ5Wl/RXmaCLmSeGKgnihBXBukh6aLQOqKnu
INioryLZnJ6Q3qbYC+GAsv33POXKwoO0yqUZ6WjJ65KlmNx4TX/fER8WbKRQw+Cz
b7KIJ8jZiAcxBiRJzArqwEE41aae4YqvR9WN/C207Hm71C2YlCrcNZsf/i4F0dA5
CJX6rCznpnNzKTnoXNIhjpB1nr8dbISj75d11mjpITQms0fNPvBG98JvCtiBTo3O
7niYalMw/Fbi1PJ3Adkj3Ml9AlPPUJ6wQMefwZBcBZLuTPLPz5UhRNwbv7iahFfX
di9UkLU3/75ivSqFIc1DD8vKTWPjxpBkUi6OTLdHUZS9jAw7XFMEyqYuFYAKtwnl
SIXJUrUIESDbPo9zI7mc2kyTv+Im4pD7XzTXF4xZO5i3mLRJhR4=
=R3VX
-----END PGP SIGNATURE-----