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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.4.0-0ubuntu1
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.3.0
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++-8 (>= 8.2.0-21), cmake (>= 3.1.0), re2c, bison, liblua5.3-dev, python3, libpython3-dev, python3-distutils
Package-List:
 gringo deb interpreters optional arch=any
Checksums-Sha1:
 69e1a999b96ae399b5354909ec3e90cdd06c7f4c 2822810 gringo_5.4.0.orig.tar.gz
 c613ebd654c11ead95564c47cbb53cb56e7763a6 16288 gringo_5.4.0-0ubuntu1.debian.tar.xz
Checksums-Sha256:
 e2de331ee0a6d254193aab5995338a621372517adcf91568092be8ac511c18f3 2822810 gringo_5.4.0.orig.tar.gz
 dac7a18a6d4cba272b074088aab407480b9b3f3e63006abc2a5dd5a4a53e7b6d 16288 gringo_5.4.0-0ubuntu1.debian.tar.xz
Files:
 242bddbfc7bb136e5b73893bff9fd7d5 2822810 gringo_5.4.0.orig.tar.gz
 d9379c5b528a650cbda8c8c0d3f3af32 16288 gringo_5.4.0-0ubuntu1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl5QOA0QHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9dF9D/47mPmtp4JnkCAbLcHZ8V6FqWOQVRd9umSV
/piLmWdjvbU8pFrd7sGGH4HYPps6+f8rHXZAmW+1viF//Ap1mxcznhyjKaZySCg8
/WHyAPDHoD2nkgkpdT6itITeGqCvTbadv/nkgUjnKH1/wGFJZFrebnbk9KPqny8f
GMgzDIQ00W/Rr15LNI7ZJztTWE12WOrynnXDfNgJ7yH1nZViVST5rDl+nzaTfwUm
gBOas5Na785SGnxVm3HIvW1ASfclt1gwikxS5cZbSrnVETobjNkDfZKhzjtrUNCN
rXuSwVb6g3ipZ88ZHDRSrxkZ5cyazcP08MK7PyXKjyKMy3bwspXMC6lP4FpIiO9L
tx/cUBviJtS5s/5f2yvLtrZTJLI1HynDEZOqNowTyo9LfjM1EhCHz0skIvRLges2
eiBzSkAAwA5BgppTinambgdoR3Prg1uT9R7VFMA4YbJOfuI+XgulP6+Muq5AJnp7
AoQ2Rro47/IjE2BXBW5Hy+SFXPfikDimlZGGQVTVfijtpBNRn5i2zBTHHAh2rTGb
JQ/8tuM/Cm17sQPwpza0C5E+SjloOfPChUyJ6bLyTFPYQ97A1gGxbj1RHq1ATQAQ
x6y4RI8UBtgJggarL9D4Eokwk+e22sw4icNnwOc2Pn9TedVwVEM+Z/nBmeoVm/82
8SdlOG6MBw==
=M+mM
-----END PGP SIGNATURE-----