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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.6.2-0ubuntu3
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.6.2
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
Package-List:
 gringo deb interpreters optional arch=any
Checksums-Sha1:
 5314748bbfb56b312abb2b7c5859191f7525632a 5079018 gringo_5.6.2.orig.tar.gz
 c1c86fbbed8fd4ea1c503fb92c8fbd3e5422ab43 21788 gringo_5.6.2-0ubuntu3.debian.tar.xz
Checksums-Sha256:
 81eb7b14977ac57c97c905bd570f30be2859eabc7fe534da3cdc65eaca44f5be 5079018 gringo_5.6.2.orig.tar.gz
 70e8def5238e1e3fddea7edfe85527dadc733f8c1885e2faf8313dfb5631d949 21788 gringo_5.6.2-0ubuntu3.debian.tar.xz
Files:
 1f3a4e4ae814f62fffbccb57f715d426 5079018 gringo_5.6.2.orig.tar.gz
 807b0eea4f513c895c62d784fd92685e 21788 gringo_5.6.2-0ubuntu3.debian.tar.xz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmW6HUMACgkQr8/sjmac
4cJdPRAAhtdOtJIsshk/onsc/osu8Kb6dXn4nyactczpmXiyQJzNRxWY3oFE6LIk
9kLLNyI+h8NAUcWhewsgobpCb6iag07AR4ZHc5oKdiWD8VRwg67kIuqUZ2N1/eby
7xCZyknUmf7RPw2vGw53Cv0FSrGPxJrs0A4wjppM7c1q17IKMX6Z8Xp9OzL36hsf
KKq1zoF/Db2ZcjPrzznHiP7oEk80smSok+qt7EQ0Lu3fkyjgIszqM/XYaUJaQ/RN
H03zKJwrMkPwAdLuTrks8rm7xHqLnrRPXpCWl8T4Mfkx65IzR4MQCSiD6F7YnOxO
yj8gPPxGTcVTAzmyeH9ONfRsafNUGSjUD04Vp/xaEIyPleyFrwiAQplPeXre+wEG
Q6Ewiwa7cDIqfwMnypp6rOFvCZjbFH+04tZb7EutW1RJH3V6+r/nhft1Tp//LQC2
dGX182yIRvzOetYhxkUiYO9iWMnFGZhjE6O4rNtR2WE+iUQwDSUuBkT9Zx/LX8k1
f0MZGPilWn6YUymqFbt9auXqhsQnr+kgZ1Jrmn5y7qTJybosnuA7IIzsRoDc8lnT
INFixYvNuuYWBK9cPFjfTtvZnNCMJiutxa920oz2kFjPchPT64DOYlRqbVcTZWLC
HLdQQaDsxWbCsLLLIPBCHUgaYBbkB8NiROpXwo71LMsWVhFBGnY=
=KXuk
-----END PGP SIGNATURE-----