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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.4.1-3+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, 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
 f6ea25c1d1c80eb2aa84e8cb1a374e253a24931e 24348 gringo_5.4.1-3+rpi1.debian.tar.xz
Checksums-Sha256:
 ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02 2822845 gringo_5.4.1.orig.tar.gz
 0c6fc6c576d35f171a48bce6b77adc81d74103eb8f534c6a583963603a744f3e 24348 gringo_5.4.1-3+rpi1.debian.tar.xz
Files:
 7a1e91d024cb1a8db2ed2cdc4b05e899 2822845 gringo_5.4.1.orig.tar.gz
 e10c15844241f89b9828ea04f8ca2b6a 24348 gringo_5.4.1-3+rpi1.debian.tar.xz
Dgit: 914572b902c24ef6f202d315642a86050be4b515 raspbian archive/raspbian/5.4.1-3+rpi1 https://dgit.raspbian.org//gringo.git

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

iQJGBAEBCgAwFiEEuEPwOOSEhOs5mQxFh9688uZ+mQUFAl/szqISHHJvb3RAcmFz
cGJpYW4ub3JnAAoJEIfevPLmfpkFt5cP/1Tn73iKa4DmHTXwg79GEMKX/D1jK6ib
zvKeo+QNmK3G8d6UTkmTzn5yMLaweSZGKdC4BdrJPVHWKxW7WPgu4yiJgoOOmc60
DuD7AmyCI71Qb7mfLpvUt6j69m5mXk2GpNKekLtrkehS5sK9RVqLN8A2PeDnnIWg
n8zuUC4kwyX/ftrakv/0mrsFPNwPV3jq60I6aRhZsBLX0RZMFJvI0SzFdlySzrrR
5rqDZZ55vgNaBC6cARjbZ6ivCDATe4ArTiIc1wQ+r8xn0Eczux5FDek/jhggw3IK
8x7zZPtD5JJFX1ocMKkDzrU/99f1Io+cbekYPoEbrQdHVqY5Gioje3Ln5E9LUVwu
fXYfCpQG/cUovum5e5FdScZnyP7mxh5a9oxZlJGdZMJBnf4IafqAdcBeFjxDyJiR
L+v6eGbiEeRxWygtD3KXZo48Xh5L/pPl6dwSwn0WAKnFsH+dmKifE9KtayBuXtp+
twWnqAVspq0F+FI1pyz/Gg2leYntcQlf/TPP4rl+3MsZA4KUvPOa6znON6pRsLVG
bjzwAivwlJxAjOYyApLMAMBFZ27/2+MdRVdjo0nw6mXgKp7em+K6dTkFJvpGv6jy
MjDfsXurk75xhD94FhcmwUgu5PCKNh4kgqKmhG5Ri/oIrPQEhz46shpUz6OKQRKF
nbHr6AFAWLQD
=HeEp
-----END PGP SIGNATURE-----