gringo_5.2.2-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Fri, 10 Nov 2017 08:08:58 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 5.2.2-1
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-1) unstable; urgency=medium
 .
   * New upstream version 5.2.2
   * drop upstream applied gringo-remove-wrong-assertion.patch
   * debian/symbols: add arm64 kfreebsd-amd64 kfreebsd-i386 symbols
     pkgkde-symbolshelper batchpatch -v 1
Checksums-Sha1:
 96b51a3759805c7f8ee29ab5d1b6388854b72d64 2077 gringo_5.2.2-1.dsc
 0eafe7832211601f0ecb30b515fff9abfe09d38f 2642685 gringo_5.2.2.orig.tar.gz
 73c77ff74374cfd36b5d0a38583b6de2a554ae2b 12344 gringo_5.2.2-1.debian.tar.xz
 7f95bc2dd48d7ea40ff3603bdf8f7bcf8ea9e751 23203164 gringo-dbgsym_5.2.2-1_amd64.deb
 d7398c7a8f043f1135c7d5fbf92505b6c41d9d05 7858 gringo_5.2.2-1_amd64.buildinfo
 5a54a6e06254a4aa811f991ed11c74612242b582 2189184 gringo_5.2.2-1_amd64.deb
Checksums-Sha256:
 9b36b80f30d4958c06bd0c1cc7e631aeaff7dbb6f558237663e6df710184b592 2077 gringo_5.2.2-1.dsc
 da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf 2642685 gringo_5.2.2.orig.tar.gz
 3066a2d4612e86fed47d14be7c75e8134607de5f710e9ca39f569c332463e8cf 12344 gringo_5.2.2-1.debian.tar.xz
 04bea81f497a3dfc4a7b1851bba7606e15cffc4df24c3ff6eed260d12a988000 23203164 gringo-dbgsym_5.2.2-1_amd64.deb
 d649de38c129f06b80fbf89e6864236885fc4d72c15879a8e8d33e6097b761a1 7858 gringo_5.2.2-1_amd64.buildinfo
 9e322ffbd7fb5bc803516133d99fa4564aab5ea58a7ef6053b3eb4f93e87c611 2189184 gringo_5.2.2-1_amd64.deb
Files:
 2e3b74c9237eb87255254f99377232a0 2077 interpreters optional gringo_5.2.2-1.dsc
 d46a1567f772eebad85c6300d55d2cc3 2642685 interpreters optional gringo_5.2.2.orig.tar.gz
 8a04eb0687a18a59f910f1fd40faf2c6 12344 interpreters optional gringo_5.2.2-1.debian.tar.xz
 12805cc7e87473d90420b20d052c266f 23203164 debug optional gringo-dbgsym_5.2.2-1_amd64.deb
 d2e48dc4285a2dc1a32d05598931d0b6 7858 interpreters optional gringo_5.2.2-1_amd64.buildinfo
 6966f8b6a62a4d9bb9f47bf63097e07f 2189184 interpreters optional gringo_5.2.2-1_amd64.deb

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAloFUxQACgkQJ5ffdKZm
mqn7Ww//YIJKJtaKhH7jM/NduhSorChPzT1L0kKki8ujS5pgkj9iAisQDBDdQQth
+7P6b8jRvYns4cyKHByG8Jj7YF8B43CE4cbuzbe+k6lGp8HVc7nw6ZMOPvyUl8dr
vpMe3Z9R2weX1NOsO/lYDFNh1Gzk/m2tSlDqjPN/nqY1altjkTqZLl/521zLAy/o
GAA9Zwo2ZsAwE3C3kM65LOJ0uEL/uTsU8Ghw2vx1W79s2o9eNtkbCw4HUy6x6bT+
hDUGWYxcWVJXqbYF3HjR+BKqG4pAWVLasa6kI5Ess0dJa+W9+RwYEN9LEkpsR6pu
VAWNIgIpAOj7ulD5w/XlVsp5i0uEpI/y5HNXF6mj2gufu3mQLkkTcniEXnkFWlu/
soU5RYG9LZbOIvVBGBEG86WxPi+zRokeb9+UBwApGPSrnZrfH0ZQnK+PDOIbOD/U
yj9KbHzuVIIDBu0D8RAklsh+Died0CJVnYRAfBDh/O6YTJ+TkNSnJxeTyWPJEinI
a6e9eeKNym6J2P0/5ONWeOfALn55YvQQmds8jen4DBMINV9RfkhHZsV7nGKhlheH
7M/FI2v0rJR4I1phvw2Q6ajQjgB638IvmWrDL4yeDJcYRakc1YLMiNyO2sbOISi+
cDkIaAaiXMcPfEQbdNoGFjc85R5BIS5WRlemXtD5TrMLGOVYK5M=
=R+Yl
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.