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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.4.1-3ubuntu4
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
 9fd8ecc9fcafd5c227410dcff87a0303daa7531e 25172 gringo_5.4.1-3ubuntu4.debian.tar.xz
Checksums-Sha256:
 ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02 2822845 gringo_5.4.1.orig.tar.gz
 5dd72efc413459de770e4e3d28fa84ab6b64a86df587b9b01d10242d2b798d61 25172 gringo_5.4.1-3ubuntu4.debian.tar.xz
Files:
 7a1e91d024cb1a8db2ed2cdc4b05e899 2822845 gringo_5.4.1.orig.tar.gz
 7ababc632d9723f0833a330ae538d818 25172 gringo_5.4.1-3ubuntu4.debian.tar.xz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmOoq6YACgkQr8/sjmac
4cIpfg/+LJPlQDX5RrVYahwcKdk+eSnruHJj8oJdiB9wzgLIVk5EkUY+Ci7lCO3o
LEOfnvo9DUHRrUGPI55+4Z59gVDGyRwGKkyhUWDENOO/3HCTeeEOidefuzJCYprF
HCFJmkFJ7B41ijrYMgldEYi4Wgx6j+y9WE6/H+KZ67VHUXNYEUeGZiInz5z8kSLu
5C+EI92abZSpPuAcnbTmYJLlPKja3a5/emd3DzcPs7jo2fdnjgYuyrqraScso4UW
Grs72Ry/mN6iH+axN8Y/w9varB7Qnch84YpfmNTHf/9TrMvG4F3EW96C65Jji+dJ
a2sYBqo+/LOFkWBAJPhB1CaYHkctfd9lb0OqxbqeR8zbHIF2sLJTdlXDnF+ge8p5
XV23szDMqVPKhWGYhui5oJQbbqgGK09cfn6z+oCfK6noZe7dWLYayDSw4lymT8HE
vSNmpKIiwmUSEeAUVVSrPc1SKW8s6UfKg7sOhi03/B3J+vDizPAwpDrHIOsAoh6T
aINSqKkR49ZgzmPJIorJcXHa7GSjHYNQwOTiHNy5lWgW7VdRoApwPfJqBhBZxHAC
oPwfFAZSo2oec9YwljPq5M4NhYPVFXspRUDIV2QDQcKMxFB2F/qYbWkHJvyyfcpw
PdjB2oq/rHDteLcEknbR4a4JXmv3P0trCAxxh+WBdSuFancukxE=
=yodR
-----END PGP SIGNATURE-----