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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.4.1-3.1+rpi1
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, 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
 ea79794104566304b3d214ebd32dd041b26cb359 26452 gringo_5.4.1-3.1+rpi1.debian.tar.xz
Checksums-Sha256:
 ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02 2822845 gringo_5.4.1.orig.tar.gz
 c63493a09333401680c876d8e46f758371f16adb47c5e430322abd203b3f66c1 26452 gringo_5.4.1-3.1+rpi1.debian.tar.xz
Files:
 7a1e91d024cb1a8db2ed2cdc4b05e899 2822845 gringo_5.4.1.orig.tar.gz
 87728e1b50ce03b69e640a04bfda2618 26452 gringo_5.4.1-3.1+rpi1.debian.tar.xz
Dgit: e7b391e379e1ece59ae65ca29731e60afe176cee raspbian archive/raspbian/5.4.1-3.1+rpi1 https://dgit.raspbian.org//gringo.git

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

iQJGBAEBCgAwFiEEuEPwOOSEhOs5mQxFh9688uZ+mQUFAmOY9i4SHHJvb3RAcmFz
cGJpYW4ub3JnAAoJEIfevPLmfpkFzL0QALO9o2Xh2Ox/+vGEyYKMMysmrjRfl+5Y
mbeQvxA/fSKFqU5mFgxLYwaE0wBCNw3fuwfsXzUMpgzljtgevSku/pGqYVkdxDUx
4+6JKlst+RITtgvDOhxhA3R4yghgVgNDEpFqj+LPqmaHn9K/Q0qlWrnyO9eFmtaX
LvVF3xoRcStR2L4JYNV7SNJDUaz/1oKXGYnRI+NOw89jVF81rYfMiRd3SgHH5ZRS
KqugHxKTyM6N0eaXCdiz+Ut1MvuXmPeQ/q7dbdmOnH06eYiILinBeaT8RJ84zxrS
mzAhZGdF/g5KZp7TdgoyEcXuVWP4jtATf1BsYA4g5+Re15meqglnYYkIbEnOAM/y
gKhrMnxJTiZFiaWB3YtaJjnw6GDxMTcTLE4wyk9lgazzYv9zWNLAAU+DXao9HfiR
P09oym9DHXz6v2XTAlITmVqfyPPcxbs1YXN8FFJPk8y9kq7LJciFmtMh1o/KOs85
pxO84pJzyMuTbkWw6SO5Rsm7PWWz383Myu/Qwxmbx90ZDXbOwZwPuOuN19pdoH8p
VmBimDhyKjs5SZqSusQx1LPxz/mVUszbX9seMroFM9DilSIB+Arhxfs+i4vRJwov
Mr8czMH9LupUENeSZO4J3/hIo3glqgjp1wejModrUAZks6AZxCINtBNOPdhUNjqp
6L3uz0jHV77d
=L2dg
-----END PGP SIGNATURE-----