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

Format: 3.0 (quilt)
Source: gringo
Binary: gringo
Architecture: any
Version: 5.8.0-2
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Thomas Krennwallner <tkren@kr.tuwien.ac.at>, Ralf Treinen <treinen@debian.org>
Homepage: https://www.potassco.org/clingo/
Standards-Version: 4.7.3
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
 0453e30138fc8e400f0204c7b3259c444a88187c 25400 gringo_5.8.0-2.debian.tar.xz
Checksums-Sha256:
 4ddd5975e79d7a0f8d126039f1b923a371b1a43e0e0687e1537a37d6d6d5cc7c 4496694 gringo_5.8.0.orig.tar.gz
 4315cadb6560a8db26d62c839d8d89b26714123f4b9bb8bcb6c0cc3c0e10fb98 25400 gringo_5.8.0-2.debian.tar.xz
Files:
 4e477b392bab01cd1ffb3bd63aa9779d 4496694 gringo_5.8.0.orig.tar.gz
 dc32941725cf7a97ca4358787840ce2c 25400 gringo_5.8.0-2.debian.tar.xz

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

iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmlPPr4ACgkQdFxHZtTK
zf84fRAAjvoWWL/Hq4U+iJDbviC8DKSs4Kt/+GifGn9euz84mEB9rrj2st06tlyq
ndJwjQz8fRr+SzfQlESpMaHWrfuolXO/d/TsWFytVyoeuvzZ2RgHB22PJtCpEoLa
VauFr1tuuE+NCuANTRe9VUSeiHkpiI+aHrXlZVrCFw/7iPflYk12SfXki137QKTz
GRx9YoEMBoRzkVqFl0IAxBGp3IXWIyl13p5aa0bVAD65dsA0hTqLqcKfZiGgwmB0
BOe6Dvq05C5DoflDzOymkPX7IZZjUALz6uv6oC52IXV0mCksUqUZflAOkvp36WoP
UJ9+q641mKOwtqHe812U5vlaWIDMLsSGAbDY5NNSbLnc1WUVAla2ycSPUD8/guK9
vT8LUH971ocYRiTl34L4FSH4Gxio2PSbhG6gnU66e6/BXwgzPzSF7OnVOFa52Mct
y4QkJcWAhVF1sjQYozy5lWjsF27ATmbF5iyPh3a08hyilP0nu5G6P8AL9JQkx18W
9/M3DRKNut9uH/QAm/zPaPmu928y+z5t82FFvw9vmwJ3gV1RjtFH4v4uJMH01Zre
yiFmiGr9fGMWsF02/WiLP/CjgH9IPi+2wm/F2ee3DASsRe5jQopMnnoXGY0okpJi
fpqqspIK6/+LbV8mu0sbolVsK8el+z2sttuVX+kybuhEnaIHeh8=
=cUrd
-----END PGP SIGNATURE-----