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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.4.1-3ubuntu2
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
 8f70f717795dc19d1aa7c284d5f312b7225d1694 23420 gringo_5.4.1-3ubuntu2.debian.tar.xz
Checksums-Sha256:
 ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02 2822845 gringo_5.4.1.orig.tar.gz
 bec4d91de7d8c3293062851f5b3085fb0e3206299688468e3ba2d67a3add5b77 23420 gringo_5.4.1-3ubuntu2.debian.tar.xz
Files:
 7a1e91d024cb1a8db2ed2cdc4b05e899 2822845 gringo_5.4.1.orig.tar.gz
 bb045a77f4515f86bddbf35322d48407 23420 gringo_5.4.1-3ubuntu2.debian.tar.xz

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmHge6gACgkQr8/sjmac
4cLv/A/+MxSVU4tPQdtT31ClkLC+Y8EJrMkMncAsrsjpTvIMiWF99pK09ZSyEk6Y
pMFy/5AVTTUmXMS9L1ihXd0AgKojZhfQMzFU5ZzC1a0BGSrredqCfrMlKOZictPE
78oRHk0/CgDSBuDb1NeERhmweQTAvUcwKGOxUN/prK3CMdhGh2PuOjSb7otb+ba7
ehXWbgqAgzTt5iTJmo+r8vZCdf84bYzL5IBkOeOGgDBg1j6X52Ku2Na8s7Rba3az
FBUxRz3z0p/rKX6YbXwpTiRkuGyzYzWXhWA1dDnbrJT9CWFYISZF028nSJX1qA2r
nElUYRDjRUEcVW8IeqP2LBAeE5cvS9Rg2Kqamlk8XY5VLiaG6+q51zRPMDDcZ1sD
WNgtnMNVUwtY1S1Ke8mBjw72WoFzGeUCyTYIwRRZV6zT84LZhEgFQ1phzwhV4ViI
u2HA2yDLBR8I5SJPqpqEg+5YWiu4N6ool/gTwykC1q412rzXvte8GIJIpjssre0s
Iu4wOYRZI2qjI3BSmAXzv3DwrqpvgGYvMxrvUZp0gK3Mh5UlAiGNQNic4RpLpaoH
7IF3efe1qx35L1ma5Xb6BfgqbdHa5XSILdhfwyi6zhcCzw6mrs+M0S2xoYTfYXyO
d1ZJChmnD0PCSwFjqmE3GAU86Y6c3D9rLvi7ZOouTrpxFc96Pw8=
=ciSQ
-----END PGP SIGNATURE-----