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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.8.0-1
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.6.2
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), pkg-kde-tools, cmake, catch, catch2, re2c, bison, liblua5.4-dev
Package-List:
 gringo deb interpreters optional arch=any
Checksums-Sha1:
 2dac2c09f81397e7182bb21915f6417cb4cbf2f3 4496694 gringo_5.8.0.orig.tar.gz
 f9d64f793b7efb2fa2383608f181f50ed5684479 24284 gringo_5.8.0-1.debian.tar.xz
Checksums-Sha256:
 4ddd5975e79d7a0f8d126039f1b923a371b1a43e0e0687e1537a37d6d6d5cc7c 4496694 gringo_5.8.0.orig.tar.gz
 e74d3e73e20a8148e3367ebf13857eb75d6efc38433f9fb4f5ed3803d7c08b85 24284 gringo_5.8.0-1.debian.tar.xz
Files:
 4e477b392bab01cd1ffb3bd63aa9779d 4496694 gringo_5.8.0.orig.tar.gz
 d25aa7ad09fca5b3020a1000a26865ae 24284 gringo_5.8.0-1.debian.tar.xz

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

iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmjrdqUACgkQdFxHZtTK
zf9bxRAAjvk0HF0F1lm7oSDca52gbRTTUAcAM5OtngjwayJMsK/Kr6u5eganqs2q
6vVkylSsYKY1dwIh8U13DGIL+YQ57TnWPevCbTDR21ENrEUZ60WLkSd2Yr48GVAZ
fsoTEN52A+8T71xtReawgauB/Ik2XtIGrFD0SRdt5PfuttG1A9+XKNBt9JOPl6wy
hzkHis1gNB+/AH7wT4us2/hl++z597W4DkBvfDgQTl+UkRtISKkxz5J9GAwIeXEH
HO+HiFe7SnA49wl1L51AjmFfWM60pC0ga6V/cxrxQep39A/uNDwA9TX9LlraLz+z
65EptU46nsfh3mjoY01FMqMugpF5rEZc5LnS0qRcy9wW4s8BV03C2m8jEyVzLzIr
5NZxrntarFDQKJTY8zl/v1kbK10hDL3xx+aXiByozl4LuB7PvE164nmd29x5Zkob
BWFne84YA0nNNvvJLGecrDqmuqrjJEZGvOBd4QD0xsw9jTZYICm9fVUgpnWKHKLC
AsNJHK7WRVlRsZkZ4WGNylJrkzsjhDUCgKohNV7cNYhq3/pjQVljWozRMHOGlL2j
KFk4IZNTPKAl2xPLPeodzVNZdyomvWm6hMNSrkFdRT2rx36Z8grdnxvZCVC3f20c
GrweIEQnMDqlf35n57gWAs298VMMtDbngsBl7yjhRYjVfxpcYh8=
=jAgw
-----END PGP SIGNATURE-----