gringo_5.2.2-3_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Sun, 04 Feb 2018 09:22:41 +0100
Source: gringo
Binary: gringo
Architecture: source
Version: 5.2.2-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Description:
 gringo     - grounding tools for (disjunctive) logic programs
Changes:
 gringo (5.2.2-3) unstable; urgency=medium
 .
   * add dep8 testsuite
     + debian/rules: build, run, and output upstream tests
     + debian/tests: add dep8 tests
   * debian/symbols: add ia64, update templinst archs
Checksums-Sha1:
 cc45832d1b834e83ee10eb823ea1e44d02c23496 2061 gringo_5.2.2-3.dsc
 02c2308ef55e3bac72f435b6155c7edfc8ba418d 13300 gringo_5.2.2-3.debian.tar.xz
 31ac3d070ba1dd65121973fbe9da479743395e5e 7898 gringo_5.2.2-3_amd64.buildinfo
Checksums-Sha256:
 9311ef0851b342bb5344bb54ad353dd594ec3b26c4cb61d3a471d3cac7144417 2061 gringo_5.2.2-3.dsc
 e87e135e0fd2a737f36733c079f8e2fe6ade5c1f9cc16a8aada46ca231bd9139 13300 gringo_5.2.2-3.debian.tar.xz
 bb4efaa56317ed86b2f182d0de95032a89e6da9bb78fe1c5eaf3cf0bd78b685c 7898 gringo_5.2.2-3_amd64.buildinfo
Files:
 6c9be859ebdad857ca8793e7467d4c77 2061 interpreters optional gringo_5.2.2-3.dsc
 ce24f0cd613ca505f3a301834918a520 13300 interpreters optional gringo_5.2.2-3.debian.tar.xz
 c7378e7782d59e7b8b98f24fc18dc521 7898 interpreters optional gringo_5.2.2-3_amd64.buildinfo

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp3KSwACgkQJ5ffdKZm
mqmG3g/6AkUTncacO9yfT+DT9jYR41sWnI5eik6rVgMfHmvNWxAz1jLmMcOADVQv
PBM1rbiu6nkYv1Cx8wfVelnJTtD7d3ZsbFTKY2gzjI9+el4FoKTKx1oaxO1166jb
2Q8uCrk6jYjbvINBsv/0kNxu1OY0LtknzMJlbqxVTmC5z13JcCnUy3Y5xEQ3NO1+
40Es2tWYa0T/S9Qmrq9MzaKVakbC0Uaa0BNK43IK/dv0Fo4vrFSfL5TituM1fRuk
SQKHkGbrEEJXtQNDllsClYWaZkwCsuupVZ2heFhrMoBiIaJFaC9dY62wm/XmFknN
FGVAwkOs/UZ0QGOTRk+WsXJy8hoptOJLGB4YYldnj/YWuK/Jb8RNwpMyparFv3wD
F5F4mVcpDz822aMC8w7NaqHtH0PL19g+kFGObqv+XaAiF4RVzLoIU6J7KFzEk94K
x3eZWmEsiI5mZgNHhRj1ZV8nwYw4pCqWuzsxI4eElveVbG8nUZ+DKs8rxX1pysgp
9iB0KFwKMwp6nDOAqK4KTkW65qPnKRBveCkbpJtrIdItk/N1Zrnfu6z2ZIOQwlnq
qELrgxJ3muoyOHxQZPkD+0w3Kj5FCjHMdXAovvjWfa8ZBCk5GeB5OwedI4dfmVJs
U/RzEiiJ0thcVQzbu3iygLzqK0DYX394tWrNSCd3e6zQH6Tn2/8=
=tZfI
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.