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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.2.2-5
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.3
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
Package-List:
 gringo deb interpreters optional arch=any
Checksums-Sha1:
 0eafe7832211601f0ecb30b515fff9abfe09d38f 2642685 gringo_5.2.2.orig.tar.gz
 893db4e04f120d831cea4b046f935a7e4dd581c4 13912 gringo_5.2.2-5.debian.tar.xz
Checksums-Sha256:
 da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf 2642685 gringo_5.2.2.orig.tar.gz
 aa72ac8ef54e94b98bf7560238b5114c0d60540e15f4f104458375c20ef7e4d8 13912 gringo_5.2.2-5.debian.tar.xz
Files:
 d46a1567f772eebad85c6300d55d2cc3 2642685 gringo_5.2.2.orig.tar.gz
 a3162c653e668aaa8d61c418135304a1 13912 gringo_5.2.2-5.debian.tar.xz

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp4AHsACgkQJ5ffdKZm
mqmBMhAAkKfzjB+Y/ceSM5BqeLXYEDQ83UBXeWjJpPJGdrh/p05x6Qz+Ny46N/Nw
l8qkV2dXruOIVNZ9RidFDrxiyUF9gzKX4LfVRlhFcD813K9gAV6ifRBxby0BKhfo
cOuE+gj8Fo2+fsgwiOkwVKKHwQkyd/VSX14Q0sd7On7RGkdvN0fh/BAruuRX9Zbg
spW9dUqq4SPR/Gugw1v+5VPk1B+V/YXYO0v8/FD8F/dJC505CighC+qlK0JM1kZ+
xU7z+d8VgFYb+eWm23WpNFRc+1OEcoXor5o9eLjmFTgbnA5txF4gLTaC/n8ULQ8O
/EiMKx+KzrtXL/oGpRbbD3Ds/IQw8g/5FT/tQQL0EC76ZGiji0oZKa5ukaEOG/mw
rka/wpfHmFqDudz89waGSzI/tfaqePIE3WDm+4ttGt/eASZu27F3D+CIu5M5LqOE
SbLVj7p0BHtvggqpPCUK/7r1i6MoLiTLMjEFtECnAQi1g6IdO2ldbTowNXyOY+oh
4ATiWgIYRqvmFs97AXq8yqcnzoBz16rWk6cAJxi/E3kJsmx54ESVEZvJIzWTg5t/
vV96wHI/kWuAi715A4qtAkhbpjq5OjMVrnCX6KJqJXXxODsHr+Fs5U8IlEHPs43M
9A7/P77nGOLm8P4egl/sx5J2wNFVT7wnK+AqJP+NMvM6gwow16k=
=67Oq
-----END PGP SIGNATURE-----