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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.4.0-2+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.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), debhelper-compat (= 12), dpkg-dev (>= 1.16.1~), pkg-kde-tools, g++-9 (>= 9.2.1), cmake (>= 3.1.0), re2c, bison, liblua5.3-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:
 69e1a999b96ae399b5354909ec3e90cdd06c7f4c 2822810 gringo_5.4.0.orig.tar.gz
 7dc03813604088c6a4b0cf3e2ca208c96ec703f1 24184 gringo_5.4.0-2+rpi1.debian.tar.xz
Checksums-Sha256:
 e2de331ee0a6d254193aab5995338a621372517adcf91568092be8ac511c18f3 2822810 gringo_5.4.0.orig.tar.gz
 298e5da4d182058634a0914070a267efae21f6f4f840e78f4a46d38f1d54669a 24184 gringo_5.4.0-2+rpi1.debian.tar.xz
Files:
 242bddbfc7bb136e5b73893bff9fd7d5 2822810 gringo_5.4.0.orig.tar.gz
 34352350a0407fd75c98d8870e00c54d 24184 gringo_5.4.0-2+rpi1.debian.tar.xz
Dgit: d786aa66c40678ecb4728588694fcb36b33d7a34 raspbian archive/raspbian/5.4.0-2+rpi1 https://dgit.raspbian.org//gringo.git

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

iQJGBAEBCgAwFiEEuEPwOOSEhOs5mQxFh9688uZ+mQUFAl6UeiISHHJvb3RAcmFz
cGJpYW4ub3JnAAoJEIfevPLmfpkF7jIQAIbSguWxgfPCo4eSxcq3tHAaj/uSVA9p
sgLNONIZ1aNRf5LrRAN1/f8t13DQBLObQk6Ql0SLNvQIBhwg/5ZzuFIsqix4Y0Go
9z8iNzZ1+czbZuNM4yeRRvaLXCp/VCzJUTIuKvFnE9xLasqxdnuinGxhTuY05ogt
FlMB2MjYGEZw+H3xLBrFgmS6s41eam+fJMMZr59cCXf0+jzPcKCEH/+jN3eG3UGn
bMHnJaX+5G16hovUb/qX3JPfsYn00FeCgw+RSOArBmkiIhw6EqzIYmT/s/SM4Ewb
A4Cz2shjomtgJ8tkXm3vVLTpv7oNyo5FGcF2ISAT37EzygpgKWRoPUoBDxIsh2Up
Qr1302vfL+c0X65y2+6uwcSAU5oIh68N5NkHilX+/VOl3tNwREJvgdOLLizCVm6/
XgQP8FnNgjrCan7i0l7QgKTRzww2ZhtRmnw3Ei+j83gpl7Ph+FH8W+vxnt237AvF
eP/3i+YjEIKpNKJziAP1EjbkOARRFuEKFGzmb4PgGfAEn74Is4CXnhhsI5g/xU1W
29kwmAkalgpM0NcY8jOgHse+7b8+PkRJUJvOcgKo9FSVRoStfy8OYqXW5haESdM/
K6/Xmg4sncyJwBZVLNRrGT9XsL0eVaHNXxsghWSN6b0x1GZUN9yHXouk1DAxMLGf
zj8BHldThr5m
=83x0
-----END PGP SIGNATURE-----