-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.4.1-3ubuntu1
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
 132343e635bb19edb1397afeb046d40cca44b3e4 23352 gringo_5.4.1-3ubuntu1.debian.tar.xz
Checksums-Sha256:
 ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02 2822845 gringo_5.4.1.orig.tar.gz
 ab4a73e0514327ee7a34365d68a096bce4dc3f894868e639235b39cb7abc516b 23352 gringo_5.4.1-3ubuntu1.debian.tar.xz
Files:
 7a1e91d024cb1a8db2ed2cdc4b05e899 2822845 gringo_5.4.1.orig.tar.gz
 20f9d58a9d1c4c2476436b6f9d6298c6 23352 gringo_5.4.1-3ubuntu1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl/vVB4ACgkQ808JdE6f
XdkZ3BAAiah8kWuySxx5yfU4esR1WAcBBSNS/L7TgYLLU+r+/qbEcCE9q2JjIPfT
N53bld7gU1bqY1TtzYWy6xGMJAZjng6FU8jnPRMV0DKTiM+7Li6welOLwIS381rj
QZ1xgYp9KejrnZTdX37H3Y3vY8/pGjEpTDzomJD0WJV5CzUbA7oLbLOWKVPKMTAI
VRtb+F5Mf+XFuDNyWqX+DoHw6M4lZOSSwWw1zfCPC1hqQPQ68NtFYclarc8HkUei
b+nvWpdJLhCMK4vF4RiBOwqXqg/qIx3q8Ar7JuCuXHiVnXwdd5KpcaHK/vt983Mb
it5KtChKGPvdfv2kte5NtdFJEWqq/uFcZcxtz90gn5Vb2/h82vOSZmVTwzrBI5/C
l9bkm0vjUrWWyGVGBEfpdthNQdLR6w6ItMthMHM2LE6HjhOUSLJRGxGEciwHR/nz
K2LBie58G1bAMeXPNCNJ4Bdq2B3BIfmWk+FHz1Co62sziQxQTfiGytuYGGvDSwDw
J/D1TJg456gSD5zJgsB9lsxMdv9NyVWq7/CdDyFwDvT+5QHzILeUw1yposhAZ4Bj
diJ6iPIbVCBYjsPcvR+w4bn42xEFmzO+SuJUuqQJqIH/Rf3y1qB7mfTXZwh/Hm7B
FEvr087QG/+dg1cxVw41qdQzKEL2E5QqQuGgmyRo6n2j85qCRI0=
=vzTr
-----END PGP SIGNATURE-----