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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.6.2-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), dh-sequence-python3, pkg-kde-tools, cmake, catch, catch2, re2c, bison, liblua5.4-dev, python3, libpython3-dev, python3-cffi, python3-setuptools
Package-List:
 gringo deb interpreters optional arch=any
Checksums-Sha1:
 5314748bbfb56b312abb2b7c5859191f7525632a 5079018 gringo_5.6.2.orig.tar.gz
 05498e15f34459ffb52f0adccdad5dae3b1ae6a2 24572 gringo_5.6.2-1.debian.tar.xz
Checksums-Sha256:
 81eb7b14977ac57c97c905bd570f30be2859eabc7fe534da3cdc65eaca44f5be 5079018 gringo_5.6.2.orig.tar.gz
 d5b24852b2ddcfddca9a14e93c0fbc189c7c7f72233004a4f355a2071d6c05a1 24572 gringo_5.6.2-1.debian.tar.xz
Files:
 1f3a4e4ae814f62fffbccb57f715d426 5079018 gringo_5.6.2.orig.tar.gz
 130be345d852755bef6c5a7738fc3dd0 24572 gringo_5.6.2-1.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmXJ3aMRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtFEpQ//WoTsCnD/Hi03/U1AZe/FQ28VT5zuEtJB
fYBuNrI934jGd0rQj11BvckneUmWYaQuk+rV2QkN58ZI8LvX7CPxVxs6Zx74udjX
86lYJbWpAyObIwCZihUK+cihDb26Z68i5XoWttfwG6EBho3j5SFqSXzzGxarnyyP
1HEjBER/GBfTKTLYMWge/VLbpmZWILgBdL+kQv/cYXL/URfSZvfFlY6JKAIzoJHa
JetM+FGWPDFgZ3aU1eWjY9TgtqEHJaN9s+uvwfvWL1eRI/4ursxoU3t+QTc/ODcx
rIcBDYbERx+6vlbR/yJBvE373E60/M0s3OF0YcjIcXuyFSqshvspw5PVkLCtjlRe
oABZ415xP5rkKydfgLMPLuvzgRacflZ1wMg85MWBbTTQIBeDYOkRkBw3F+hsba9y
sPZhyuKi7RqFbGuMLmOEBrOmcYWDmbb9e3PBlO7So66wGcVJzSwUWky/dbeXeHTO
RCU+VB3YC1cz7+QyGO3CEiEY/99GFmd55awrFFUW683DBNY5JiBtyUtLYwiyAyVA
A/TKeT6b4qkvDFh0Bb4kb4BEEiQJ6a8YoSlnEHrqQLlSbdjo1P60P1YKAQaTjpTu
eCdNkGFyuqhT5Z6uamAPGfwmNdWu9hDuu2fAzcFgR9fFE8pRO/iTkMcp5paJ/7tU
IzEW3vXYWL8=
=3kgf
-----END PGP SIGNATURE-----